Vous êtes nouveau sur Developpez.com ? Créez votre compte ou connectez-vous afin de pouvoir participer !

Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Vous n'avez pas encore de compte Developpez.com ? Créez-en un en quelques instants, c'est entièrement gratuit !

Si vous disposez déjà d'un compte et qu'il est bien activé, connectez-vous à l'aide du formulaire ci-dessous.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

Airbus choisit GNAT Pro Ada d'AdaCore pour le développement du projet de prototype VSR700
Un système aérien tactique sans pilote

Le , par Sandra Coret

99PARTAGES

12  0 
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

Une erreur dans cette actualité ? Signalez-le nous !

Avatar de esperanto
Membre expérimenté https://www.developpez.com
Le 16/09/2020 à 16:27
A l'heure où les articles se multiplient, même ici, sur "le langage X va écraser tous les autres dans les 5 ans à venir", voila une nouvelle plutôt réjouissante, certains n'oublient pas les fondamentaux.

Airbus Helicopters a sélectionné le GNAT Pro Ada d'AdaCore
Rappelons quand même que GNAT, à la base, c'est le module Ada pour le compilateur GCC (non, GCC n'est pas un compilateur C mais un compilateur générique avec des modules pour C, C++, Ada, ... et même Java avec CGJ) du projet Gnu. AdaCore ne fait que le commercialiser avec des services d'entreprise mais tout ce que vous écrirez avec GNAT pro devrait tourner avec le compilateur GNU.

  • Typage statique ;
Moi j'aurais dit typage fort, dans la mesure où Ada fait des contrôles bien plus stricts que la majorité des autres langages. Pas question d'écrite b := a; si b est de type float et a de type integer sans une conversion explicite par exemple. On peut même créer un type descendant de integer ou de float sans être implicitement compatible avec lui, histoire de ne pas additionner les pommes et les poires. Dans un programme de dessins de plans que j’avais écrit, ce contrôle m'a évité plein d'oublis de conversion entre les mètres réels et les centimètres sur le dessin.
Ada, c'est le langage avec lequel pendant le développement tu pleures en voyant s'accumuler les messages d'erreur du compilateur. Mais à la fin quand il n'en reste plus tu peux être certain que ton programme n'a plus de bugs!

Ada a eu notamment une gestion d'exceptions bien avant C++. Le seul inconvénient c'est que du coup les exceptions ne sont pas forcément des objets et n'ont pas de lien hiérarchique (mais ça a probablement évolué depuis les anciennes versions!). Encore faut-il s'en servir... pas comme dans le cas d'Ariane 5 qui a explosé suite à un cas qui aurait dû déclencher une exception (provoquant la coupure du circuit en erreur donc impossibilité de lire la valeur) au lieu de quoi faute de contrôle le système a lu une valeur qui lui semblait correcte mais trop élevée, et boum...

  • Syntaxe claire et non ambiguë (inspirée de celle du langage Pascal) ;;
D'accord également, je dirais même qu'elle est sensiblement meilleure que celle de Pascal. À force, ras le bol de lire du code en C ou en Java avec 15 lignes qui se suivent contenant juste une accolade fermante... En Ada, c'est "end if", "end loop" et pour clôturer une fonction, on rappelle son nom. Du coup quand tu oublies de fermer un des blocs, Ada peut te dire lequel, pas comme en C où l'erreur est souvent signalée à la fin du fichier... Au fond c'est un peu comme XML, correctement structuré donc on sait ce qu'on ouvre et on ferme.
Le seul point où j'aurais aimé qu'Ada s'inspire un peu du C, c'est la possibilité d'avoir des variables dont la portée se limite à un bloc. Là ada permet de le faire avec un bloc declare ... begin ... end mais ça reste bien plus lourd que la structure implicite induite par les blocs. Dommage mais on peut vivre avec.
6  0 
Avatar de Pierre Louis Chevalier
Expert éminent sénior https://www.developpez.com
Le 16/09/2020 à 16:57
J'avais fait du ADA pendant mes études et j'avais trouvé le concept assez génial, entre autres sur la modularité, la lisibilité, la fiabilité du code, et aussi très bien adapté pour les gros projets et le travail en équipe.

Ce langage n'est pas mort, mais c'est clairement un marché de niche : aérospatiale, quelques applications médicales, un peu dans l’industrie, les transports ferroviaires, et surtout les applications militaires.
1  0 
Avatar de VLDG
Membre éclairé https://www.developpez.com
Le 19/09/2020 à 13:50
Beaucoup de choix en informatique sont liés au marketing très important de multinationale très puissante.

Je trouve ce choix plutôt intéressant car ADA n'est pas populaire. C'est un langage plutôt verbeux (on écrit beaucoup) mais quand la compilation réussit : on est déjà bien parti.
1  0 
Avatar de el_slapper
Expert éminent sénior https://www.developpez.com
Le 16/09/2020 à 17:20
En dehors du choix de langage, j'espère qu'ils ont tiré les leçons du fiasco du Boeing MAX...dont l'ambition était bien moindre.
1  1 
Avatar de Pierre Louis Chevalier
Expert éminent sénior https://www.developpez.com
Le 16/09/2020 à 19:11
Le Boeing 777 est programmé en ADA, pour le Boeing 737 max je ne suis pas sur mais il semblerais que c'est du code C (illisible) ce qui serait un choix hérité du vieux 737 du coup.
1  1