Indian government to build avionics flight control software with AdaCore solution
NEW YORK, 6 March 2008.AdaCore, provider of Ada tools and support services, announced that the Indian Aeronautical Development Establishment (ADE) has chosen AdaCore's GNAT Pro High-Integrity Edition for DO-178B Ada environment to be used by AdaCore's partner Mistral Solutions to create new safety-critical flight control systems that will underpin advanced Indian defense programs.
The partnership was chosen over the competition due to the combination of Mistral's development experience and strong customer support, the safety-critical aspects of the Ada language, and AdaCore's knowledge, superior development environment, and close integration with Wind River's operating software. This is the first ADE project to use the Ada language.
Mistral will use GNAT Pro High-Integrity Edition for DO-178B on the project, which aims to develop avionics flight control systems that will become the standard within multiple applications for the Indian Ministry of Defence. It began in April 2007 and is scheduled to last 14 months. The project will run on VME PPC-based single board computers using Wind River Systems' VxWorks 6.x operating system.
ADE is part of the Indian Defence Research and Development Organisation (DRDO), which undertakes design and development leading to the production of world-class flight control systems and equipment to meet the needs and requirements of the three Indian armed services. DRDO is working in various areas of military technology, which include aeronautics, armaments, combat vehicles, electronics, instrumentation engineering systems, missiles, materials, naval systems, advanced computing, simulation, and life sciences.
GNAT Pro High-Integrity Edition for DO-178B supports the development of safety-critical and security-critical applications for embedded systems, servers and workstations. The GNAT Pro development environment combines market-leading technology with an expert support system to provide a natural solution where efficient and reliable code is critical.
