AdaCore zertifiziert C-Compiler für sicherheitskritische Bahnsysteme von Alstom
(IINews) - Paris, 29. Juni 2021 – Der C-Compiler in der GNAT Pro Ada Toolchain von AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, wurde für die Klasse T3 gemäß der europäischen Sicherheitsnorm CENELEC EN 50128 zertifiziert.
AdaCore hat die T3-Qualifizierung seiner GNAT Pro Ada for PowerPC ELF Toolchain um den C-Compiler ergänzt. Dadurch erfüllt die Lösung die Anforderungen der Norm für sicherheitsrelevante Software der Eisenbahn EN 50128:2011. AdaCore hat die Zertifizierung für Alstom, ein internationales Unternehmen mit Fokus auf sicherheitskritische Bahnsysteme, durchgeführt. Der unabhängige Sicherheitsgutachter CERTIFER hat dabei die Validierung übernommen. Die T3-Zertifizierung für den C-Compiler ergänzt die frühere T3-Zertifzierung für den Ada-Compiler der Toolchain. T3 ist die höchste Qualifikationsstufe der EN 50128.
Die Zertifizierung umfasste mehrere Schritte:
- Durchlaufen von Super Test C Conformance von SolidSands und der GCC-Testsuite der Free Software Foundation.
- Analyse der Fehlerberichte, die sich auf die jeweilige Version des C-Compilers beziehen, sowie Behebung mehrerer Probleme, die als kritisch identifiziert wurden,
- sowie Nachweis der korrekten Integration des C-Codes mit der in Ada geschriebenen Hauptapplikation.
„Alstom und AdaCore verbindet eine langjährige Partnerschaft. Als Anbieter von qualifizierten Ada-Tools haben wir Alstom in der Vergangenheit bei einer Vielzahl von sicherheitskritischen Eisenbahnprojekten unterstützt“, berichtet Jamie Ayre, Commercial Director bei AdaCore. „Da die meisten Systeme heutzutage in mehreren Sprachen entwickelt werden, darunter auch C für eine Reihe von Funktionen, war es sinnvoll, den C-Compiler in GNAT Pro mit der gleichen T3-Klassifizierung zu zertifizieren wie den Ada-Compiler. Beide Compiler sind nun unter den anspruchsvollsten Tool-Qualifizierungsanforderungen der EN 50128 zertifiziert und Alstom kann volles Vertrauen in die Qualität des generierten Codes haben.“
Über CENELEC EN 50128
CENELEC EN 50128:2011 ist eine europäische Norm, die die Entwicklung, den Einsatz und die Wartung von sicherheitsrelevanter Software für Eisenbahnsteuerungs- und -sicherungssysteme regelt. Sie definiert mehrere Software Safety Integrity Levels (SILs), die von 0 (niedrigstes oder nicht sicherheitsrelevanters Level) bis 4 (höchstes Level) reichen und die damit verbundene Richtlinie zur Verwendung einer Reihe von Techniken und Maßnahmen während der Software-Lebenszyklusprozesse, basierend auf dem SIL der Anwendung. Diese Anleitung kann von nicht empfehlenswert (z. B. die Verwendung von dynamischer Software-Rekonfiguration bei SIL1 bis SIL4) bis hin zu obligatorisch reichen. Die Techniken und Maßnahmen decken ein breites Spektrum an Software-Engineering-Aktivitäten ab und umfassen Top-Down-Design-Methoden, Modularität, verifizierte Komponenten und Komponentenbibliotheken, Konfigurationsmanagement und Änderungskontrolle sowie die entsprechende Berücksichtigung von organisatorischen und personellen Kompetenzfragen.
EN 50128 definiert Verfahren, um ein Tool zu zertifizieren und ermöglicht damit, dass dieses Tool eine manuelle Tätigkeit ersetzen kann. Ziel ist es, den Nachweis zu erbringen, dass potenzielle Werkzeugausfälle die Sicherheit nicht beeinträchtigen. Die Norm identifiziert drei Klassen von Tools und die Anforderungen, die mit der Rechtfertigung ihrer Verwendung verbunden sind. Klasse T1 umfasst Tools, die keinen Einfluss auf die Verifikation oder den endgültigen ausführbaren Code haben. Klasse T2 umfasst Verifikationswerkzeuge, bei denen ein Ausfall dazu führen kann, dass ein Fehler nicht erkannt wird, aber keine Auswirkungen auf den endgültigen ausführbaren Code hat. Klasse T3 umfasst Entwicklungs-Tools wie beispielsweise Compiler, bei denen ein Fehler zu fehlerhaftem Code im ausgeführten Programm führen kann.
Themen in diesem Fachartikel:
Unternehmensinformation / Kurzprofil:
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.
AdaCore
Juliana Silva
silva(at)adacore.com
www.adacore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Datum: 29.06.2021 - 13:36 Uhr
Sprache: Deutsch
News-ID 1914694
Anzahl Zeichen: 0
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Internet
Anmerkungen:
Dieser Fachartikel wurde bisher 195 mal aufgerufen.
Der Fachartikel mit dem Titel:
"AdaCore zertifiziert C-Compiler für sicherheitskritische Bahnsysteme von Alstom
"
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).