Resources
Browse a collection of resources designed to help you build safer, more secure software. Explore real-world case studies, technical guides, books, and the latest updates from the AdaCore blog.
Latest Blog Posts
Mark Hermeling
Rust for DO-178C and ISO 26262
MC/DC for Rust: See how AdaCore and the Rust Foundation are unlocking DO-178C DAL A and ISO 26262 for safety-critical Rust.
Claire Dross
From Raw Arrays to Typed Ownership: A Layered Allocator in SPARK
Formal proof isn't all-or-nothing. See how a layered SPARK allocator pairs proven code with a thin,…
Olivier Henley
Ada-FPGA-Programmer: Configuring a Tang Nano 9K from Bare-Metal Ada, Built by Students
See how Rose-Hulman students built an open-source Ada FPGA programmer using STM32, JTAG, and SPI to…
Kyriakos Georgiou, Paul Butcher
Breaking the Triage Bottleneck: When GNAT SAS meets GNAT DAS
Stop debating false positives. GNATfuzz hot-spot fuzzes exactly what GNAT SAS flags, delivering…
Case Studies
How Stoneridge, Inc. Enhances Vehicle Safety with CodeSonar®
CodeSonar helps Stoneridge to achieve the safety and security that they need, efficiently allowing engineers to spend more time developing new and…
NASA Study Explores the Benefits of Static Analysis
NASA operates the Space Network, a mission-critical satellite telecommunications system that requires continuous, uninterrupted service. To improve…
Starting Left: How eLeapPower Supports Continuous Innovation with Static Analysis
eLeapPower is an automotive technology company that develops advanced electric powertrain and charging systems for electric vehicles. To help meet…
