IndustrieTreff - AdaCore veröffentlicht Dokumente zur agilen Software-Zertifikation für GNATcheck und GNATcoverage

IndustrieTreff

AdaCore

AdaCore veröffentlicht Dokumente zur agilen Software-Zertifikation für GNATcheck und GNATcoverage

ID: 543325

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.

Weitere Infos zu dieser Meldung:
http://www.adacore.com


Themen in dieser Meldung:

produkte

adacore

erweiterung



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



Leseranfragen:

AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany



Kontakt / Agentur:

PR-COM GmbH
Frank Bauderer
frank.bauderer(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803



drucken  als PDF  an Freund senden  AdaCore beteiligt sich an den Forschungsprojekten OPENCOSS und pSafecer Bald funkt
Bereitgestellt von Benutzer: PR-COM MUC
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.

Juristisches zu dieser Meldung

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).

HerstellerNews löschen HerstellerNews ändern HerstellerNews beanstanden
Weitere Meldungen von AdaCore

Alle Meldungen von AdaCore


HerstellerNews aus der Kategorie: Forschung und Entwicklung

Login

Benutzername:

Passwort:

Sonstiges