adacore 文章 最新資訊

Ada 和 SPARK 與 NVIDIA 進入汽車 ISO-26262 市場。

• 高完整性軟件工具領(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)包括符合汽車認證標(biāo)準(zhǔn) ISO-26262 最高完整性級別的軟件組件。為了實現(xiàn)這一目標(biāo)，NVIDIA 選擇了這些語言來開發(fā)其軟件棧中一些最關(guān)鍵的部分。這需要建立一種開發(fā)流
• 關(guān)鍵字： AdaCore  英偉達  汽車電子