Qt 集團宣布推出 Axivion for CUDA，該工具已加入英偉達 Halos AI 系統(tǒng)檢測實驗室，用于機器人與自動駕駛車輛的自動化安全檢測。

適用于英偉達 CUDA 的 Qt 集團安全軟件工具

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

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

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

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

Halos 是面向實體人工智能的全棧式綜合安全系統(tǒng)，包含硬件、軟件組件、工具、模型以及設計原則，用于支持基于人工智能的自動駕駛與機器人端到端技術棧。

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

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

開發(fā)人員無需再手動對照安全規(guī)則驗證 GPU 代碼。