アビオニクス — 安全重視
CppDependによるアビオニクスソフトウェアのDO-178Cコンプライアンス
CppDependがアビオニクスチームのDO-178C目標達成をどのように支援するか：構造的コード解析、設計規格の適用、トレーサビリティ、DAL A〜E検証証拠。
DO-178C （航空機システムおよび機器認証におけるソフトウェアの考慮事項）は、商用アビオニクスソフトウェアの主要規格です。故障の重大度に基づいて設計保証レベル（DAL A〜E）を割り当て、計画、開発、検証、構成管理の目標を定義します。最高レベルでは、認証当局はソースコードの静的解析を含む厳格なツール支援検証を期待します。
静的解析に関連するDO-178C目標
- コーディング規格への準拠： 低レベル要件は強制されたコーディング規格の下で実装される必要があります（多くのプログラムはMISRA CまたはJSF由来のルールを使用）。
- ソースコードの正確性と一貫性： 低レベル要件とコードの検証可能な対応関係。
- 堅牢性： 到達不能コード、データフロー異常、レビュー可能な閾値を超える複雑度の検出。
- トレーサビリティ： すべての解析結果は再現可能で検証記録にリンクされている必要があります。
CppDependがDO-178Cプログラムをサポートする方法
- コーディング規格の適用： 組み込みMISRA C/C++ルールとカスタムCQLinqルールで、プログラム固有のコーディング規格とJSF++スタイルの制約を形式化します。
- アーキテクチャ制御： ソフトウェアのパーティショニングとコンポーネント間依存関係が設計と一致するかを検証 — 依存関係サイクルは自動的にフラグ付けされます。
- レビュー用メトリクス： 循環的複雑度、結合度、凝集度のメトリクスをSOI監査および関与段階レビュー用にエクスポート。
- 決定論的で再現可能な解析： 同じ入力、同じ結果 — 認証証拠の鍵。
- CI統合： 開発者がローカルで実行するのと同じチェックを認証済みビルドパイプライン内で実行します。
関連業界と事例
関連コーディング規格
CppDependがコードベースで何を明らかにするかをご覧ください
独自のプロジェクトで解析を実行：コーディング規格、アーキテクチャ検証、技術的負債、品質ゲート — 数分で。