Simulink Code Inspector は、DO-178 やその他の高信頼性規格に対応したコードレビューの目標を達成するために、生成されたコードとソースモデルを自動的に比較します。モデルのブロック、状態図、パラメーター、および設定を体系的に検査し、それらが生成されたコードの演算、演算子、およびデータと機能的に等価であるかを判断します。

Simulink Code Inspector では、モデルからコード、およびコードからモデルへの詳細なトレーサビリティ解析を行います。機能的等価性およびトレーサビリティのレポートが生成され、DO-178 のソフトウェア コーディング検証の目標を達成するために認証機関に提出できます。また、モデルの互換性をチェックし、コードを検査するためのアプリが含まれています。コードの検査結果は、モデルや関連するコードに表示されます。

DO Qualification Kit (for DO-178) による業界標準のサポートが可能です。