Skip to main content
Subnavigation

Misra_transparent_BG (1)


MISRA Checker

最高レベルの安全要件に対応した安全システムにおいて、MISRA C:2004、MISRA C:2012、MISRA C:2019、MISRA C:2023、およびMISRA C++:2008、MISRA C++:2023に基づくコンプライアンスの達成

お問い合わせ

MISRAコーディングガイドラインに準拠し、安全性の高いソフトウェアを開発

クリティカルシステムにおけるCおよびC++言語の利用に関するさまざまなMISRAガイドラインは、MISRAコンソーシアムによって開発されました。MISRAとは、Motor Industry Software Reliability Association(自動車産業ソフトウェア信頼性協会)の略です。

MISRA標準規格の焦点は、ISO 26262の範囲内での自動車環境における安全で信頼性の高いソフトウェアの開発にあります。MISRAの基準には、組み込み制御ソフトウェアの開発において機能安全性が関わる場合も含まれ、それは定期的に求められます。MISRAのガイドラインを適用することで、サプライチェーン全体でコードの品質が一貫して管理されます。

Axivion SuiteのMISRAチェックは、MISRA C:2004、MISRA C:2012、MISRA C:2019、MISRA C:2023、およびMISRA C++:2008とMISRA C++:2023の自動テスト可能なルールをすべて対象としています。さらに、MISRA C++:2023の規則のほとんども含まれております。

認証取得

Axivion Suiteは、SGS-TÜV Saarによって認定され、各規格に含まれる最高レベルの安全要件に対応した安全システムの開発に適していることを証明されました:ISO 26262はASIL Dまで、IEC 61508はSIL 4まで、IEC 62304はクラスCまでです。

Axivion_TUVcertificate7.5_291x210px

シンプルなプロセスでMISRAコンプライアンスを達成

Axivion Suiteは、安全性の品質管理のための基盤を提供します。

Misra_check_BG (1)
  • カスタマイズ可能なルールおよびルールグループの深刻度分類により、作業の優先順位を設定し、MISRAに準拠した方法でルールを分類できます。MISRAのルールは、「必須」、「必要」、「推奨」に分類されています。MISRAの準拠を遵守するには、「必須」と分類されたルールに違反することは許されません。一方で「必要」と分類されたルールについては、正当な理由を示せば一定の逸脱が認められます。この逸脱に関するプロセスについては、MISRAが文書で提供しています。

  • コード内または外部ファイルで正当な理由を示すことにより、MISRAルールからの逸脱を規格に則った形で構造的かつ体系的に処理できます。MISRAの正当な理由と許可は直接指定できます。

  • 異なる間隔で開発の進捗を観察し、評価することができます。さらに、この差分分析「新たな問題を作り込まない」といった目標の達成を明確にします。

  • コードのMISRAコンプライアンスに関するレポートを自動生成できるため、文書作成が容易になります。

Axivion 無料デモ

 

お問い合わせ

Axivion Suite について

 

詳しく読む

ブログ

 

ニーズに合った記事をお読みください。