静的解析ツールにCUDAの安全ガイドライン準拠を自動で確認できる機能を追加:人工知能ニュース
Qt Groupは、NVIDIAの「CUDA C++ガイドライン」準拠を自動で確認できる新機能を静的解析ツール「Axivion 7.11」に追加した。GPUやAIを利用する産業向けアプリの開発において、安全性と信頼性の確保を支援する。
Qt Groupは2025年11月18日(現地時間)、NVIDIAの「CUDA」を用いて開発したソフトウェアが安全性ルールに適合しているかを自動検証できる新機能を発表した。
同機能は静的解析ツール「Axivion 7.11」に搭載されており、自動運転車や医療機器、ロボットなど、安全性が重視される分野でのアプリケーション開発を支援する。
NVIDIAのCUDAはAI(人工知能)やディープラーニング、3Dグラフィックス処理に広く利用される基盤ソフトウェアである。NVIDIAはこのほど、CUDAを利用するソフトウェアの安全性および堅牢性向上のため「CUDA C++ガイドライン」を公開した。Axivionは前バージョンのバージョン7.10でCUDAへの対応が追加されたが、最新バージョンの7.11では同ガイドラインに基づく自動チェックが可能になった。
Axivion 7.11では、CUDAコードに対してCUDA C++ガイドラインの他、MISRAやCERT、企業が独自に設けたガイドラインなど業界標準の安全、セキュリティルールに基づいた自動検証を行えるようになった。
また、コードの重複やデッドコード、依存関係における危険性などを早い段階で検出。ISO 26262、IEC 62304/61508といった機能安全規格を満たすことを保証し、規制が適用される環境での利用を可能にする。
今回の機能追加によって、安全性が求められるGPUおよびAI活用アプリケーションの開発を効率化できる。Qt Groupは今後、メモリの安全性チェックやデータフロー解析などの強化を予定している。
Copyright © ITmedia, Inc. All Rights Reserved.
関連記事
Qtが静的解析とアーキテクチャ解析をスイートで提供、ソフトウェアテストを強化
Qt Groupは、「第27回 組込み/エッジ コンピューティング展(ESEC)【春】」において、静的解析/アーキテクチャ検証ツール「Axivion Suite」を紹介した。
バッテリーEVのデジタルコックピットに採用されたHMI開発フレームワーク
Qt Groupの「Qtフレームワーク」が、スズキのバッテリーEVモデル「e VITARA」のデジタルコックピットに採用された。これにより、e VITARAは直感的で応答性の高いHMI体験をユーザーに提供可能になる。
自動運転とSDVの時代に向けて、日本の自動車業界は何をすべきか
Qt Groupとデジタルハリウッド大学大学院は、「自動運転・無人運転時代における次世代ユーザー体験の実現に向けて ソフトウェアデファインド・ビークル時代のソフトウェア開発と人材育成の新たな展開〜」と題した合同パネルディスカッションを開催した。
Qtの最新版「Qt 6.8」がリリース、長期サポートの期間を3年から5年に延長
Qt GroupがUI開発フレームワーク「Qt」の最新バージョン「Qt 6.8」を発表。今回のバージョンアップのハイライトについて、来日した同社 製品担当シニアバイスプレジデントのユハペッカ・ニエミ氏に聞いた。
多画面化が進む自動車コックピット、Qt GroupがHMI開発の効率化を提案
Qt Groupは、「人とくるまのテクノロジー展 2024 YOKOHAMA」において、大型ディスプレイの採用が進む自動車コックピットの各画面を同社のUI開発プラットフォーム「Qt」で開発/管理できることを紹介した。
ドゥカティのハイエンド二輪車向け次世代デジタルディスプレイの開発で提携
Qt Groupは、ハイエンド二輪車に搭載する次世代デジタルディスプレイの開発をサポートするため、二輪車メーカーのドゥカティとの連携を発表した。