High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner NVIDIA, they are set to publish an off-the-shelf reference process, allowing others to follow their lead. This system includes software components that comply with the highest levels of integrity of the automotive certification standard ISO-26262. This required establishing a development process that takes advantage of formal methods and other safety characteristics of Ada and SPARK, thus fully leveraging their capabilities. AdaCore and NVIDIA have decided to publish this reference process freely as an open-source and evolving document, allowing the industry at large to adopt Ada and SPARK.