Case Studies
AdaCore has decades of experience providing tools and services to customers for applications with the most demanding software safety, security, and reliability requirements. Our collection of case studies demonstrates the effectiveness and real-world application of AdaCore technologies.
deepsense.ai: Copilot for Ada programming language to boost developer productivity
The Copilot for Ada programming language project aimed to research and develop a proof-of-concept code completion tool and evaluate its performance…
LatenceTech: Innovating Network Tools
In the context of the evolving telecommunications industry, characterized by the emergence of 5G and a surge of connected devices in IoT,…
Latitude Adopts Ada and SPARK for Light Launcher Software in New Space Industry
In the competitive New Space industry, ingenuity, reliability, and cost-effectiveness are paramount factors. When Latitude embarked on creating their…
Software Improvements: Using Ada to Implement a Secure Electronic Voting System
Electronic election systems need to be demonstrably secure in order to ensure the protection of votes, the privacy of voters, and the prevention of…
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development
This case study examines the challenges faced by companies in confronting increasingly hostile cybersecurity environments and how NVIDIA is tackling…
Ada at ITEC: Real-Time Control over Complex Semiconductor Manufacturing Processes
Semiconductor manufacturing has some of the most exacting needs when it comes to performance and reliability, requiring millisecond-level precision…
IPESOFT: Delivering reliable, long-lived energy and industrial systems with Ada and AdaCore
When IPESOFT was looking to develop its core real-time D2000 industrial automation platform, it knew that choosing the right development language and…
Raising the Reliability of Scientific Space Exploration
How Ada is helping the Laboratory for Atmospheric and Space Physics minimize risk, reduce cost, and assure reliable control of software used for…
How Masten Space Systems is Using Ada and SPARK to Land on the Moon’s South Pole
When Masten Space Systems was awarded a NASA contract to land scientific payloads on the Moon, the company chose to work with AdaCore’s…
How to Develop Reliable Spacecraft Systems at Lower Cost with the Ada Programming Language
When SEAKR Engineering decided to upgrade its mission-critical data recorder applications to a new hardware platform, they kept their software in…
Ada and SPARK: Beyond Static Analysis for Medical Devices
The need for safe and secure software — including Medical Device software — is becoming more important as cybersecurity threats in the healthcare…
BAE Systems Eurofighter Typhoon
BAE Systems are using the GNAT Pro development environment for host Ada compilation in the development of software for the Eurofighter’s mission…