Cyber security for airworthiness: new MAA regulations
To counter threats of cyber-attack on military air systems, new regulation has been introduced to assess and mitigate potential impacts
Read more
Features
Memory Safety in Rust
Ben Brosgol at AdaCore Informally, memory safety in a program means that each data access is well behaved, i.e., is
Read more
AdaCore supports the Safety-Critical Rust Consortium
AdaCore https://www.adacore.com/ is thrilled to be part of the Safety-Critical Rust Consortium alongside The Rust Foundation, Arm, Ferrous Systems, OxidOS,
Read more
Nexus Lab’s Advanced Approach to Contrail Mitigation
In an era where climate change poses one of the most pressing challenges, industries across the globe are innovating to
Read more
AdaCore Research Proves Novel Solution for “Security by Default.”
In an age of increasing security breaches and cyberattacks, the need for robust and comprehensive security mechanisms within embedded real-time
Read more
Preparing the Airbus A321XLR for EIS
The A321XLR’s ongoing certification and flight-test campaign is now in its final stages. As well as debriefing after the airlines’
Read more
Flying Calmly and Safely Like Never Before
The Air Force Research Lab (AFRL) and the University of Dayton (UD) are using the MicroLabBox to develop and validate
Read more
How the Digital Twin is Changing Design at Leonardo
Reproducing a physical object, an entire system or a “system of systems” in an entirely virtual environment, with a high
Read more
RACER, Airbus Helicopters’ New Demonstrator, Takes First Flight with Avio Aero’s Innovative Technologies
The dream of producing a revolutionary new rotorcraft that can achieve maximum velocity with increased maneuverability, lower acoustics, and reduced
Read more
AdaCore Showcase Secure Avionics by Design at CYBERUK
AdaCore, a leader in high-assurance, safe, and secure software toolchains, is set to stand out at CYBERUK by showcasing its
Read more