4 ms·
Nvidia drives Ada and SPARK into driverless cars
- DragonSpiritWTP 1y agoThis 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.”
- WalterGR 1y agoAlso 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 https://news.ycombinator.com/item?id=44184861