機能安全 — 産業
CppDependによる産業ソフトウェアのIEC 61508機能安全
CppDependが産業・エネルギーチームのIEC 61508適合をどのように支援するか：SIL評価静的解析、コーディングルール、アーキテクチャ制御、安全関連システムの検証証拠。
IEC 61508 は、電気・電子・プログラマブル電子安全関連システムの包括的な機能安全規格です。エネルギー、プロセス産業、鉄道、機械のセクター規格の基盤となり、安全度水準（SIL 1〜4）を定義します。ソフトウェアについて、IEC 61508-3は静的解析、コーディング規格、防御的プログラミングを推奨しており、SILに応じて厳格さが増します。
IEC 61508-3ソフトウェア要件
- コーディング規格とサブセット： 実証された適用を伴う、より安全な言語サブセット（例：MISRA C）の使用。
- 静的解析： 検証の一環としての欠陥、到達不能コード、データフロー異常の検出。
- モジュール性と限定的な複雑度： SILに適した制限されたモジュールサイズと複雑度。
- 変更影響分析： 安全ライフサイクル全体にわたる変更の客観的評価。
CppDependがIEC 61508プロジェクトをサポートする方法
- 組み込みMISRA/CERTルールセット コーディング規格の柱として、さらにプロジェクト固有の制約のためのカスタムCQLinqルール。
- 複雑度バジェット： SIL目標に沿った関数ごと・モジュールごとの複雑度閾値を適用します。
- アーキテクチャ検証： 安全関連と非安全関連のソフトウェアコンポーネント間の分離を証明します。
- 影響分析： ベースライン差分は、2つの検証サイクル間で何が変わったかを正確に示します。
- CIの品質ゲート： 安全関連コードベースのすべてのビルドでリグレッションを自動的にブロックします。
関連業界と事例
関連コーディング規格
CppDependがコードベースで何を明らかにするかをご覧ください
独自のプロジェクトで解析を実行：コーディング規格、アーキテクチャ検証、技術的負債、品質ゲート — 数分で。