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

NVIDIA 開發(fā)了 Drive? OS，這是專為在 DRIVE AGX 硬件上開發(fā)和部署自動駕駛車輛應(yīng)用而設(shè)計的參考操作系統(tǒng)和相關(guān)軟件棧。

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

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

“隨著汽車工業(yè)的附加值越來越多地從機(jī)械功能轉(zhuǎn)向軟件功能，在汽車開發(fā)中實(shí)現(xiàn)最高級別的軟件安全已成為現(xiàn)代汽車開發(fā)中最關(guān)鍵挑戰(zhàn)之一，”AdaCore 首席產(chǎn)品與營收官 Quentin Ochem 表示?！癗VIDIA 通過將其開發(fā)流程引入 Ada 和 SPARK，并允許社區(qū)其他成員跟隨其步伐，在領(lǐng)域內(nèi)展現(xiàn)了真正卓越的技術(shù)領(lǐng)導(dǎo)力?！?/p>