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.
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…
BNP Paribas: The Critical Role of Pricer Software in Banking and Finance
BNP Paribas Global Markets’ main challenge in this instance was to develop a risk calculation engine capable of accurately processing millions of…
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…