Dépêches

Embraer Selects the Ada Language and AdaCore’s GNAT Pro for AMX Upgrade

Dépèche transmise le 26 mars 2012 par Business Wire

Embraer Selects the Ada Language and AdaCore’s GNAT Pro for AMX Upgrade

SAN JOSE, Calif. & NEW YORK & PARIS--(BUSINESS WIRE)--AdaCore, provider of tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Embraer Defense and Security has selected the GNAT Pro Ada development environment from AdaCore as a primary tool set to develop the Operation Flight Program for the AMX Modernization program. GNAT Pro will be used along with Wind River’s VxWorks real-time operating system (RTOS) as the foundation to develop this critical software system on the AMX Modernization effort.

“AdaCore has a proven track record in supporting both general Ada software development as well as a multitude of projects needing to meet the top levels of safety for the DO-178B commercial avionics standard. We are very pleased to have been selected by Embraer, the leading avionics manufacturer in Brazil.”

The goal of the modernization project for the AMX jets, called A-1 by the Brazilian Air Force (Força Aérea Brasileira – FAB), is to keep the fleet of 53 on active duty for another 20 years. The AMX is one of the most efficient combat planes in activity in the country and was manufactured by Embraer from 1989 to 2000. The upgrade of the AMX will incorporate the most advanced avionics systems, weaponry and sensors. The modernization of the aircraft will achieve the same operational level as the most advanced combat planes available on the market.

The Ada language was selected for the AMX Operational Flight Program based on its proven success record in developing mission-critical avionics systems. It is used on flight-critical systems for many commercial and military fly-by-wire aircraft across the world. Ada is used when safety, security and high reliability are needed.

Used for developing embedded and real-time system software, Ada’s main features applied by Embraer are strong typing, modularity mechanisms (packages), run-time checking, parallel processing (tasks, synchronous message passing, protected objects and select statements), exception handling, and generics.

”We pride ourselves on the quality of our development tools and high level of expertise in supporting our customers,” said Robert Dewar, AdaCore President and CEO. “AdaCore has a proven track record in supporting both general Ada software development as well as a multitude of projects needing to meet the top levels of safety for the DO-178B commercial avionics standard. We are very pleased to have been selected by Embraer, the leading avionics manufacturer in Brazil.”

About Embraer

Embraer Defense and Security is a global provider of integrated defense systems and solutions for military and civilian security needs. Headquartered in Brazil, Embraer Defense and Security has a strong presence in the defense and security markets. It plays a strategic role in Brazil’s defense systems and has supplied over 70% of the Brazilian Air Force (FAB) fleet. With more than 40 years of experience, Embraer Defense and Security is present in 48 countries with its aircraft and solutions being operated by more than 50 Armed Forces worldwide.

The Company´s portfolio provides a wide range of integrated solutions and services for defense systems that include military aircraft, state-of-the-art radar technologies, unmanned aerial vehicles as well as advanced information and communication systems, such as C4ISR applications (Command, Control, Communications, Computers, Intelligence, Surveillance and Reconnaissance).

The Embraer Defense and Security product line includes the Super Tucano – an advanced military trainer and light attack turboprop; a family of ISR (Intelligence, Surveillance and Reconnaissance) jets based on the successful and proven ERJ-145 platform; tailored solutions for commercial and executive jets for government officials transportation; the KC-390 military airlifter and tanker jet, under development; modernization of Brazilian Armed Forces aircraft; integrated logistic solutions for its customers; and training and operations support systems (TOSS).

About AdaCore

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com