Ce livret gratuit démontre que les outils qualifiés d’AdaCore
permettent de réduire les coûts de certification des logiciels aéroportés
TOULOUSE, France–(BUSINESS WIRE)–Conférence Internationale Certification Together–AdaCore
annonce la publication et la disponibilité immédiate d’un livret
gratuit, AdaCore
Technologies for DO-178C / ED-12C, rédigé par Quentin Ochem
(AdaCore) et l’expert en certification Frédéric Pothon. Le livret aborde
l’ensemble de standards DO-178C / ED-12C – la norme DO-178C / ED-12C à
proprement parler ainsi que ses compléments technologiques – et explique
certains de ses aspects les plus subtils dans le contexte de différents
scénarios de développement. Ainsi, le livret éclaire sur la façon dont
les langages Ada et SPARK, combinés aux produits et services d’AdaCore,
peuvent aider les clients à développer et vérifier des logiciels
avioniques. Plusieurs des outils d’AdaCore ont été qualifiés dans le
cadre de projets critiques et sont accompagnés de matériel de
qualification; l’utilisation d’un outil qualifié peut considérablement
aider à démontrer la conformité du logiciel avec les standards DO-178C /
ED-12C.
“DO-178C est l’un des standards de sûreté en matière de logiciels le
plus complexe de l’industrie,” a expliqué Quentin Ochem, lead of
Business Development chez AdaCore, “Ce livret se destine aux ingénieurs
et architectes logiciels afin de leur permettre de lire entre les lignes
du standard et de mieux comprendre ses attentes, en utilisant les
technologies d’AdaCore pour illustrer la meilleure façon de répondre à
ses diverses exigences.“
Le livret aborde le sujet sous différents angles. L’un des chapitres
résume les langages Ada et SPARK et décrit divers outils d’AdaCore, dont
la plupart sont qualifiés ou qualifiables pour les systèmes critiques:
-
L’environnement de développement GNAT Pro Assurance, comprenant
un support pour les “branche en maintenance stabilisée” et permettant
aux clients de faire évoluer leur logiciel sur une version stable mais
maintenue de l’environnement GNAT Pro; -
CodePeer, l’outil d’analyses statiques avancées pour Ada,
capable de détecter les anomalies et vulnérabilités les plus subtiles
aussi bien au cours du développement que rétrospectivement sur des
bases de codes existantes; -
Les outils d’analyses statiques de base, y compris l’outil de
vérification de standards de code GNATcheck et l’outil GNATstack pour
calculer de la taille maximale d’utilisation de pile; -
Les outils d’analyses dynamiques : GNATtest (un générateur
d’infrastructure de tests), GNATemulator (un émulateur de processeur),
et GNATcoverage (un analyseur de couverture de code aussi bien au
niveau de l’objet que de la source, prenant en charge la couverture
des instructions source, la couverture des décisions et la couverture
condition/décision modifiée (MC/DC); -
Les environnements de développement intégrés : GNAT Programming Studio
(GPS), GNATbench, et GNATdashboard; et enfin -
L’ensemble d’outils de développement et de vérification basé sur les
modèles QGen, incluant un générateur de code personnalisable et
qualifiable QGen permettant de traiter un sous-ensemble sûr de modèles
Simulink® and Stateflow® et de générer du code
source en SPARK et MISRA C.
Une importante rubrique du livret montre de quelle façon exploiter les
technologies d’AdaCore pour se conformer à l’ensemble de standards
DO-178C / ED-12C dans le contexte de plusieurs scénarios de
développement différents (cas d’utilisation):
-
Coding with Ada 2012 without using Object-Oriented Technology (OOT).
Ce cas d’utilisation montre de quelle manière les produits et services
d’AdaCore contribuent aux activités dans le cadre du standard DO-178C
/ ED-12C. -
Coding with Ada 2012 and using OOT. Ce cas d’utilisation prend
en compte les orientations en matière de DO-332 / ED-217 (Technologies
orientées objet et techniques afférentes), en particulier l’objectif
de cohérence locale de type. -
Developing a design model and using a qualified code generator
(QGen). Ce cas d’utilisation prend en compte les orientations en
matière de DO-331 / ED-218 (Développement et Vérification basée sur
les modèles). -
Using SPARK and formal analysis. Ce cas d’utilisation prend en
compte DO-333 / ED-216 (Méthodes formelles) et exploite la façon
d’obtenir la reconnaissance des preuves formelles afin de réduire ou
éliminer les activités de test.
Pour chaque cas d’utilisation, le livret explique quelles technologies
d’AdaCore sont applicables et à quelles activités de la suite DO-178C /
ED-212 elles contribuent.
Le livret inclut également un ensemble de tableaux de références
résumant les différentes technologies d’AdaCore permettant de répondre
aux objectifs spécifiques de la suite DO-178C / ED-12C.
Disponibilité
Le livret DO-178C est gratuit et disponible dès à présent. Pour en
télécharger une version pdf, merci de visiter www.adacore.com/tech-do-178c.
Pour en obtenir une version imprimée, veuillez contacter info@adacore.com.
Á 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’analyses statistiques avancées 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
Contacts
Etats Unis:
Jessie Glockner, +1-646-532-2723
Représentante
des Relations Publiques AdaCore
ou
Europe:
Emma
Adby, +33 1 49 70 87 82
Responsable des Opérations Marketing AdaCore
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany