
Newsroom
Latest Press Releases

Jun 18, 2025
AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions

Jun 02, 2025
Ada and SPARK enter the automotive ISO-26262 market with NVIDIA.

May 19, 2025
Rapita embraces Rust via AdaCore partnership

Feb 07, 2025
SPARK and Rust Take Center Stage for AdaCore at Embedded World 2025
Latest Articles
Just Auto
• Oct 15, 2025
Driving safety and trust: Why formal methods are the next step for automotive software
The ISO 26262 standard, which governs functional safety for electrical and electronic systems in vehicles, has become the reference point for managing this challenge. Compliance is not simply a technical checkbox; it is a strategic necessity.
Automobilwoche
• Oct 15, 2025
Best practices for securing the automotive software supply chain
Software drives innovation in cars – and increases risks. Only through secure development, vetted partners, and cyber resilience can mobility remain protected and future-proof.
Military Systems and Technology
• Jul 01, 2025
Assuring Trust in Autonomy
This article explores the pivotal role of high-integrity software in enabling resilient, certifiable, and mission-assured unmanned systems. It outlines the principles and practices required to meet the demanding requirements of military and defence applications.
Wevolver
• Jul 01, 2025
An Introduction to Memory Safe Concepts and Challenges
This blog starts by describing the most common bugs threatening memory safety and explaining their consequences. Then, it introduces three memory-safe languages and briefly explains their mechanisms against memory bugs.
Army Technology
• Jul 01, 2025
Formal Methods for and Insecure World
This article unpacks what it means to be Secure by Design, outlining practical measures for integrating security into the software lifecycle.
Future Rail
• May 27, 2025
Building Trust on the Tracks
Railway systems demand the highest levels of safety and reliability. As software takes on an increasingly central role in infrastructure and onboard equipment, ensuring compliance with certification standards while maintaining long-term software stability has become more complex and costly.


