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.
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…
Boston Scientific Streamline Analysis of Medical Device Software
One of the world’s largest medical device companies, Boston Scientific was performing lengthy manual analyses because no automated tool provided the…
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…
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…
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…