ada 文章 進入ada技術(shù)社區(qū)
Nvidia將Ada和SPARK引入無人駕駛汽車
- AdaCore 和 Nvidia 為安全關(guān)鍵型汽車軟件中的 Ada 和 SPARK 編程語言開發(fā)了開源參考流程,特別是對于無人駕駛汽車。該流程支持在 Nvidia DriveOS作系統(tǒng)之上更快地開發(fā) ISO26262 軟件。Nvidia 使用 SPARK 開發(fā)了具有 7m 行代碼的 DriveOS,以及基于其 DRIVE AGX 的硬件上的應(yīng)用程序的認證流程。AGX-Orin 芯片基于 Ampere GPU 架構(gòu)和 ARM Cortex A78AE 內(nèi)核,被沃爾沃、梅賽德斯-奔馳、捷豹路虎、通用汽車、極氪
- 關(guān)鍵字: Nvidia Ada SPARK引入無人駕駛汽車
共4條 1/1 1 |
ada介紹
Ada是一種表現(xiàn)能力很強的通用程序設(shè)計語言,它是美國國防部為克服軟件開發(fā)危機,耗費巨資,歷時近20年研制成功的。它被譽為第四代計算機語言的成功代表。與其他流行的程序設(shè)計語言不同,它不僅體現(xiàn)了許多現(xiàn)代軟件的開發(fā)原理,而且將這些原理付諸實現(xiàn)。因此,Ada語言的使用可大大改善軟件系統(tǒng)的 清晰性, 可靠性, 有效性, 可維護性。
[ 查看詳細 ]
相關(guān)主題
關(guān)于我們 -
廣告服務(wù) -
企業(yè)會員服務(wù) -
網(wǎng)站地圖 -
聯(lián)系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權(quán)所有 北京東曉國際技術(shù)信息咨詢有限公司
京ICP備12027778號-2 北京市公安局備案:1101082052 京公網(wǎng)安備11010802012473
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權(quán)所有 北京東曉國際技術(shù)信息咨詢有限公司
