The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Unit Testing with Google Test and GNATcoverage
Mark Hermeling, Sean Evoy
From CodeSecure to AdaCore: Our Journeys in Product and Technical Marketing
Hear from Mark Hermeling and Sean Evoy about how they’ve found their transition from CodeSecure to joining AdaCore as part of last year’s merger.
Mark Hermeling
Ada on Zephyr: How the Alire Skill Wires It Together
Integrating Ada code into Zephyr can be simple as a single LLM prompt and a single make command. This post is about what happens between make and a…
Claire Dross
Reasoning about Linked Structures in an Array
Reasoning about linked data structures within an array is complicated, requiring high-level concepts such as reachability and inductive reasoning.…
Mark Hermeling
The Compliance Trap: Why More Code, More Connectivity, and More Regulation Are Colliding (and What to Do About It)
Software development teams in embedded systems must navigate between stricter regulations, rising customer demands, and unfulfilled AI promises to…
Mark Hermeling
Getting Started in Functional Safety with Rust
Expert-Led Rust Training for Safety-Critical Teams
Claire Dross
Formally Verified Hashed Sets in Ada SPARK
This blog explores the formal verification of an implementation of bounded hashed sets in Ada SPARK.
M. Anthony Aiello
Challenging Agentic AI with SPARK using OpenUxAS
“How well does generative AI do with writing Ada?” The simple answer is: “quite well!” But the details are also interesting, so I encourage you to…
Mark Hermeling
Escaping the Haystack: CI/CD for Embedded Systems
How fast feedback loops, smart abstraction, and disciplined pipelines change the way embedded software teams work and ship.
Kyriakos Georgiou
Fuzz Everything, Everywhere, All at Once: Scaling Security with GNATfuzz
If you are developing high-integrity systems, GNATfuzz can provide the extra layer of security analysis required by modern certification standards.
Mark Hermeling
Migrating C to Ada SPARK with Agentic AI: A Practical Playbook
Agentic AI can enable teams to re-use existing code bases and carefully decide which parts to translate into Ada SPARK, avoiding problems caused by…
Olivier Henley
How Evolutek Used Ada to Build Their CanSat
AdaCore supports practical engineering projects that help students apply technical concepts to real-world problems. As part of this effort, AdaCore…
Tobias Reiher
Enabling Rust on the AMD Zynq UltraScale+ MPSoC
In this post, we’re sharing our journey of building a dedicated crate that provides support for the AMD Zynq UltraScale+ MPSoC.