AdaCores Toolchain für Ada, SPARK und C erhält Qualifizierungen gemäß ISO 26262 and IEC 61508
(IINews) - Paris, 18. Februar 2020 – Der TÜV SÜD hat drei zentrale Softwareentwicklungs- und Verifizierungs-Tools von AdaCore (www.adacore.com) gemäß ISO 26262 und IEC 61508 qualifiziert. Damit belegt das Unternehmen, dass seine Technologien auch den hohen Sicherheitsanforderungen der Automobilindustrie gerecht werden.
Die ISO 26262 ist eine ISO-Norm für sicherheitsrelevante elektrische und elektronische Systeme in Kraftfahrzeugen. Die IEC 61508 ist eine internationale Normenserie zur Entwicklung von elektrischen, elektronischen und programmierbaren elektronischen Systemen, die eine Sicherheitsfunktion ausführen. Zu den drei Entwicklungs- und Verifizierungs-Tools von AdaCore, die vom TÜV SÜD gemäß dieser Normen qualifiziert wurden, zählen:
- die Entwicklungsumgebung GNAT Pro, die eine industrietaugliche Toolchain für die Programmiersprachen Ada und C bietet. Sie unterstützt die beiden Sprachen entweder jeweils für sich allein genommen oder gemischt in einer einzigen Binärdatei. GNAT Pro verfügt über eine ganzen Reihe von Entwicklungs- und Verifizierungstools, darunter die Berechnung von Stackgrößen, die Verifizierung von Programmierstandards und eine individuelle sowie erweiterbare integrierte Entwicklungsumgebung (IDE).
- der Common Code Generator (CCG), der aus einem Quellcode, der im SPARK-Subset von Ada geschrieben ist, C-Quellcode erzeugt. Er ermöglicht Projekten das Cross-Compilieren von Ada- und SPARK-Anwendungen auf jede Zielhardware, die einen C-Compiler bereitstellt. Dazu zählt auch Zielhardware, die nicht von Haus aus Ada unterstützt.
- das Toolset SPARK Pro, das auf dem Subset von Ada basiert und es Entwicklern erlaubt, benutzerdefinierte funktionale Assertionen zu überprüfen und Eigenschaften von Quellcode formal zu garantieren. Dazu zählt die Abwesenheit bestimmter Schwachstellen-Kategorien wie Buffer Overflow, Teilung durch Null oder Referenzen auf nicht initialisierte Variablen.
Sowohl der GNAT Pro Compiler (www.adacore.com/gnatpro) als auch der CCG erhielten vom TÜV SÜD eine TCL3-Qualifizierung gemäß ISO 26262 und eine T3-Qualifizierung gemäß ICE 61508. Das Verifizierungstool SPARK Pro (/www.adacore.com/sparkpro) erhielt eine TCL3- und T2-Qualifizierung. Als unabhängige und weltweit anerkannte Organisation bestätigt der TÜV SÜD, dass Produkte nationalen und internationalen Standards entsprechen. Sein Prüfzeichen ist allgemein als vertrauenswürdiges Symbol für Qualität, Sicherheit und Nachhaltigkeit anerkannt.
AdaCore verfügt bereits seit zwei Jahrzehnten über Zertifizierungen für sicherheitskritische Branchen wie Luftfahrt, Raumfahrt und Eisenbahnverkehr. Durch die jetzige Komplettierung der Qualifizierungen für automobile und industrielle Standards belegt das Unternehmen, dass seine hochsicheren Technologien auch die anspruchsvollen Anforderungen der Automobilindustrie erfüllen.
„Der Bedarf an kosteneffizienten Tools und Methoden ist in der Automotivbranche und der Industrie in den vergangenen Jahren erheblich gestiegen“, sagt Quentin Ochem, Lead of Business Development bei AdaCore. „Die Sprachen Ada und SPARK haben sich dabei für viele Entwickler, die Software mit höherer Integrität benötigen, als tragfähige Alternative zu C herauskristallisiert. Die Komplettierung unserer Sicherheitszertifizierung nach den entsprechenden Standards demonstriert, dass wir diese Projekte optimal unterstützen können.“
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
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. Weitere Informationen unter www.adacore.com
AdaCore
Pamela Trevino
press(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
+49-89-59997-803
Datum: 18.02.2020 - 13:33 Uhr
Sprache: Deutsch
News-ID 1793955
Anzahl Zeichen: 0
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Internet
Anmerkungen:
Dieser Fachartikel wurde bisher 215 mal aufgerufen.
Der Fachartikel mit dem Titel:
"AdaCores Toolchain für Ada, SPARK und C erhält Qualifizierungen gemäß ISO 26262 and IEC 61508
"
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).