AdaCore與英偉達(dá)達(dá)成合作進(jìn)軍汽車(chē)ISO-26262市場(chǎng)

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

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

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

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

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