デザインソフトウェア Simulink Design Verifier™

診断用検査

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) によって対応しています。