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

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

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

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

AdaCore首席產(chǎn)品和營收官Q(mào)uentin Ochem表示:“隨著汽車行業(yè)的附加值越來越多地從機械特性轉(zhuǎn)向軟件特性，實現(xiàn)最高水平的軟件安全性已成為現(xiàn)代汽車開發(fā)中最關鍵的挑戰(zhàn)之一。NVIDIA將Ada和SPARK引入其開發(fā)流程，并讓社區(qū)其他成員能夠效仿，展現(xiàn)了其在該領域真正卓越的技術領導力?！?/p>

免責聲明：此文內(nèi)容為本網(wǎng)站轉(zhuǎn)載企業(yè)宣傳資訊，僅代表作者個人觀點，與本網(wǎng)無關。僅供讀者參考，并請自行核實相關內(nèi)容。