Ada and SPARK enter the automotive ISO-26262 market with NVIDIA
1. AdaCore and NVIDIA introduce Ada/SPARK in the automotive market. 2. NVIDIA's Drive OS complies with ISO-26262 automotive standards. 3. Open-source reference process promotes safety-critical software development. 4. NVIDIA takes a leadership role in automotive software safety. 5. Industry shifts focus from mechanical to software features.