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
