Select Language

AdaCore Publishes Handbook on DO-178C/ED-12C Guidance

Free booklet shows how AdaCore qualified tools can reduce costs of certifying airborne software

TOULOUSE, France, Certification Together International Conference, March 21, 2017 – AdaCore today announced the publication and immediate availability of a free booklet, AdaCore Technologies for DO-178C / ED-12C, written by Quentin Ochem (AdaCore) and certification expert Frédéric Pothon. The booklet addresses the DO-178C / ED-12C standards suite – the “core” DO-178C / ED-12C standard and its technology supplements – and explains many of their more subtle aspects in the context of several different development scenarios. In so doing, the booklet provides insights into how the Ada and SPARK languages, combined with AdaCore’s products and services, can help customers develop and verify airborne software. Many of AdaCore’s tools have been qualified on safety-critical projects and have qualification material available; using a qualified tool can save considerable effort in demonstrating that various objectives in the DO-178C / ED-12C standards suite have been met.

“DO-178C is one of the most complex software safety standards in the industry,” said Quentin Ochem, lead of Business Development at AdaCore. “This booklet is aimed at software engineers and architects, to help them read between the lines of the standard and better understand the intent, using AdaCore’s technologies to illustrate how to meet the various requirements.”

The booklet approaches its subject matter from several angles. One chapter summarizes the Ada and SPARK languages and describes various AdaCore tools, many of which have been qualified or are qualifiable for safety-critical systems:

  • The GNAT Pro Assurance development environment, including support for “sustained branches”, which allows customers to evolve their software on a stable but maintained version of the GNAT Pro environment;
  • The CodePeer advanced static analysis tool for Ada, which can find subtle bugs and vulnerabilities both during development and retrospectively on existing codebases;
  • Basic static analysis tools, including the GNATcheck code standard enforcer and the GNATstack tool for computing maximum stack usage;
  • Dynamic analysis tools: GNATtest (a test harness generator), GNATemulator (a target emulator), and GNATcoverage (a code coverage analyzer at both the object and source levels, handling statement coverage, decision coverage, and modified condition/decision coverage);
  • Integrated Development Environments: GNAT Programming Studio (GPS), GNAtbench, and GNATdashboard; and
  • The QGen model-based development and verification toolset, which includes a tunable and qualifiable code generator from a safe subset of Simulink® and Stateflow® models to SPARK or MISRA-C.

A major section of the booklet is a chapter that shows how to exploit AdaCore’s technologies to comply with the guidance in the DO-178C / ED-12C suite, in the context of several development scenarios (use cases):

  • Coding with Ada 2012 without using Object-Oriented Technology (OOT). This use case shows how AdaCore’s products and services contribute to the activities in the core DO-178C / ED-12C standard.
  • Coding with Ada 2012 and using OOT. This use case takes into account the guidance in DO-332 / ED-217 (Object-Oriented Technologies and Related Techniques), in particular the objective of Local Type Consistency.
  • Developing a design model and using a qualified code generator (QGen). This use case takes into account the guidance in DO-331 / ED-218 (Model-Based Development and Verification).
  • Using SPARK and formal analysis. This use case takes into account DO-333 / ED-216 (Formal Methods) and explains how to gain credit for formal proofs to reduce or eliminate testing activities.

For each use case, the booklet explains which AdaCore technologies are applicable, and which activities in the DO-178C / ED-212 suite they contribute to.

The booklet also includes a set of reference tables that summarize how the various AdaCore technologies help satisfy the specific objectives in the DO-178C / ED-12C suite.

Availability
The DO-178C booklet is available now, at no cost. To download a pdf version please visit www.adacore.com/tech-do-178c. For a printed copy please contact info@adacore.com

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, and
  • The QGen model-based development toolsuite for safety-critical control systems, providing a qualifiable and customizable code generator, a static verifier for Simulink® and Stateflow® models, and a model-level debugger.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains, such as automotive, commercial avionics, railway, space, military systems, air traffic management/control, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

EU:
Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82

US:
Jessie Glockner
AdaCore Public Relations Representative
+1-646-532-2723

AdaCore publie son guide du langage DO-178C/ED-12C

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, Conférence Internationale Certification Together, le 21 mars 2017 – 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 presse
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

Europe :
Emma Adby
Responsable des Opérations Marketing AdaCore
+33 1 49 70 87 82

Etats Unis :
Jessie Glockner
Représentante des Relations Publiques AdaCore
+1-646-532-2723

AdaCore veröffentlicht Broschüre für die Entwicklung zertifizierter Software in der Luftfahrt

Paris, 21. Monat 2017 – AdaCore hat eine kostenlose Broschüre mit dem Titel "AdaCore Technologies for DO-178C / ED-12C" vorgestellt. Sie befasst sich mit der Gruppe von Standards DO-178C / ED-12C und geht auf unterschiedliche Entwicklungsszenarien ein.

Die neue Publikation von AdaCore über die Gruppe von Standards DO-178C / ED-12C – den "Core" DO-178C / ED-12C-Standard und seine Technologieerweiterungen – wurde von Quentin Ochem von AdaCore und dem Zertifizierungsexperten Frédéric Pothon verfasst. Sie zeigt, wie die Ada- und SPARK-Sprachen in Verbindung mit den Produkten und Dienstleistungen von AdaCore bei der Entwicklung und Verifizierung von Software für die Luftfahrt helfen können. Viele Werkzeuge von AdaCore wurden auf sicherheitskritischen Projekten qualifiziert und stellen Qualifizierungsmaterialien bereit.

Die Broschüre nähert sich ihrem Thema von mehreren Seiten. Ein Kapitel fasst die Ada- und SPARK-Sprachen zusammen und beschreibt verschiedene AdaCore-Tools, von denen viele für sicherheitskritische Systeme qualifiziert beziehungsweise qualifizierbar sind.

Ein wichtiger Abschnitt der Broschüre ist ein Kapitel, das zeigt, wie sich die Technologien von AdaCore verwenden lassen, um die Regelungen in der DO-178C / ED-12C-Suite im Rahmen mehrerer Entwicklungsszenarien zu erfüllen.

Die Broschüre erklärt unterschiedliche Anwendungsfäll, welche AdaCore-Technologien verwendbar sind und welche Aktivitäten in der DO-178C / ED-212-Suite dazu beitragen können.

Die Broschüre enthält auch eine Reihe von Referenztabellen, die zusammenfassen, wie die verschiedenen AdaCore-Technologien die spezifischen Ziele der DO-178C / ED-12C-Suite erfüllen.

Verfügbarkeit
Die DO-178C-Broschüre ist ab sofort verfügbar; eine PDF-Version kann über www.adacore.com/tech-do-178c heruntergeladen werden, eine gedruckte Kopie ist über info@adacore.com erhältlich.

Diese Presseinformation kann unter
www.pr-com.de/adacore abgerufen werden.

Über AdaCore
AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers

AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com

Pressekontakte:
AdaCore
Jamie Ayre
press@AdaCore.com 
www.AdaCore.com
http://twitter.com/AdaCoreCompany

PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803