Blog
An Insight Into the AdaCore Ecosystem
Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy
Read More
Stephen Hedrick
Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover
This blog showcases how Rust was used to implement the D*-Lite pathfinding algorithm for an autonomous Mars rover simulation. It highlights Rust’s…
Charis Fisher, Cléa Mendelewski
Regulating Innovation: A Day in the Life of an In-House Lawyer in Tech
AdaCore Senior Corporate Counsel, Sarah Wallace, explains why partnership and collaboration are integral to her role practicing in-house law in a…
Tobias Reiher
Building a Virtual Mars Rover with SPARK and Rust
We have taken our Ada Mars Rover demo, featuring a physical robot driven by formally verified SPARK software, to the next level by introducing a…
Andrea Bristol
AdaCore and Lynx Software Technologies Reaffirm Longstanding Partnership
AdaCore and Lynx Software Technologies have reaffirmed their longstanding technology partnership to support avionics and defense customers developing…
Andrea Bristol
Formal Methods for an Insecure World
This article unpacks what it means to be Secure by Design, outlining practical measures for integrating security into the software lifecycle. It…
Andrea Bristol
Safer with Ada
What makes our software so vulnerable? The majority of today’s technical systems are largely composed of software. As such, the reliability and…
Quentin Ochem
Let's play '7 differences in Ada'
Over the past few years, we've been progressively developing new GNAT extensions for the Ada programming language, which you can follow and…
Johannes Kliemann
CheriBSD: A Showcase for Hardware-Supported Security
Over the course of the last few years and as part of the 'Edge Avionics' project, funded by the Rapid Capabilities Office (RCO) of the UK Royal Air…
Andrea Bristol
Ada is back in the TIOBE Index top 20
The March edition of the TIOBE Index shows Ada in the top 20, hitting position 18. This shows a renewed interest in Ada, perhaps due to the increased…
M. Anthony Aiello
Let’s Write a Safety Monitor for a Mars Rover!
The Ada Mars Rover shouldn’t crash into obstacles. See how we formalized this property, discovered an unstated assumption in our remote-control mode…
Pat Rogers
Ada in Practice, a New Learn Course
A new Learn course is now available, focusing on how to use the Ada language to express common idioms, both language-dependent and -independent.
Charis Fisher, Cléa Mendelewski
Building the Future: My Path from Software Research to Leadership
To celebrate Global Engineering Day, we’re looking at what it’s like to work as a truly global engineer, collaborating with international colleagues…