Detect Design Errors in a Model

Design error detection analysis determines the conditions that cause errors that you find using Simulink^® Design Verifier™. Design error detection analysis also computes a range of signal values that can occur for block outports and Stateflow^® local data in your model.

To analyze your model for design errors:

1. Verify that your model is compatible with Simulink Design Verifier software. Specify model settings that control how Simulink Design Verifier detects design errors in your model.

2. Use Defect Checker to detect common design errors in your model.

3. Perform design error detection analysis for selected errors.

4. After the analysis, review the results.

   • Click individual blocks to view the analysis results for that block.

   • Create a harness model containing test cases that demonstrate the errors.

   • Create an analysis report that contains detailed results for the entire model.

5. Fix the design errors identified during the analysis.

Example Model

This tutorial uses a controller model sldvexDetectDesignErrorsExample that has three sensor inputs: SensorA, SensorB, and SensorC. In this tutorial, you perform design error detection analysis for integer overflow and division-by-zero errors in the model.

Simulink Design Verifier identifies the model constructs that can result in integer overflows and then either proves that the integer overflow cannot occur during simulation or generates test cases that demonstrate the integer overflow error. The controller algorithm generates output based on the values of SensorA and SensorB:

The model sldvexDetectDesignErrorsExample incorporates this algorithm using Simulink blocks.

In this tutorial, you will learn how to:

1. Prepare the model for design error detection analysis and check model compatibility.

2. Use Defect Checker to detect defects in your model.

3. Perform design error detection analysis on the model.

4. View the results by clicking on highlighted model components, or by creating a harness or analysis report.

5. Fix the identified design errors.

To get started with this tutorial, see Prepare Model for Design Error Detection Analysis.