Analyze Models for Design Errors

Workflow for Detecting Design Errors

To analyze your model for design errors, use the following workflow:

Verify that your model is compatible with Simulink^® Design Verifier™ software.
If you have Stateflow^® objects in your model, in the Configuration Parameters dialog box, on the Diagnostics > Stateflow pane, set Unreachable execution path to error.
Specify options that control how Simulink Design Verifier detects design errors in your model.
Execute the Simulink Design Verifier analysis.
Review the analysis results.

Understand the Analysis Results

When you run a design error detection analysis, by default, the software highlights model objects in one of four colors so that the analysis results are easy to review.

Model Object Highlighting Color	Analysis Results
Green	Both of the following: The analysis proved the absence of dead logic. The analysis proved the absence of errors for the other design error detection checks.
Red	At least one of the following: The analysis found dead logic. The analysis found an error for one of the other design error detection checks.
Orange	For at least one objective, the analysis could not determine if the model object has dead logic or one of the other design error detection errors. This situation can occur when: The analysis times out. The software cannot determine if an error occurred or not. This result is due to: Automatic stubbing; for more information, see Handle Incompatibilities with Automatic Stubbing. Limitations of the analysis engine.
Gray	The model object was not part of the analysis.
Steel blue	All objectives from this model object were excluded or justified using a filter files provided during the analysis.

The Simulink Design Verifier Results window initially displays a summary of the analysis results, as in the following example.

Results window for Design Error Detection analysis.

When you click an object in the model, additional details about the results for that object are displayed in the Simulink Design Verifier Results window.

Tip

By default, the Simulink Design Verifier Results window is always the topmost visible window. To change that setting, click the icon and on the context menu, clear the check mark next to Always on top.

Review the Latest Analysis Results in the Results Summary Window

If you close the analysis results to fix the cause of the errors in your model, you might need to review the analysis results again. As long as your model remains unchanged, you can view the results of your most recent analysis results in the Results Summary Window.

To view the latest results, on the Design Verifier tab, in the Review Results section, click Results Summary.

For any Simulink Design Verifier analysis, from the Results Summary Window, you can perform the following tasks:

Open filter explorer.
Highlight the analysis results on the model.
View tests in Simulation Data Inspector.
Generate a detailed analysis report.
Create the harness model, or if the harness model already exists, open it.
Note
If no objectives are falsified or satisfied, you cannot create the harness model.
Export test cases to Simulink Test.
View the data file.
View the log file.

Check For Design Errors using the Model Advisor

You can perform design error detection analysis from the Model Advisor, which is particularly useful if you need to perform other model checks. To analyze your model from the Model Advisor, follow this high-level workflow:

Specify options that control how Simulink Design Verifier detects design errors in your model.
Open the Model Advisor.
From the system hierarchy, select the model or model component you want to analyze
Expand the design error detection analysis items. Look for Simulink Design Verifier under either By Product or By Task.
If you have not checked your model for compatibility, enable the compatibility check for Simulink Design Verifier.
Select the design error detection checks you want to run.
Run the selected checks.
Review the analysis results.