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.
[BAE Systems Eurofighter Typhoon]
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]
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),…