AdaCore veröffentlicht Dokumente zur agilen Software-Zertifikation für GNATcheck und GNATcoverage
AdaCore hat ein Paket von Dokumenten für die Zertifizierung der Ada-
Entwicklungs¬werk¬zeuge GNATcheck und GNATcoverage vorgestellt.
Damit lässt sich der Zertifizierungsprozess vereinfachen, beispielswei-
se für sicherheitskritische Software in der Luftfahrt.
(industrietreff) - 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 Werk¬zeuge 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 Quali-fikationspakete erlauben es
Entwicklern, die Benutzung von GNATcheck und GNATcoverage als
Aktivitäten in Einklang mit DO-178B (Level A und darun-ter) zu
deklarieren.
Das Traceability Analysis Package reagiert auf die in DO-178B Level
A auf-gestellte Forderung nach zusätzlicher Verifikation von
struktureller Testabde-ckung. 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 Code¬mustern, die typisch für die Applikation des Anwenders
sind, durchge-führt.
AdaCore macht damit die ersten Schritte in die Richtung eines
Verwaltungs-systems für Zertifikationsartefakte. Dieses System –
die "Qualifying Machi-ne" – ist ein agiles Framework zur
Unterstützung der Entwicklung, Pflege und Modifizierung von
Softwarewerkzeugen und der dazugehörigen Qualifikati-
onsdokumente. Es erleichtert die Erstellung von mehreren Versionen
eines Werkzeugs, wobei jede Version ihr korrektes und aktuelles
Qualifikationsma-terial 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 Qua-lifikation
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 zeitauf-wendigsten Aufgaben, wie
die Verwaltung und Überprüfung der Rückverfolg-barkeit aller Daten,
automatisiert.
Themen in dieser Meldung:
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üg-bar 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 sicherheitszer-tifizierte 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: 20.12.2011 - 11:06 Uhr
Sprache: Deutsch
News-ID 543325
Anzahl Zeichen: 0
Kontakt-Informationen:
Kategorie:
Forschung und Entwicklung
Meldungsart: Produktinformationen
Versandart: eMail-Versand
Freigabedatum: 20.12.11
Diese HerstellerNews wurde bisher 826 mal aufgerufen.
Die Meldung 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).
AdaCore beteiligt sich an den Forschungsprojekten OPENCOSS und pSafecer ...
AdaCore entwickelt für die europäischen Forschungsprojekte OPENCOSS und pSafecer ein Komponenten-basiertes Verwaltungssystem für die Zertifi-kation sicherheitskritischer Systeme. Diese "Qualifying Machine" wird einen agilen, inkr ...AdaCore stellt eine neue Version des GNAT Programming Studio vor ...
Embedded Systems Conference – AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat die neue Version 5.1 der grafischen integrierten Entwicklungsumgebung GNAT Programming Studio (GPS) angekündigt. Sie wird ...Alle Meldungen von AdaCore
Rückblick auf ein erfolgreiches Messejahr 2024
Mit 20 den Vater finden
COSCOM und die intelligente Datenplattform für die smarte CNC-Fertigung
Zertifiziertes BGM am Fraunhofer IIS: Für starke Teams und bahnbrechende Forschung
Hoher Standard: Präzisionslogistik für DESY-High-Tech-Experiment