Nvidia drives Ada and SPARK into driverless cars

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!

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.”

Also see

Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com)

112 points | by gneuromante | 3 days ago | 108 comments

https://news.ycombinator.com/item?id=44184861