Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Nvidia drives Ada and SPARK into driverless cars (eenewseurope.com)
5 points by DragonSpiritWTP 40 days ago | hide | past | favorite | 2 comments



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




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: