Ada und SPARK erobern die Automobilentwicklung: NVIDIA veröffentlicht Sicherheits-Prozess als Open Source

AdaCore und NVIDIA haben sich zusammengetan, um die Programmiersprachen Ada und SPARK in den Automobilmarkt einzuführen und veröffentlichen einen Referenz-Entwicklungsprozess basierend auf der ISO 26262 Norm als Open Source. NVIDIAs Drive OS nutzt Ada und SPARK für kritische Komponenten, um höchste Sicherheitszertifizierungsstufen im Automobilbereich zu erfüllen. Dieser Open-Source-Prozess soll anderen Unternehmen helfen, Ada und SPARK zu adoptieren und so die Sicherheit und Zuverlässigkeit von Automobil-Software angesichts wachsender Komplexität zu verbessern.