Qt GroupがReynolds & Moore Safety Partner Ecosystem に参加——Physical AI の検証済み基盤を構築へ

検証能力を超えて複雑さが 増大するとき

セーフティクリティカルな開発において、コードの欠陥はリスクの半分にすぎません。もう半分はアーキテクチャに起因するものです。システムは近道や積み重なった変更によって意図した設計から乖離していき、その発見が遅れるほど修正コストは増大します。同時に、現代のシステムはハイブリッド化が進んでおり、決定論的なソフトウェアの上に AI 駆動の非決定論的な動作が加わっています。この両者の検証には異なる専門知識が必要であり、多くの組織は別々に調達せざるを得ないのが現状です。

このパートナーシップは、その両方を一つにまとめて提供します。

Qt Group が提供するもの： 決定論的レイヤーの 検証

コードレベルでは、 Axivion 静的コード解析 が C、C++、CUDA コードを MISRA、AUTOSAR C++14、CERT、CWE、 NVIDIA の CUDA C++ セーフティガイドライン、およびカスタムルールに対して自動的にチェックします。ISO 26262 ASIL D、IEC 61508 SIL 4、IEC 62304 Class C までの安全関連開発において SGS-TÜV Saar の認証 を取得しており、お使いの安全ツールチェーンにツールを認定するためのツール認定キットも提供しています。

アーキテクチャレベルでは、 Axivion アーキテクチャ検証 が設計そのものを保護します。設計は安全境界を定義し、認証の根拠を支える重要な資産です。チームが構築したものが設計と一致し続けているかを継続的に確認します。 逸脱は CI/CD 品質ゲーティングの一環として検出されます。わずかな修正で対応できる段階で問題が明らかになるため、共有コードベースに紛れ込んで再設計・再認証が必要になる遅延やコスト増大を防ぎます。 既存の大規模コードベースでは、現状の検出結果をベースラインとして設定することで、 新たな逸脱のみを報告対象にすることができます。

Reynolds & Moore が提供するもの： AI と自律システムへの 安全性保証

Reynolds & Moore は、コード品質ツールを補完する存在として、システムレベルの機能安全エンジニアリングを提供します。提供内容には、AI やその他の非決定論的な振る舞いを含むシステムに対する、ハザード・リスク分析、安全アーキテクチャの設計、検証および妥当性確認（V&V）、セーフティケース作成支援が含まれます。

このパートナーシップがセーフティクリティカルなプロジェクトにもたらす3つの原則

• 一貫した統合アプローチ：スコープが整合されたパートナーによる、コード品質、アーキテクチャの整合性、AI 安全性保証を一括提供。ツールベンダーと機能安全コンサルタントの間にギャップはありません。
• セーフティケースに 直結する エビデンス：Axivion の コンプライアンスレポートと逸脱検出結果は、R&M が策定するセーフティケースに直接組み込まれる客観的なエビデンスです。
• 問題の 早期発見：開発者の手元で検出できた違反は、認証・評価段階で見つかる場合に比べて、はるかに低いコストで対処できます。このパートナーシップにより、システム全体を通じて問題の早期発見を実現します。