Ada und SPARK betreten den Automobilmarkt mit NVIDIA NEW YORK – (BUSINESS WIRE) – AdaCore, ein Unternehmen für hochintegritätssichere Software-Tooling-Lösungen, freut sich die Einführung der Programmiersprachen Ada und SPARK auf den Automobilmarkt bekannt zu geben. Zusammen mit ihrem Partner NVIDIA planen sie, einen ready-to-use Referenzprozess zu veröffentlichen, der anderen ermöglicht, ihrem Beispiel zu folgen. Mit dem steigenden Wertschöpfungspotenzial von Software in der Automobilindustrie wird die Sicherheit von Software zu einer der größten Herausforderungen im modernen Fahrzeugentwicklungsvorgang. Um diese Herausforderungen zu meistern, entwickelte NVIDIA das Drive® OS, ein Betriebssystem und eine dazugehörige Softwarestack, die speziell für die Entwicklung und Bereitstellung von autonomen Fahrzeuganwendungen auf DRIVE AGX-basierten Hardwareplattformen ausgelegt sind. Dieses System enthält Softwarekomponenten, die den höchsten Integritätsebenen des Automobilzertifizierungsstandards ISO-26262 entsprechen. Um dieses Ziel zu erreichen, wählte NVIDIA die Sprachen Ada und SPARK, um einige der kritischsten Komponenten seines Softwarestacks zu entwickeln. Dies erforderte die Etablierung eines Entwicklungsprozesses, der formale Methoden und andere Sicherheitsmerkmale dieser Sprachen nutzen konnte, um ihre vollen Fähigkeiten auszuschöpfen. AdaCore und NVIDIA haben sich entschieden, diesen Referenzprozess als Open-Source-Dokument frei verfügbar zu machen. Dies ermöglicht es der gesamten Industrie, Ada und SPARK zu adoptieren und den Prozess anzupassen. „Da sich der Mehrwert in der Automobilindustrie zunehmend von mechanischen zu Software-Funktionen verlagert, stellt die Erreichung der höchsten Software-Sicherheitsstandards eine der wichtigsten Herausforderungen der modernen Fahrzeugentwicklung dar," sagt Quentin Ochem, Chief Product and Revenue Officer bei AdaCore. „NVIDIA zeigt hierbei außergewöhnliche technische Führung, indem es Ada und SPARK in seinen Entwicklungsprozess integriert und der Community ermöglicht, ihm zu folgen." Der ISO-26262-Referenzprozess ist unter https://nvidia.github.io/spark-process/ verfügbar und kann von Interessierten frei verwendet oder angepasst werden. Über AdaCore AdaCore unterstützt Entwickler dabei, verlässliche, sichere und zuverlässige Software zu erstellen. Seit über 30 Jahren bieten wir Open-Source-Toolchains für Sprachen an, die im sicherheitskritischen Bereich relevant sind, darunter Ada/SPARK, C/C++ und Rust. Unsere Toolchains werden nach den strengsten Standards entwickelt, damit Sie sich auf Ihren Code konzentrieren können und Ihre Zertifizierungsziele erreichen. AdaCore unterstützt hochintegritätssichere Branchen durch die Bereitstellung von Compiler-Toolchains und Analysetools sowie durch Zertifizierungsnachweise zur Einhaltung von Industriestandards. Mit einem langfristigen Supportcommitment stellt AdaCore die Kontinuität und Zuverlässigkeit seiner Toolchains für Jahrzehnte sicher. https://www.adacore.com/ Die Einführung von Ada und SPARK in den Automobilmarkt durch AdaCore und NVIDIA markiert einen wichtigen Schritt in Richtung erhöhter Software-Sicherheit. Die Freigabe des Referenzprozesses als Open-Source-Dokument wird es anderen Unternehmen ermöglichen, diese fortschrittlichen Methoden zu nutzen und ihre eigenen sicherheitskritischen Softwarekomponenten effektiver zu entwickeln. Experten aus der Branche loben die Initiative als wegweisend und sehen in ihr das Potenzial, die Sicherheit autonomer Fahrzeuge erheblich zu verbessern.