Embraer chooses AdaCore GNAT Pro Ada software tool for flight-critical avionics upgrades to AMX jet fighter-bomber
SÃO JOSÉ DOS CAMPOS, Brazil, 26 March 2012. Avionics experts at the Embraer S.A Defense and Security segment in São José dos Campos, Brazil, are choosing the GNAT Pro Ada software development environment from AdaCore in New York to develop real-time and embedded computing software in a major upgrade the Embraer AMX jet fighter-bomber.
SÃO JOSÉ DOS CAMPOS, Brazil, 26 March 2012.Avionics experts at the Embraer S.A Defense and Security segment in São José dos Campos, Brazil, are choosing the GNAT Pro Ada software development environment from AdaCore in New York to develop real-time and embedded computing software in a major upgrade the Embraer AMX jet fighter-bomber.
Embraer military avionics designers will use the AdaCore GNAT Pro tool together with the VxWorks real-time operating system (RTOS) from Wind River Systems in Alameda, Calif., to develop flight-critical software for the AMX upgrade. Ada is used in several military and commercial aircraft, as well as in other military embedded systems.
The AMX fighter-bomber is a ground-attack jet for close air support and reconnaissance. It was built until 1999 by AMX International, an Italian-Brazilian joint venture. The Brazilian and Italian air forces fly the AMX attack jet. The Brazilian air force designates the aircraft as the A-1.
-- AdaCore upgrades GNATbench for Wind River workbench
-- BAE Systems UK signs corporate-wide contract with AdaCore
-- AdaCore and Sysgo announce GNAT Pro for ELinOS.
Embraer is upgrading the aircraft to keep the 53 aircraft in the Brazilian air force in operation for another two decades, AdaCore officials say. The AMX upgrade will install state-of-the-art avionics, weapons, and sensors.
Embraer avionics designers chose the Ada high-order software programming language for the AMX upgrade because of Ada's use in developing mission-critical avionics systems. Ada is part of flight-critical systems for commercial and military fly-by-wire aircraft.
Embraer avionics designers are using Ada for the language's strong typing, modular packages, run-time checking, parallel processing tasks, synchronous message passing, protected objects, and select statements, AdaCore officials say.