AdaCore與英偉達達成合作進軍汽車ISO-26262市場

蓋世汽車訊 6月2日，高度集成的軟件工具專家AdaCore宣布將Ada和SPARK編程語言引入汽車市場。AdaCore將與合作伙伴英偉達攜手發布現成的參考流程，供其他公司效仿。

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

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

AdaCore和NVIDIA決定將此參考流程以開源且不斷發展的文檔形式免費發布，以便整個行業都能采用Ada和SPARK。

AdaCore首席產品和營收官Quentin Ochem表示:“隨著汽車行業的附加值越來越多地從機械特性轉向軟件特性，實現最高水平的軟件安全性已成為現代汽車開發中最關鍵的挑戰之一。NVIDIA將Ada和SPARK引入其開發流程，并讓社區其他成員能夠效仿，展現了其在該領域真正卓越的技術領導力。”