AdaCore verbessert mit NVIDIA sicherheitskritische Firmware
Paris/Nürnberg, 26. Februar 2019 – Die Programmiersprachen Ada und SPARK von AdaCore helfen die Kosten für die Entwicklung und Verifizierung sicherheitskritischer Software zu reduzieren.
AdaCore, ein führender Anbieter von Softwareentwicklungs- und Verifikationstools, arbeitet ab sofort mit NVIDIA bei der Nutzung der Programmiersprachen Ada und SPARK für die Implementierung ausgewählter sicherheitskritischer Firmware zusammen. Diese wird in Anwendungen eingesetzt, die strenge Safety- und Security-Funktionen erfordern, beispielsweise beim automatisierten und autonomen Fahren.
Einige System-on-a-Chip-Produkte von NVIDIA werden auf eine neue RISC-V Instruction Set Architecture (ISA) umgestellt. Darüber hinaus plant NVIDIA eine Aktualisierung ausgewählter sicherheitskritischer Firmware, und wechselt dabei von C auf Ada und SPARK. Beide Schritte zielen darauf ab, die Verifikationseffizienz zu erhöhen und die ISO-26262-Norm für funktionale Sicherheit einzuhalten.
„Die Entscheidung von NVIDIA für Ada und SPARK leitet eine neue Ära in der Geschichte der sicherheitskritischen Softwareentwicklung ein“, sagt Quentin Ochem, Lead of Business Development bei AdaCore. „Wir sind stolz darauf, einen Beitrag zu den Industriestandards eines Marktführers zu leisten.“
Ada und SPARK wurden entwickelt, um die strengsten Softwareanforderungen für Safety und Security zu erfüllen. Die Programmiersprache Ada verfügt über zahlreiche integrierte Funktionen, die frühzeitig Codefehler im Software-Lebenszyklus erkennen und so den Aufwand für Peer Review und Tests verringern. Die SPARK-Sprache – eine Variante von Ada, die die Durchführung eines formalen mathematischen Beweises ermöglicht – erhöht die Sicherheit, Fehler rechtzeitig zu erkennen, die sonst vielleicht nicht erkannt worden wären. SPARK vereinfacht die statische Analyse, die formal bestimmte Eigenschaften des Codes nachweisen kann, angefangen von der korrekten Verwendung von Daten und dem Ausschluss von Laufzeitfehlern wie Pufferüberläufen bis hin zu komplexeren Eigenschaften wie der Erfüllung funktionaler Anforderungen.
„Selbstfahrende Autos sind extrem komplex und erfordern eine ausgereifte Software, die die strengsten Standards erfüllt“, erläutert Daniel Rohrer, Vice President of Software Security bei NVIDIA. „Maßnahmen wie die Integration der Ada- und SPARK-Sprachen in NVIDIA-Plattformen können die Robustheit und Verlässlichkeit unserer Fahrzeugsicherheit verbessern.“
Diese Presseinformation kann unter www.pr-com.de/adacore abgerufen werden.
Über AdaCore
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
Pressekontakte:
Pamela Trevino
press@AdaCore.com
AdaCore
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
Tel. +49-89-59997-803