Airbus Helicopters a sélectionné le GNAT Pro Ada d'AdaCore pour PowerPC VxWorks 6.x/Cert sur la base de plusieurs critères, dont la facilité d'intégration dans l'infrastructure de développement existante.AdaCore, un fournisseur de confiance d'outils de développement et de vérification de logiciels, a annoncé qu'Airbus Helicopters (France) a sélectionné la suite d'outils GNAT Pro et le langage de programmation Ada pour développer de nouveaux composants logiciels pour le projet de prototype VSR700. Le VSR700 est le système aérien tactique sans pilote (UAS) d'Airbus Helicopters, conçu pour répondre aux exigences des marines et des armées du monde entier au XXIe siècle.
Airbus Helicopters a sélectionné le GNAT Pro Ada d'AdaCore pour PowerPC VxWorks 6.x/Cert sur la base de plusieurs critères, notamment la facilité d'intégration dans l'infrastructure de développement existante, la capacité de développer des algorithmes de surveillance et la capacité d'aider à certifier le logiciel jusqu'au niveau B de l'assurance de conception DO-178C.
"Nous avons choisi AdaCore et le langage Ada parce que nous pensons que cette technologie et les outils associés augmenteront la maintenabilité et la qualité de nos logiciels et faciliteront l'apport de preuves pour certains objectifs de certification des logiciels", a déclaré Matthieu Vatinet, responsable des produits logiciels embarqués chez Airbus Helicopters. "La qualité du support d'AdaCore a été un avantage important, et un autre avantage attendu a été la facilité de développer un code mature".
"Sachant que l'équipe d'Airbus Helicopters devait développer un code hautement fiable et sûr pour leur projet de prototype VSR700, nous étions extrêmement heureux qu'ils aient choisi Ada et AdaCore", a déclaré Jamie Ayre, directeur commercial d'AdaCore. "La suite d'outils GNAT Pro Ada offre des capacités de vérification exceptionnelles qui aideront Airbus à détecter les problèmes au début de leur processus de développement, au moment où ils sont les plus faciles et les moins coûteux à corriger. Et nos services d'assistance répondront à toutes les questions ou problèmes qui pourraient se poser".
Le langage ADA
Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980. Le nom « Ada » a été choisi en l’honneur d’Ada Lovelace, sans doute la première informaticienne de l’histoire. Voici quelques particularités d’Ada :
- Typage statique ;
- Module par les paquetages et contrôle fin de la visibilité ;
- Syntaxe claire et non ambiguë (inspirée de celle du langage Pascal) ;
- Généricité ;
- Programmation par contrat ;
- Multi-tâche ;
- Traits temps réel intégrés au langage (tâches, objets protégés, interruptions) ;
- Bibliothèques normalisées ;
A propos d'Adacore
Fondée en 1994, AdaCore fournit des outils de développement et de vérification de logiciels pour les systèmes essentiels à la mission, à la sûreté et à la sécurité. Au fil des ans, les clients ont utilisé les produits AdaCore pour mettre en œuvre et maintenir une large gamme d'applications critiques dans des domaines tels que l'avionique commerciale et militaire, l'automobile, le ferroviaire, l'espace, les systèmes de défense, la gestion/contrôle du trafic aérien, les dispositifs médicaux et les services financiers.
Source : Adacore
Et vous ?
Que pensez-vous de cette collaboration d'Airbus avec Adacore ? Le langage ADA a-t-il encore un avenir ? Que pensez-vous des qualités intrinsèques du langage ADA ?Voir aussi
Cours et tutoriels ADA Le forum d'entraide sur le langage de programmation ADA 
