Learn more about the technical and business benefits of Ada through the stories of some of our customers in this series of Ada Answers videos.
Gnat Pro - Designed for the Ada Professional
Customers and Projects
The use of Ada and GNAT Pro continues to grow in high-integrity and safety-critical applications, including commercial and defense avionics, air traffic control, railroad systems, financial services and medical devices. AdaCore provides software development solutions that help assure quality and reduce costs to a prestigious list of market leaders in these domains.
Featured Projects
Conflict-detection Technology
The User Request Evaluation Tool developed by a team that included Lockheed Martin and AdaCore is conflict-detection technology that is said to save time, fuel, and money while also helping to ensure safe aircraft separation.
UK’s Next Generation ATC System
Because of AdaCore’s strong focus on support, and capability in critical software, Gnat Pro has been selected for the implementation of the UK’s new air traffic control system.
C-130 Avionics Modernization Program
The U.S. Air Force initiated the C-130 Avionics Modernization Program (AMP) to standardize configurations, lower the cost of ownership, and increase survivability of its aging C-130 aircraft.
Read the article788 Kb (PDF)
T25 SECT Electronic Combat Trainer
AAI Services Corporation utilized GNAT Pro as part of an overall upgrade to the U.S. Air Force T25 Simulator for Electronic Combat Training (SECT) system. The T25 SECT system is a software-based training aid that uses interactive combat laboratory exercises and simulated training missions to teach the principles of electronic countermeasures.
787 Dreamliner
In partnership with Wind River, AdaCore’s technology will be used on the 7E7’s Common Core System, provided by Smiths Aerospace, which is the backbone of the airplane’s computers, networks and interfacing electronics. The 787 Common Core System comprises approximately 80 to 100 applications running simultaneously which will control many of the airplane’s avionics and utilities functions.
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 computers.
Read the case study312 Kb (PDF)
Refueling Boom System
EADS CASA has chosen AdaCore GNAT Pro High-Integrity Edition for VxWorks653 to develop the device software for its advanced Air Refueling Boom System (ARBS). This software will be certified up to level A of RTCA DO-178B.
Read the case study332 Kb (PDF)
Pilot Ejection Seat
The U.S. Navy is using a new ejection seat sequencer that will catapult a pilot and co- pilot (and the seats) out of a damaged F-18, F-14, or T-45 aircraft within 0.2 seconds from the time the ejection handle is pulled.
Read the case study440 Kb (PDF)
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), an essential com- ponent of the International Space Station (ISS).
Read the case study288 Kb (PDF)
