AdaCore, a leading provider of high-integrity software tools, has announced the introduction of the Ada and SPARK programming languages into the automotive market, in collaboration with NVIDIA. The move aims to enhance software safety in modern automobile development. As the automotive industry increasingly shifts its focus from mechanical components to advanced software features, ensuring software safety has become a paramount challenge. Recognizing this, NVIDIA has developed Drive OS, a specialized operating system and software stack designed for autonomous vehicle applications running on DRIVE AGX hardware. Drive OS adheres to the highest levels of integrity required by the automotive certification standard ISO-26262. To meet these stringent safety standards, NVIDIA chose Ada and SPARK for the development of critical components within its software stack. Both languages are renowned for their formal methods and safety characteristics, which significantly reduce the risk of bugs and vulnerabilities. AdaCore played a crucial role in establishing a robust development process that maximizes the benefits of these languages. Quentin Ochem, Chief Product and Revenue Officer at AdaCore, highlights the importance of this initiative: "As the automotive industry transitions towards software-driven innovation, achieving the highest levels of software safety is a critical challenge. NVIDIA's decision to introduce Ada and SPARK into its development process demonstrates exceptional technical leadership, and by making this reference process freely available, they are empowering the broader community to follow their lead." AdaCore and NVIDIA have jointly published the ISO-26262 reference process as an open-source document, accessible at https://nvidia.github.io/spark-process/. This resource can be used or customized by any organization looking to adopt Ada and SPARK for their own safety-critical projects. AdaCore has a longstanding history of supporting developers in creating reliable, safe, and secure software. Over the past three decades, the company has developed and maintained open-source toolchains for languages essential in safety-critical environments, such as Ada/SPARK, C/C++, and Rust. These tools are built to meet the most rigorous industry standards, enabling developers to focus on coding and certification goals. In addition to providing compiler-toolchains and analysis-tools, AdaCore offers comprehensive qualification services and certification evidence to ensure compliance with industry standards. This support is crucial for high-integrity industries, helping them maintain the reliability and continuity of their software systems over extended periods. For more information about AdaCore and its products, visit https://www.adacore.com/.