
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.
Just Auto
• May 27, 2025
Software at the Wheel
Military Embedded Systems
• May 20, 2025
Ada and the FACE approach: Enabling high-assurance, portable software for defense systems
The New Stack
• May 20, 2025
CHERI on Top: AdaCore’s Hardware ‘Fix’ for Legacy C/C++ Code
Wevolver
• May 20, 2025
Should I choose Ada, SPARK or Rust over C/C++?
Wevolver
• May 20, 2025
Let's write a safety monitor for a Mars Rover!
eeNews Europe
• May 20, 2025
Rust celebrates 10th anniversary
Automotive News
• Apr 01, 2025
Cybersecurity in connected vehicles: Learn supply chain best practices
Automotive News
• Mar 25, 2025
Ensuring automotive software safety: How formal verification and ISO 26262 reduce risk and recalls
Automotive News
• Mar 25, 2025
Securing the future: How SPARK and ISO 26262 ensure safe autonomous vehicles
Just Auto
• Feb 04, 2025
Ensuring software safety in the automotive industry
Embedded Computing Design
• Dec 10, 2024
Hacking the Linux Kernel in Ada - Part 3
Aerospace Innovations
• Nov 26, 2024
Making DO with Safety Standards
Embedded Computing Design
• Nov 26, 2024
Hacking the Linux Kernel in Ada - Part 2
Embedded Computing Design
• Nov 12, 2024
Hacking the Linux Kernel in Ada - Part 1
Electronic Design
• Nov 12, 2024
Why Commercial Rust Software is Critical for Critical Solutions
Electronic Design
• Nov 12, 2024
Comparing Rust, C, C++, Ada and SPARK.
Aerospace Innovations
• Nov 12, 2024
Ensuring Robust, Resilience Cyber Security for Civil Aircraft
Tech Briefs
• Jul 31, 2023
Adamant: A Soon-to-be Open Source, Mission Critical Flight Software Framework Written in Ada
Electronic Design
• Apr 25, 2022
Podcast on Fuzz Testing for Safe and Secure Software w/ Paul Butcher
Aerospace Tech Review
• Apr 22, 2022
Avionics Software Testing w/Ben Brosgol and Paul Butcher
Unmanned Systems Technology
• Apr 20, 2022
Making software FACE-conformant and fully portable: Coding guidance for Ada (page 20)
Military Technology
• Apr 10, 2022
Software Reuse/FACE, guest editorial by Ben Brosgol
Le Journal de l'Aviation
• Sep 15, 2021
Comment AdaCore s'impose toujours plus dans l'avionique et les systèmes embarqués
IEEE Software Engineering Radio
• Aug 26, 2021


