Ada 和 SPARK 與 NVIDIA 進入汽車 ISO-26262 市場。

高完整性軟件工具領域的專家 AdaCore，很高興宣布將 Ada 和 SPARK 編程語言引入汽車市場。與合作伙伴 NVIDIA 一起，他們即將發布一套現成的參考流程，讓其他人可以效仿。

NVIDIA 開發了 Drive? OS，這是專為在 DRIVE AGX 硬件上開發和部署自動駕駛車輛應用而設計的參考操作系統和相關軟件棧。

該系統包括符合汽車認證標準 ISO-26262 最高完整性級別的軟件組件。為了實現這一目標，NVIDIA 選擇了這些語言來開發其軟件棧中一些最關鍵的部分。這需要建立一種開發流程，利用 Ada 和 SPARK 的形式方法和其他安全特性，從而充分發揮它們的能力。

AdaCore 和 NVIDIA 決定將此參考流程免費發布為一份開源且不斷發展的文檔，允許整個行業采用 Ada 和 SPARK。

“隨著汽車工業的附加值越來越多地從機械功能轉向軟件功能，在汽車開發中實現最高級別的軟件安全已成為現代汽車開發中最關鍵挑戰之一，”AdaCore 首席產品與營收官 Quentin Ochem 表示。“NVIDIA 通過將其開發流程引入 Ada 和 SPARK，并允許社區其他成員跟隨其步伐，在領域內展現了真正卓越的技術領導力。”