Check Stateflow debugging options

mathworks.hism.hisf_0011

Dependencies: Simulink^® Check™ and Stateflow^®

Usage: High-Integrity System Modeling

Guideline: hisf_0011: Stateflow debugging settings

Description

Use this check to verify the Stateflow debugging settings are effective and efficient.

Stateflow debugging settings are:

Wrap on overflow
Simulation range checking
Detect Cycles
Underspecification
Overspecification

Check Parameters

Use the Model Advisor Configuration Editor to define the scope of the analysis by specifying the input parameters.

Parameter Description

Parameter	Description
Follow links	Specify whether to include content of library-linked blocks in the analysis. `on` (default) \| `off`
Look under masks	Specify whether to include masked model elements in the analysis. `all` (default) \| `none` \| `graphical` \| `functional` `all` — Check analysis includes all masked model elements. `none` — Check analysis excludes masked model elements. `graphical` — Check analysis includes only the graphical masked model elements. `functional` — Check analysis includes only the functional masked model elements.

Follow links

Specify whether to include content of library-linked blocks in the analysis.

on (default) | off

Look under masks

Specify whether to include masked model elements in the analysis.

all (default) | none | graphical | functional

all — Check analysis includes all masked model elements.
none — Check analysis excludes masked model elements.
graphical — Check analysis includes only the graphical masked model elements.
functional — Check analysis includes only the functional masked model elements.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

Modeling Condition	Recommended Action
Parameter Wrap on overflow is not set to `error`.	In the Configuration Parameters dialog box, set Wrap on overflow to `error`, or set the parameter IntegerOverflowMsg to `error`.
Parameter Simulation range checking is not set to `error`.	In the Configuration Parameters dialog box, set Simulation range checking to `error`, or set the parameter SignalRangeChecking to `error`.
Parameter Underspecification for the truth table is not set to `error`	In the Configuration Parameters dialog box, set Underspecification to `error`.
Parameter Overspecification for the truth table is not set to `error`	In the Configuration Parameters dialog box, set Overspecification to `error`.
Inside a Stateflow chart, Detect Cycles is cleared.	In the model window, select Debug > Diagnostics > Detect Cyclical Behavior

Capabilities and Limitations

Allows exclusions of blocks and charts
Analyzes both active and inactive variant choices
Does not require model compilation

Version History

Introduced in R2020a