Newsroom

AdaCore’s Ada Mars Rover Demo platform is a hands-on example of a cyber-physical system (CPS) in action. In this first part of a 4-part series in Electronic Design, discover a real-life example of CPS in action. Find out more about the Ada SPARK language and how it can be used to benefit CPS. Learn how to achieve higher assurance, clearer software architecture, and more maintainable code.

Explore the recent advances in fuzzing, including the challenges and opportunities it presents for high-integrity software development. The article explores: How modern fuzz testing has evolved into a core assurance technique for embedded, real-time, and safety-critical software. How fuzzing complements static analysis, runtime verification, and formal methods to form a layered, risk-driven assurance strategy for high-integrity systems. How recent innovations, such as grammar-based, hybrid, and AI-assisted fuzzing, are improving defect detection, robustness, and confidence in safety- and mission-critical software.

If you've spent time writing C or C++, you know how easy it is to reach for int or float when declaring a variable. They are the workhorses of numeric programming: versatile, familiar, and always there when you need them. But that versatility comes with a hidden cost: the compiler has absolutely no idea what your numbers mean, and that means it cannot help you when you make a mistake.Ada takes a different philosophy. Types carry meaning, and meaning prevents bugs. This post explores why you should almost never use Ada's built-in Float or Integer types directly and what to use instead.

As safety-critical industries move beyond experimentation and toward production-grade adoption of Rust, 2026 marks a pivotal transition from promise to practical assurance. In this article, Tony Aiello discusses Rust and its likely application in safety-critical systems in 2026.

In 2025, Ada made what could be described as a comeback.Last March, Ada broke into the TIOBE Index top 20 (reaching number 18), and by July, Ada broke the top 10 (reaching number 9 – its highest-ever position on TIOBE). It is now back to number 18. Moreover, this month Ada also broke into the top 10 in the PopularitY of Programming Language Index (PYPL), landing at number 9.While programming languages such as Python, C/C++, and Java continue to rank amongst the most popular languages, the resurgence of interest in Ada could partially be explained by the push to use more memory-safe languages.

Modern defense systems are built from complex, interdependent software components, including avionics and flight controls, mission computers, C4ISR platforms, autonomous and semi-autonomous systems, secure communications, and ground support tooling. These systems must operate correctly the first time and every time, often in degraded or contested environments, and they must resist sophisticated cyber threats throughout long service lives. We outline why static analysis is a strategic necessity for military applications and set the stage for how a tool like CodeSonar can operationalise these benefits at programme scale.