Ada and SPARK Drive into Automotive Development: NVIDIA Open-Sources Safety Process

AdaCore and NVIDIA have partnered to bring Ada and SPARK programming languages into the automotive market, open-sourcing a reference development process based on the ISO 26262 standard. NVIDIA's Drive OS utilizes Ada and SPARK for critical components to meet the highest levels of automotive safety certification. This open-source process aims to help others adopt Ada and SPARK, improving automotive software safety and reliability in the face of growing complexity.