AdaCores Toolchain für Ada, SPARK und C erhält Qualifizierungen gemäß ISO 26262 and IEC 61508
ID: 1793955
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.
Weitere Infos zu dieser Pressemeldung:
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: 3585
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Internet
Meldungsart: Unternehmensinfos
Versandart: Veröffentlichung
Freigabedatum: 18.02.2020
Diese Pressemitteilung wurde bisher 503 mal aufgerufen.
Die Pressemitteilung 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).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
projekt0708 und Textkernel starten erstes gemeinsames Event ...
Mit „Bitterballen meets Fleischpflanzerl“ geht die Kooperation der beiden Technologieunternehmen in die nächste Runde. Bei der Veranstaltung im Vorfeld der Münchner „TALENTpro“ steht die gemeinsame Zusammenarbeit zwischen Textkernel und projekt0708 im Fokus. Bitterballen sind kleine panier
"Adapt or Die": Forcepoint und Formel-E-Star Lucas di Grassi starten Partnerschaft für mehr Mut zur Innovation ...
Austin, Texas / München, 17. Februar 2020 – Forcepoint, ein weltweit führender Cyber-Security-Anbieter, und Formel-E-Weltmeister Lucas di Grassi gehen eine strategische Partnerschaft ein. Auf gemeinsamen Events rund um die diesjährige Formel E machen sie sich für die Förderung innovativer Ans
Offene Architekturen und Kommunikationsstandards erhöhen Einsatzoptionen für physische Zutrittskontrollsysteme ...
Walluf, 17. Februar 2020 – Physische Zutrittskontrollsysteme sind die Standardlösung für die Sicherung des Zugangs zu Gebäuden oder Büros. Darüber hinaus werden sie aber mehr und mehr zum Dreh- und Angelpunkt für die Steuerung betrieblicher Prozesse, meint HID Global, weltweit führender Anb
AGRAVIS und GWS entwickeln gemeinsames CRM-Tool für genossenschaftlichen Verbund ...
„Durch die Bündelung von Know-how und Ressourcen können wir unseren genossenschaftlichen Partnern eine cloudbasierte Lösung zur Vertriebssteuerung und Kundenbindung zur Verfügung stellen, das von Praktikern für Praktiker entwickelt und umgesetzt wird“, erläutert AGRAVIS-Vorstandsmitglied H
