AdaCore, fournisseur d’outils et d’expertise pour le développement de logiciels critiques, annonce qu'Airbus Military vient d'obtenir avec succès la certification du système ARBS (Aerial Refueling Boom System) de l'avion ravitailleur A330 MRTT. La certification a été simplifiée grâce à l'utilisation de l'outil qualifié GNATcheck qui a vérifié la conformité du logiciel avec le standard de codage établi pour le projet ARBS. Cette vérification a été entreprise dans le cadre du processus de vérification logicielle du standard DO-178B, niveau A.

> lire la suite

Adacore www.adacore.com/