# Article: NVIDIA drives Ada and SPARK into driverless cars

**URL:** https://forum.ada-lang.io/t/article-nvidia-drives-ada-and-spark-into-driverless-cars/2117
**Category:** General
**Tags:** spark
**Created:** [June 6, 2025, 6:50am UTC](https://forum.ada-lang.io/t/article-nvidia-drives-ada-and-spark-into-driverless-cars/2117 "2025-06-06T06:50:49Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![dragon-spirit-wtp](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/dragon-spirit-wtp/32/412_2.png) [@dragon-spirit-wtp](https://forum.ada-lang.io/u/dragon-spirit-wtp)
#### Post date: [June 6, 2025, 6:50am UTC](https://forum.ada-lang.io/t/article-nvidia-drives-ada-and-spark-into-driverless-cars/2117/1 "2025-06-06T06:50:49Z")

</div>

This is a great article that highlights various virtues of developing with Ada and SPARK that contributed to NVIDIA’s recent achievement of certifying their DriveOS automotive operating system to the _highest_ automotive level of safety, ASIL-D. The first ever!

> **[Nvidia drives Ada and SPARK into driverless cars](https://www.eenewseurope.com/en/nvidia-drives-ada-and-spark-into-driverless-cars/)**
>
> AdaCore and Nvidia have developed an open source reference flow for the Ada and SPARK formal languages in driverless cars.

Here is a paragraph from the article:

“Adopting a new programming language involves deploying a new environment, training teams to a new formalism, adapting programming patterns and many other issues. However, from a process standpoint, programming languages are vastly interchangeable, but Ada and SPARK is a different story.”