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

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

Paris, 22. März 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 in 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älle, welche AdaCore-Technologien verwendbar sind und welche Aktivitäten in der DO-178C / ED-212-Suite dazu etwas 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 auch unter www.pr-com.de/adacore abgerufen werden.

Posted by on 22. März 2017. Filed under Internet. You can follow any responses to this entry through the RSS 2.0. You can leave a response or trackback to this entry

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.

Time limit is exhausted. Please reload CAPTCHA.


Blogverzeichnis - Blog Verzeichnis bloggerei.de Blog Top Liste - by TopBlogs.de Blogverzeichnis