CppDepend
機能安全 — 自動車

CppDependによる自動車C/C++のISO 26262コンプライアンス

CppDependが自動車チームのISO 26262目標達成をどのように支援するか:静的解析、MISRAコンプライアンス、アーキテクチャ制御、ASIL対応証拠、監査レポート。

CppDependが標準でサポートするもの。 CppDependには次の組み込みルールセットが付属: MISRA C/MISRA C++, CWE, CERT C/CERT C++ および AUTOSAR C++14 — 他の規格は含みません。この規格を含む他のすべての規格は、次を通じて適用されます: カスタムCQLinqルール チームが作成し(必要に応じて当社が支援)、さらにアーキテクチャ検証とCI品質ゲートを組み合わせます。

ISO 26262 は、車両の電気・電子システムの国際的な機能安全規格です。コンセプトから廃棄までの安全ライフサイクルを定義し、ソフトウェアを自動車安全度水準(ASIL A〜D)で分類します。CおよびC++で記述されたソフトウェアユニットについて、規格は静的コード解析、コーディングガイドライン(MISRA)、管理されたソフトウェアアーキテクチャを明示的に推奨しています。

ISO 26262がC/C++コードベースに期待すること

  • コーディングガイドラインの適用: ISO 26262パート6は言語サブセット制御にMISRA C/C++を推奨 — より高いASILは体系的適用の証明を要求します。
  • 静的解析: 欠陥、デッドコード、未初期化変数、複雑度は手動レビューだけでなくツールベースの解析で検出する必要があります。
  • アーキテクチャ制約: ソフトウェアコンポーネント間の干渉からの自由 — パーティショニングと管理されたインターフェース。
  • トレーサビリティと証拠: すべての要件には、監査人がレビューできる検証可能で再現可能な証拠が必要です。

CppDependがISO 26262ワークフローをサポートする方法

  • 組み込みMISRA C/C++ルールセット 重要度マッピング、ベースライン管理、正当化付き抑制を備え — パート6のコーディング規格の柱。
  • カスタムCQLinqルール プロジェクト固有の安全ルールをエンコードするために:禁止関数、再帰禁止、動的メモリ制限、命名およびレイヤリング規約。
  • アーキテクチャ検証: コンポーネントのパーティショニングを適用し、ASILとQMコード間の禁止された結合が車両に到達する前に検出します。
  • 技術的負債と品質ゲート: 違反、複雑度、カバレッジの閾値でCI時に安全でないコードをブロックします。
  • 監査対応レポート: 安全ケースドキュメントのニーズに沿った、エクスポート可能なタイムスタンプ付き解析レポート。

関連業界と事例

関連コーディング規格

MISRA C++ · AUTOSAR C++14 · IEC 61508 · ISO 21434

CppDependがコードベースで何を明らかにするかをご覧ください

独自のプロジェクトで解析を実行:コーディング規格、アーキテクチャ検証、技術的負債、品質ゲート — 数分で。