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
Air Surveillance and Control System
Digicomp, a system engineering and software development company specializing in military and defense applications, has been an AdaCore customer for more than a decade, using GNAT Pro to successfully implement and deploy a variety of mission-critical systems on Sparc Solaris, x86 Solaris, and Linux platforms.
Railway Control System
The Mobility Division of Siemens Switzerland Ltd., has selected GNAT Pro, along with the CodePeer static analysis tool, to develop the next generation of its railway control and information system.
Scalable, Robust Call Management System
The GNAT Pro Development Environment has been selected by Singo Solution, Inc. to build Blaze – one of the largest, most innovative call management systems.
Advanced Avionics Display System
The GNAT Pro High Integrity Edition for DO-178B has been selected by Rockwell Collins to implement key components of an advanced avionics display system that is being deployed on major jet aircraft.
Argos Satellite Project
The GNAT Pro High Integrity Edition is being used by Thales to develop onboard instrument software for a unique, satellite-based worldwide location and data collection system dedicated to studying and protecting the environment.
nEUROn Unmanned Aircraft
EADS CASA is using the GNAT Pro High-Integrity Edition to implement the data exchange and air-to-ground data links systems for the nEUROn Unmanned Combat Air Vehicle (UCAV) demonstrator.
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)
Latest news:
Airbus Military has successfully certified the Aerial Refueling Boom System on the A330 Multi Role Tanker Transport (MRTT). The certification was simplified by the use of the qualified GNATcheck tool to verify conformance to the software coding standard required by the ARBS project. Verification of conformance was undertaken as part of the DO-178B level A Software Verification Process.
Multi-Level Security Workstation
To develop a robust multi-level security workstation, Secunet Security Networks chose the SPARK Pro development environment. The security station concurrently handles information of different security domains, maintains confidentiality and integrity of all processed data, and enforces Multiple Independent Levels of Security (MILS) on a single hardware platform.
787 Dreamliner (Air Conditioning Control Unit)
Hamilton Sundstrand selected GNAT Pro for the Boeing 787 air conditioning control unit. GNAT Pro serves as the Ada development environment for the software running in the Air Conditioning Pack airborne software configuration, which regulates cabin air temperature on the aircraft.
Advanced Jet Avionics Display
Barco has developed an advanced business jet avionics display system using the AdaCore GNAT Pro Ada development environment. Barco selected the GNAT Pro High Integrity Edition, along with the Traceability Kit, running on Wind River’s VxWorks 653 RTOS in order to meet the highest levels of safety standard DO-178B.
C130 J Flight Management System
GNAT Pro is being used for the Block 7.0 software upgrade of the C-130J – the second cooperative Block Upgrade initiative that is a true international partnership, with the development costs shared among the participating nations, including the US government. This upgrade includes a new Flight Management System developed cooperatively between GE Aviation, Grand Rapids, Michigan, and Lockheed Martin Aeronautics in Marietta, Georgia.
Airbus A350 XWB – Air Data Inertial Reference Unit (in-flight positioning)
Thales will use the GNAT Pro High-Integrity Edition for DO-178B and the Ada 2005 language to build the Air Data Inertial Reference Unit (ADIRU) for the A350 XWB (Xtra Wide-Body). The ADIRU provides precise in-flight positioning information, and the new system will therefore need to be certified to the highest safety levels. It will meet Level A of the DO-178B standard and use ARINC 653 multi-partition operating system MACS2.
Sentinel-1 – Environmental Satellite System
Sentinel-1 is the first of five families of satellites being developed for the Global Monitoring for Environment and Security (GMES) program. GMES, a joint initiative of the European Commission and the European Space Agency (ESA), is designed to support a sustainable European information network by monitoring, recording and analyzing environmental data and events around the globe. Astrium in the UK will use GNAT Pro to implement the Application Software for the SAR Electronics Sub-system which is used to control Sentinel-1’s C-band Synthetic Aperture Radar (SAR).
Ship Self-Defense System (SSDS)
Raytheon has delivered the Ship Self-Defense System (SSDS) Mk 2 using GNAT Pro for LynxOS within its multi-language software development environment. SSDS Mk 2 is a combat system that integrates and coordinates the sensors and weapons systems aboard a US Naval vessel to provide a coherent tactical picture for situational awareness, command and controls, and quick-reaction self-defense.
Astute-Class Submarine Periscope
This case study describes Thales UK’s state-of-the-art non-hull-penetrating optronic mast for the United Kingdom Royal Navy’s new Astute-class submarines, which provides greater flexibility in boat design and improved surface visibility while reducing the probability of detection. The optronic mast is powered by AdaCore partner, Wind River’s VxWorks mission-critical real-time operating system (RTOS) submarine.
Read the case study164 Kb (PDF)
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 (Common Core System)
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)
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)
