日本无码免费高清在线|成人日本在线观看高清|A级片免费视频操逼欧美|全裸美女搞黄色大片网站|免费成人a片视频|久久无码福利成人激情久久|国产视频一二国产在线v|av女主播在线观看|五月激情影音先锋|亚洲一区天堂av

  • 手機(jī)站
  • 小程序

    汽車(chē)測(cè)試網(wǎng)

  • 公眾號(hào)

    • 汽車(chē)測(cè)試網(wǎng)

    • 在線課堂

    • 電車(chē)測(cè)試

為實(shí)現(xiàn)美好愿景而努力：NVIDIA攜手AdaCore共筑安全自動(dòng)駕駛的未來(lái)

2019-02-22 20:18:18·  來(lái)源：英偉達(dá)NVIDIA  
　
軟件定義了我們的出行。從移動(dòng)應(yīng)用程序和實(shí)時(shí)地圖，到越來(lái)越自動(dòng)化的車(chē)輛，一行行的代碼已經(jīng)成為了世界交通的基礎(chǔ)。隨著軟件變得越來(lái)越復(fù)雜，出現(xiàn)人為錯(cuò)誤的可能

軟件定義了我們的出行。從移動(dòng)應(yīng)用程序和實(shí)時(shí)地圖，到越來(lái)越自動(dòng)化的車(chē)輛，一行行的代碼已經(jīng)成為了世界交通的基礎(chǔ)。

隨著軟件變得越來(lái)越復(fù)雜，出現(xiàn)人為錯(cuò)誤的可能性也越來(lái)越大，從而會(huì)帶來(lái)更多的安全風(fēng)險(xiǎn)。

為了保證這款至關(guān)重要的軟件是安全的，NVIDIA正與AdaCore合作，AdaCore是安全和安保關(guān)鍵軟件的開(kāi)發(fā)和驗(yàn)證工具供應(yīng)商。通過(guò)將Ada和SPARK編程語(yǔ)言應(yīng)用到某些固件元素中，我們可以減少人為錯(cuò)誤的可能性。

這兩種語(yǔ)言的設(shè)計(jì)都考慮到了可靠性、穩(wěn)健性和安全性。將它們用于編程可以為驗(yàn)證代碼錯(cuò)誤和漏洞的過(guò)程提升效率。

咨詢公司VDC Research的一項(xiàng)研究顯示，對(duì)于航空航天和汽車(chē)等擁有強(qiáng)大安全、可靠性和安全標(biāo)準(zhǔn)的行業(yè)，這些好處可以轉(zhuǎn)化為通過(guò)增強(qiáng)軟件驗(yàn)證節(jié)省近40%的成本和時(shí)間。

盡早發(fā)現(xiàn)缺陷

Ada具有多種內(nèi)置功能，可以在軟件生命周期的早期檢測(cè)代碼缺陷。這些措施減少了人為錯(cuò)誤的可能性，并減少了開(kāi)發(fā)后額外的測(cè)試和同行審查周期的需要。

SPARK是Ada的一個(gè)子集，它能夠在數(shù)學(xué)上證明用該語(yǔ)言編寫(xiě)的代碼是否沒(méi)有錯(cuò)誤。該證明能夠定義軟件應(yīng)用程序的行為方式。它還可以確定執(zhí)行是否符合該定義，發(fā)現(xiàn)一些通過(guò)其他方式?jīng)]有檢測(cè)到的錯(cuò)誤或漏洞。

通過(guò)將這些語(yǔ)言集成到NVIDIA硬件中，最大限度地降低了軟件發(fā)生故障或被利用的可能性。這種驗(yàn)證過(guò)程可以在開(kāi)發(fā)周期中更快、更敏捷地進(jìn)行，從而減少浪費(fèi)。

軟件定義的安全性

將Ada和SPARK語(yǔ)言納入NVIDIA的平臺(tái)等措施，可以幫助提高汽車(chē)安全的穩(wěn)健性，尤其是在汽車(chē)越來(lái)越自動(dòng)化的情況下。

該軟件必須與其運(yùn)行的硬件具有一樣的功能安全標(biāo)準(zhǔn)，并經(jīng)過(guò)同樣嚴(yán)格標(biāo)準(zhǔn)的安全專(zhuān)家評(píng)估。有了語(yǔ)言執(zhí)行驗(yàn)證, 就可以進(jìn)入開(kāi)發(fā)過(guò)程并創(chuàng)建一個(gè)平滑的審查周期了。

NVIDIA軟件安全副總裁 Daniel Rohrer 說(shuō)： “自動(dòng)駕駛汽車(chē)很復(fù)雜，需要軟件的復(fù)雜程度超過(guò)了目前最嚴(yán)格的標(biāo)準(zhǔn)。Ada和SPARK為解決生態(tài)系統(tǒng)的關(guān)鍵需求帶來(lái)了令人興奮的可能性。” 
分享到：
 
反對(duì) 0 舉報(bào) 0 收藏 0 評(píng)論 0
滬ICP備11026917號(hào)-25