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.

Read the press release »

Read Raytheon’s SDSS story »

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.

Read the press release »

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 article »
788 Kb

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.

Read the press release »

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.

Read the press release »

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 study »
312 Kb

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 study »
332 Kb

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 study »
440 Kb

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 study »
288 Kb