AXIVION MISRA CHECKER

ルールカバレッジ：信頼できるMISRAツールは、自動テスト可能なMISRAルールを100%カバーしている必要があります。一部のルールだけを選んでカバーするようなツールでは不十分です。カバレッジの不足は監査の段階になって初めて発覚することが多く、これはまさに最悪のタイミングと言えます。

最新規格への対応。 MISRAは常に進化しています。AI生成コードに関する明示的な要件を含むMISRA C:2025など、旧バージョンだけでなく最新のエディションにツールが対応しているかを確認してください。

逸脱（デビエーション）管理。ツールは、独立した監査人が受け入れられる形式で、各逸脱を文書化し、正当性を示し、追跡できなければなりません。

CI/CD統合とデルタ解析。コミットのたびに大規模なレガシーコードベース全体をフルスキャンするのは現実的ではありません。新たに追加された違反のみを検出するデルタ解析は、大規模な環境でコンプライアンスを管理可能な状態に保つために不可欠です。

サードパーティによるツール認証は、プロジェクトがISO 26262、IEC 61508、IEC 62304、EN 50716のいずれかに準拠する必要がある場合に求められます。

QtのAxivion Suiteは、これらすべての要件を満たしており、SGS-TÜV SaarによりASIL D、SIL 4、Class Cまで認証を取得しています。

Axivionはワークフローへの統合性に優れており、デルタ解析、CI/CDネイティブな運用、体系的な逸脱管理、そして監査対応レポートの自動生成（AUTOSAR C++14、CERT、CWEへの対応も含む）を、別のツールチェーンを用意することなく一括で実現します。

MISRAの完全なカバレッジ、第三者機関による認証、そしてコンプライアンス対応の負担の少なさを基準とするなら、Axivion Suiteが基準となる存在です。

多くのMISRA静的解析ツールは、実用上問題のないレベルでルールの一部をカバーしています。しかし実務上重要になるのは、カバレッジの網羅性、認証の有無、そして実際の開発ワークフローへの適合度です。

Axivion SCAは、MISRA C:2025やMISRA C++:2023を含むすべての最新規格エディションにおいて、自動テスト可能なMISRA CおよびC++のルールを100%カバーしており、SGS-TÜV SaarによりASIL D、SIL 4、IEC 62304 Class Cまで認証を取得しています。

競合する多くのツールは旧エディションのみの認証にとどまっていたり、個別のツール適格性確認作業が別途必要であり、プロジェクトに大きな負担をかけることがあります。

はい、Axivion MISRAチェッカーはAI生成コードにも対応しています。本チェッカーは、コードがどのように作成されたかにかかわらず、プロジェクト内のすべてのCおよびC++コードを解析します。MISRA C:2025では、AI生成コードも手書きのコードと同じコンプライアンス基準を満たす必要があると明記されており、Axivionは実行のたびにコードベース全体でこの基準を一貫して適用します。

ISO 26262への準拠には、対象とするASILレベル（A～D）に応じた機能安全ライフサイクル全体への対応が必要です。
主な柱は次のとおりです： 
コーディング規約： コーディング規約としてMISRA C/C++を採用します。 
静的解析：AxivionはISO 26262のASIL DまでSGS-TÜV Saarの認証を取得しており、MISRA、AUTOSAR C++14、CERT、CWEへの対応を一括でカバーします。 
動的解析：当社のツールCocoは、ISO 26262のASIL Dまでの安全関連ソフトウェアの検証について、SGS-TÜV Saarの認証を取得しています。認証書を見る 
コードカバレッジ：  ISO 26262では、ASIL-Dに対してブランチカバレッジまたはMC/DC が強く推奨されています（ISO 26262-6 表９）。当社のツールCocoは両方に対応しています。
要求トレーサビリティ： コード、安全要求、テストケースの間で双方向のトレーサビリティを維持します。 
検証と妥当性確認： ユニットテスト、統合テスト、システムテスト、HILテストを一通り実施します。Cocoはあらゆるテスト段階・あらゆるテスト手法で使用でき、Axivionは静的解析の部分をカバーします。 
ツール適格性確認： Axivionのツール認定キット（ISO 26262、IEC 61508、IEC 62304対応）を使用して、ツールチェーンの適格性を確認します。 
ドキュメント： 実行のたびに、監査対応可能な包括的なコンプライアンスレポートを自動生成します。

CおよびC++向けのMISRAガイドラインは、未定義動作やあいまいな記述、エラーを招きやすい言語構文を排除します。医療機器ソフトウェアにおいて、これは次のことを意味します：患者の安全を守るための安全なプログラミングサブセットの徹底、IEC 62304（ひいてはFDAやEU MDRの要件）への適合、サイバーセキュリティにおける攻撃対象領域の縮小、そして機器の長いライフサイクルを通じてクリーンで保守しやすいコードを維持することです。 

コンプライアンスは自動化された静的解析によって担保されます。Axivion MISRAコンプライアンスチェッカーは自動テスト可能なルールを100%カバーしており、IEC 62304のClass CまでSGS-TÜV Saarの認証を取得しています。逸脱（デビエーション）は、構造化された監査対応プロセスを通じて文書化されます。MISRA C:2025以降、AI生成コードも例外なく手書きのコードと同じコンプライアンス基準を満たす必要があります。

各逸脱については、該当するルールを正確に記録し、例外とする理由（ハードウェア制約、レガシーコード、コンパイラの制限など）を明示し、安全性が維持されていることを確認するリスクアセスメントを含め、適用範囲（グローバルかローカルか）を定義したうえで、権限を持つ担当者による正式な承認を得る必要があります。

Axivionでは、逸脱をインラインで管理することも、一元化された外部ファイルで管理することもでき、いずれの場合も追跡可能で、コンプライアンスレポートに自動的に反映され、監査にも対応できます。最終的なプロジェクトドキュメントには、逸脱したルール、その理由、リスクアセスメント、承認記録というす41つの証跡を示す必要があります。

MISRA C:2025は、大幅な改訂ではなく、段階的な改良版です。ポインタの扱い、union（共用体）へのアクセス、インクルードガード、仆定義（テンタティブ定義）に関する安全性を強化すも4つの新ルールが追加されました。また、既存の13のルールが、より明確で実用的な内容になるよう改訂されています。さらに、長年続いてきた「単一出口」ルールが正式に適用除外となったほか、重要な点として、AI生成コードも手書きのコードと同じルールに準拠しなければならないことが明記されました。詳細な解説は当社のブログをご覧ください。

もちろん可能です。Axivionは既存のCI/CDパイプラインに統合し、継続的なクオリティゲートとして機能するよう設計されています。デルタ解析により、実行のたびにレガシーコードベース全体を再検証するのではなく、新たに検出された違反のみに注目できるため、大規模なプロジェクトでもビルド時間を現実的な範囲に抑えることができます。

MISRA Cチェッカー／MISRA C++チェッカーは、Axivion Suite（Architecture Verificationとのバンドル製品）に含まれる機能ですが、単体でも購入可能なAxivion Static Code Analysisツールの一部としても提供されています。チームやプロジェクトの要件に応じたライセンスオプションについては、お問い合わせください。

はい、MISRAは2026年9月上旬に、MISRA C++:2023のTechnical Corrigenda 1（TC1:2026）アップデートを公開しました。このアップデートは新しいガイドラインを追加するものではなく、MISRA C++:2023と完全に同等の内容ですが、用語の表現から細かなエッジケースに至るまで、さまざまな修正が含まれています。詳細はAxivionのブログ、またはこちらをご覧ください。