
La suite d’outils GNAT Pro High-Integrity Edition, taillée pour les exigences de cette norme, simplifie la conformité avec les différents niveaux de certification par rapport au standard. Cette suite comprend la partie vérification du code avec GNATcheck, l’analyse des tailles de piles statiques avec GNATstack, et propose un choix de bibliothèques d’exécution en langage Ada certifiables. L’intégration avec la plate-forme de développement Workbench de Wind River constitue un environnement dédié pour les besoins du marché de la sécurité critique, avec des applications développées en Ada 83, Ada 95, Ada 2005 ou un mélange d’Ada, de C et/ou de C++.
Rappelons que le projet d’aile Delta UCAV (Unmanned Combat Aerial Vehicle), démarré en 2006, est un démonstrateur technologique pour les futurs avions de combat sans pilote. C’est l’un des plus grands démonstrateurs de drones au monde, d’une taille similaire à celle de certains avions de combat existants. Dassault Aviation est le maître d’œuvre du projet avec une coopération avec les sociétés EADS CASA (Espagne), HAI (Grèce), Saab (Suède), RUAG (Suisse), Alenia Aeronautica (Italie) et Thales (France). Les vols tests se dérouleront en France, en Suède et en Italie à partir de la mi-2012.
EADS CASA, qui est en charge du développement logiciel de ce démonstrateur depuis la fin 2007, utilisera GNAT Pro High Integrity Edition notamment pour développer le logiciel des stations au sol critiques et le logiciel de gestion de la liaison de données qui tournera sur la plate-forme Wind River VxWorks 653.