検査用ソフトウェア Simulink Code Inspector™

SimulinkコードInspector™は源モデルと自動的にDO-178および他の高品質の標準のコード検討の目的を満たすために発生させたコードを比較する。 コード検査官は組織的にモデルのブロック、状態図、操作へ構造的に等量、発生させたコードのオペレータおよびデータであるかどうか定めるために変数および設定を検査する。 Simulinkコード検査官は詳しいモデルにコードおよびコードにモデルトレーサビリティの分析を提供する。 それは構造同値を発生させ、証明の目的にソフトウェアを記述するDO-178を満たすために証明の権限に堤出できることをトレーサビリティは報告する。