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

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

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

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

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