Actualité aéronautique
Airbus Helicopters choisit le logicielle GNAT Pro Ada
Article publié le 17 septembre 2020 par David Dagouret
La suite logicielle GNAT Pro Ada d'AdaCore sélectionnée pour le développement d'un système aérien sans pilote.
AdaCore, fournisseur d'outils de développement et de vérification de logiciels, a annoncé qu'Airbus Helicopters (France) a choisi la suite d'outils GNAT Pro et le langage de programmation Ada pour le développement de nouveaux composants logiciels dans le cadre du 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.
Airbus Helicopters a sélectionné GNAT Pro Ada d'AdaCore pour PowerPC VxWorks 6.x/Cert sur la base de plusieurs critères, notamment sa facilité d'intégration dans l'infrastructure de développement existante, sa capacité à développer des algorithmes de surveillance et sa capacité à aider à certifier le logiciel jusqu'au niveau B de l'assurance conception DO-178C.
Matthieu Vatinet, responsable des produits logiciels embarqués chez Airbus Helicopters a déclaré : "nous avons choisi AdaCore et le langage Ada parce que nous pensons que cette technologie et les outils associés seront à même d’accroître la maintenabilité et la qualité de nos logiciels et faciliteront l'apport de preuves pour certains objectifs de certification des logiciels. La qualité du support d'AdaCore a constitué un réel avantage, tout comme la facilité de développer un code mature."
Jamie Ayre, Directeur Commercial chez AdaCore a déclaré : "sachant que l'équipe d'Airbus Helicopters avait besoin de développer un code hautement fiable et sûr pour leur projet de prototype VSR700, nous avons été extrêmement heureux qu'ils choisissent Ada et 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. De plus, nos services de support seront à même de répondre à toutes les questions ou problèmes susceptibles de survenir."
Sur le même sujet
- 22/04 Finnair a dévoilé son programme de vol pour les saisons hiver 2024 et été 2025
- 22/04 Qatar Airways annonce le lancement de vols à destination de Kinshasa
- 22/04 Vietnam Airlines et CAE prolongent leur accord
- 22/04 Mermoz Academy de Tours commande des Tecnam P-Mentor
- 22/04 Transavia France reçoit son 2e Airbus A320neo
- 20/04 Friedrichshafen 2024 : Blackwing présente un nouveau modèle de son BW650RG
- 20/04 Friedrichshafen 2024 : JMB Aircraft présente son Phoenix
- 19/04 Friedrichshafen 2024 : le projet "Fly To The North"
- 19/04 Friedrichshafen 2024 : Aura Aero présente pour la première fois ses trois appareils
- 19/04 Friedrichshafen 2024 : Duc Hélices présente son hélice Tiger-3
- 19/04 Friedrichshafen 2024 : Splash-in Aviation expose son Pétrel X
- 19/04 Friedrichshafen 2024 : Robin "toujours présent et pour longtemps"
- 19/04 Friedrichshafen 2024 : Beringer présente au salon
- 19/04Friedrichshafen 2024 : la FFPLUM dément le passage de tous les ULM 3 axes à 600kg
- 19/04 Friedrichshafen 2024 : visite d'un Pilatus PC-12 (photos)
- 17/04 Friedrichshafen 2024 : Cirrus Aircraft présente son SR G7
- 17/04 Friedrichshafen 2024 : Piper présente son M700 Fury
- 17/04 Friedrichshafen 2024 : Junkers dévoile son A50 Heritage
- 17/04 Friedrichshafen 2024 : la société E-Props présente au salon
- 17/04 Le 30e salon de Friedrichshafen a ouvert ses portes