AdaCore: Build Software that Matters
AdaCore Hero Image

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

Paul Butcher on Fuzz Testing