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.
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…
MDA - Canadian Space Arm
MacDonald Dettwiler (MDA) chose open-source GNAT Ada 95 from Ada Core Technologies to develop control software for the Mobile Servicing System (MSS),…