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
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 boot a NEORV32 RISC-V core on Tang Nano 9K.
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…
M. Anthony Aiello
GNAT Foundry Intersection: Demonstrating Trustworthy AI Development
GNAT Foundry demos AdaCore's tools providing deterministic trust in artifacts produced by AI,…
Olivier Henley
Wishbone-NPU: A Neural Processing Unit for RISC-V Soft-Cores, Built by Students
See how AdaCore-sponsored students built an open-source NPU, then used it to run a 14-stage CNN on…
Case Studies
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…
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…
How Autoliv Transformed Its Embedded Code Quality with CodeSonar®
CodeSonar allowed Autoliv, a leader in automotive safety systems, to centralize analysis results, manage priorities and justifications directly…
