Suche   Â
AdaCore veröffentlicht Dokumente zur agilen Software-Zertifikation für GNATcheck und GNATcoverage
ID: 542740
Paris, 19. Dezember 2011, Certification Together Conference - AdaCore hat ein Paket von Dokumenten für die Zertifizierung der Ada-Entwicklungswerkzeuge GNATcheck und GNATcoverage vorgestellt. Damit lässt sich der Zertifizierungsprozess vereinfachen, beispielsweise für sicherheitskritische Software in der Luftfahrt.
(firmenpresse) - AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat nun Qualifikationsdokumente für zwei Tools vorgestellt: für GNATcheck, ein Werkzeug zur Überprüfung von Codingstandards und Regeln zur Programmierung, sowie für GNATcoverage, das die Analyse der Testabdeckung ohne eine Veränderung des Quellcodes erlaubt.
Diese Dokumente erweitern das bereits verfügbare Zertifikationsmaterial von AdaCore, das auch das Traceability Analysis Package enthält, eine Studie zur Rückverfolgbarkeit von Objektcode zum Quellcode für die GNAT Pro High Integrity Edition. Diese neuen Werkzeuge erleichtern die Entwicklung von Anwendungen, die mit dem Sicherheitsstandard DO-178B für Software in der Luftfahrt konform sind. Dies gilt bis zu Software Level A und wird auch auf die künftige Version DO-178C des Standards anwendbar sein. Die Qualifikationspakete erlauben es Entwicklern, die Benutzung von GNATcheck und GNATcoverage als Aktivitäten in Einklang mit DO-178B (Level A und darunter) zu deklarieren.
Das Traceability Analysis Package reagiert auf die in DO-178B Level A aufgestellte Forderung nach zusätzlicher Verifikation von struktureller Testabdeckung. Es versetzt den GNAT Pro Compiler in die Lage, die Vorgabe 7 von Tabelle A7 zu erfüllen, und steht im Einklang mit den Empfehlungen, die in dem Positionspapier CAST-12 des Certification Authority Software Team’s beschrieben sind. Das Zertifikationsmaterial stellt die Rückverfolgbarkeit von Quellcode und Objektcode her und führt zusätzliche Verifikationen für nicht rückverfolgbaren Code durch. Diese Analyse wird mithilfe einer Liste von Codemustern, die typisch für die Applikation des Anwenders sind, durchgeführt.
AdaCore macht damit die ersten Schritte in die Richtung eines Verwaltungssystems für Zertifikationsartefakte. Dieses System - die "Qualifying Machine" - ist ein agiles Framework zur Unterstützung der Entwicklung, Pflege und Modifizierung von Softwarewerkzeugen und der dazugehörigen Qualifikationsdokumente. Es erleichtert die Erstellung von mehreren Versionen eines Werkzeugs, wobei jede Version ihr korrektes und aktuelles Qualifikationsmaterial mit sich bringt. Es ist nun möglich, Werkzeuge zu verändern, um neue Features zu integrieren und Fehler zu korrigieren, so dass eine erneute Qualifikation inkremental und damit mit geringerem Aufwand erfolgen kann. Das Endziel ist die vollständige Unterstützung eines agilen, inkrementalen und sich ständig weiterentwickelnden Zertifikationsprozesses, der die zeitaufwendigsten Aufgaben, wie die Verwaltung und Überprüfung der Rückverfolgbarkeit aller Daten, automatisiert.
Diese Presseinformation kann auch unter www.pr-com.de abgerufen werden.
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für große, langlebige Anwendungen, bei denen Sicherheit und Verlässlichkeit kritisch sind. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. AdaCore hat eine große, weltweite Kundenbasis; bitte finden Sie weitere Informationen auf der folgenden Seite: http://www.adacore.com/home/company/customers/
Sowohl Ada als auch GNAT PRO werden immer häufiger im High-integrity Bereich und für sicherheitszertifizierte Anwendungen eingesetzt, so vor allem in sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor.
AdaCore hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Frank Bauderer
frank.bauderer(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
  
  
  
Datum: 19.12.2011 - 12:50 Uhr
Sprache: Deutsch
News-ID 542740
Anzahl Zeichen: 3120
Kontakt-Informationen:
Ansprechpartner: Frank Bauderer
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Computer & Technik
Meldungsart: Produktinformation
Versandart: Veröffentlichung
Freigabedatum: 19.12.2011
Diese Pressemitteilung wurde bisher 0 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore veröffentlicht Dokumente zur agilen Software-Zertifikation für GNATcheck und GNATcoverage"
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).