Qt 集團(tuán)宣布推出 Axivion for CUDA，該工具已加入英偉達(dá) Halos AI 系統(tǒng)檢測(cè)實(shí)驗(yàn)室，用于機(jī)器人與自動(dòng)駕駛車輛的自動(dòng)化安全檢測(cè)。

適用于英偉達(dá) CUDA 的 Qt 集團(tuán)安全軟件工具

該工具依據(jù)英偉達(dá)規(guī)范與行業(yè)標(biāo)準(zhǔn)，對(duì) GPU/CPU 代碼提供持續(xù)分析，并生成 Halos 審核驗(yàn)收所需的文檔。

Qt 集團(tuán)表示，該工具還能提前發(fā)現(xiàn)問(wèn)題，從而減少重新設(shè)計(jì)、加快產(chǎn)品上市速度，并降低召回風(fēng)險(xiǎn) —— 召回事件會(huì)對(duì)企業(yè)造成經(jīng)濟(jì)與聲譽(yù)雙重?fù)p失。

這家芬蘭企業(yè)是英偉達(dá)檢測(cè)實(shí)驗(yàn)室的最新合作伙伴。該實(shí)驗(yàn)室獲得美國(guó)國(guó)家標(biāo)準(zhǔn)協(xié)會(huì)國(guó)家認(rèn)可委員會(huì)（ANAB） 認(rèn)證，將功能安全、網(wǎng)絡(luò)安全、人工智能與相關(guān)法規(guī)整合為統(tǒng)一的安全框架。

Axivion 工具可檢測(cè) GPU 軟件是否符合安全標(biāo)準(zhǔn)，據(jù)信它是目前唯一專門支持 CUDA C++ 擴(kuò)展的檢測(cè)工具。

Halos 是面向?qū)嶓w人工智能的全棧式綜合安全系統(tǒng)，包含硬件、軟件組件、工具、模型以及設(shè)計(jì)原則，用于支持基于人工智能的自動(dòng)駕駛與機(jī)器人端到端技術(shù)棧。

它能自動(dòng)為廠商與監(jiān)管機(jī)構(gòu)生成安全審核文檔，并在開(kāi)發(fā)初期就依據(jù)英偉達(dá)規(guī)范與行業(yè)安全標(biāo)準(zhǔn)，持續(xù)檢測(cè) GPU 與 CPU 代碼。

Qt 集團(tuán)稱，通過(guò)這種方式，無(wú)效代碼、不安全依賴或合規(guī)性缺口等問(wèn)題能被盡早發(fā)現(xiàn)，此時(shí)修復(fù)成本更低。

開(kāi)發(fā)人員無(wú)需再手動(dòng)對(duì)照安全規(guī)則驗(yàn)證 GPU 代碼。