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