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