Un générateur de code qualifié implémenté en Ada
MERIGNAC, France & PARIS & NEW YORK–(BUSINESS WIRE)–AdaCore annonce aujourd’hui l’utilisation réussie par Thales de GNAT
Pro, son environnement de développement pour Ada, pour développer et
vérifier un générateur de code pour ses logiciels embarqués critiques.
Thales a développé le générateur de code en Ada; l’outil prend un
fichier XML en entrée et produit du code source pour un système
avionique embarqué qui sera évalué en fonction des objectifs de Niveau B
du DO-178C / ED-12C.
Le processus de développement pour le générateur de code a été mis en
place conformément à la norme de qualification des outils logiciels
DO-330 / ED-215 de l’Agence Européenne de la Sécurité Aérienne (EASA).
L’outil a également été qualifié pour le projet avionique au niveau de
qualification des outils TQL-2.
En plus de l’environnement de compilation utilisé pour le développement
et la vérification du générateur de code, plusieurs outils d’AdaCore ont
également été utilisés pour le développement du logiciel avionique
lui-même, notamment L’Environnement de Développement Intégré (IDE) GNAT
Programming Studio (GPS), le vérificateur de règles de codage GNATcheck
et l’analyseur de couverture structurelle GNATcoverage. D’après
l’ingénieur de Thales en charge du générateur de code, l’utilisation
d’un vérificateur de règles de codage automatique et d’un analyseur de
couverture structurelle de code qualifié a énormément contribué à la
finalisation du Processus de Vérification des Outils dans le cadre du
projet.
“Acteur de longue date de l’industrie de l’avionique, AdaCore possède
une gamme de produits en développement constant permettant à nos clients
de développer et de vérifier des logiciels critiques conformément au
niveau de certification DO-178B/C / ED-12B/C le plus élevé,” a commenté
Jamie Ayre, Directeur Commercial chez AdaCore. “Nous sommes ravis que
Thales utilise GNAT Pro Ada aussi bien pour leur application elle-même
que pour le générateur de code qualifié produisant le code.”
A propos d’Ada
Ada est un langage de programmation normalisé
sur le plan international (ISO) utilisé dans le développement de
systèmes embarqués en temps réels à longue durée de vie et de haute
fiabilité, englobant de robustes fonctionnalités de conception
logicielle destinées à des applications aussi bien séquentielles que
concurrentes, tout en fournissant des fonctionnalités permettant la
programmation de bas niveau. La dernière version du langage, Ada 2012,
inclut des fonctionnalités de programmation basée sur les contrats
(telles que des pré- et post-conditions pour les sous-programmes)
intégrant des exigences de bas niveau dans le code source, où elles
peuvent être vérifiées soit de façon dynamique par le biais de
vérifications à l’exécution, soit au moment de la compilation grâce au
support d’outils appropriés.
Á propos d’AdaCore
Fondée en 1994, AdaCore conçoit et
fournit des outils de développement et de vérification de logiciels
destinés à des applications pour lesquelles la sûreté, la sécurité et la
fiabilité sont des éléments critiques. Quatre produits phares composent
l’offre de la société :
-
GNAT
Pro, l’environnement de développement pour Ada, une
boîte à outils complète pour concevoir, mettre en œuvre et gérer des
applications requérant un niveau élevé de fiabilité et de
maintenabilité, -
L’outil d’analyse statistique avancé CodePeer,
un réviseur et validateur automatique de code Ada capable de détecter
et d’éliminer les erreurs aussi bien au cours du développement que
rétrospectivement sur des logiciels existants, -
L’environnement de développement SPARK
Pro, un ensemble d’outils basés sur des méthodes formelles et
orientés systèmes à niveau d’assurance élevé, et -
L’outil de développement basé sur les modèles QGen,
un générateur et vérificateur de code qualifiable et personnalisable
pour les modèles Simulink® and Stateflow®
destiné aux systèmes de contrôle critiques.
L’utilisation des produits AdaCore connaît une croissance continue dans
des applications critiques telles que les systèmes spatiaux, l’avionique
commerciale, les systèmes militaires, le contrôle aérien, les systèmes
ferroviaires, les appareils médicaux ou les services financiers. AdaCore
jouit d’une base fournie de clients internationaux en croissance
constante; visitez le site www.adacore.com/customers/
pour de plus amples informations.
Les produits AdaCore sont libres et accompagnés d’un support expert en
ligne fourni par les développeurs eux-mêmes. La société possède un siège
nord-américain basé à New York et un siège européen basé à Paris. www.adacore.com
Á propos de Thales
Thales est un leader mondial des hautes technologies pour les marchés de
l’Aérospatial, du Transport, de la Défense et de la Sécurité. Fort de 64
000 collaborateurs dans 56 pays, Thales a réalisé en 2016 un chiffre
d’affaires de 14,9 milliards d’euros. Avec plus de 25 000 ingénieurs et
chercheurs, Thales offre une capacité unique pour créer et déployer des
équipements, des systèmes et des services pour répondre aux besoins de
sécurité les plus complexes. Son implantation internationale
exceptionnelle lui permet d’agir au plus près de ses clients partout
dans le monde.
Contacts
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany
or
AdaCore
États
Unis :
Jessie Glockner, +1 646-532-2723
Représentante des
Relations Publiques AdaCore
or
Europe:
Emma Adby,
+33 1 49 70 87 82
Responsable des Opérations Marketing