Simulink Design Verifier は、形式的手法を用いて、モデルの潜在的な設計エラーを特定します。また、整数オーバーフロー、デッドロジック、配列アクセス違反、ゼロ除算を引き起こすモデルのブロックを検出します。設計が機能要件を満たしていることを形式的に検証できます。設計エラーや要件違反に対しては、デバッグ用のシミュレーション テストケースを生成します。

Simulink Design Verifier は、モデルカバレッジとカスタム オブジェクティブ用のテストケースを生成することで、既存の要件ベースのテストケースを拡張します。これらのテスト ケースにより、モデルは条件、判定、改良条件判定 (MCDC) およびカスタムのカバレッジ オブジェクティブを達成できます。カバレッジ オブジェクティブに加えて、カスタムのテスト オブジェクティブを指定して、要件ベースのテストケースを自動生成できます。

IEC Certification Kit (for ISO 26262 and IEC 61508) および DO Qualification Kit (for DO-178 and DO-254) を通じて、業界標準のサポートが可能です。