Check state machine type of Stateflow charts

mathworks.hism.hisf_0001

Since R2021a

Dependencies: Simulink^® Check™ and Stateflow^®

Usage: High-Integrity System Modeling

Guideline: hisf_0001: State Machine Type

Description

Use this check to identify Stateflow charts whose state machine types differ from the type set in the Model Advisor Configuration Editor.

Check Parameters

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

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.
Desired state machine type	Specify this to ensure that Stateflow charts adhere to the intended state machine type. Classic (default) | Mealy | Moore Classic — Check whether all Stateflow charts are Classic charts. Mealy — Check whether all Stateflow charts are Mealy charts. Moore — Check whether all Stateflow charts are Moore charts.

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
The input parameter is set to Classic and charts in the model use other state machine types.	For each chart, in the Chart Properties dialog box, set State Machine Type to Classic.
The input parameter is set to Moore and charts in the model use other state machine types.	For each chart, in the Chart Properties dialog box, set State Machine Type to Moore.
The input parameter is set to Mealy and charts in the model use other state machine types.	For each chart, in the Chart Properties dialog box, set State Machine Type to Mealy.

Capabilities and Limitations

• Runs on library models

• Allows exclusions of blocks and charts

• Analyzes both active and inactive variant choices

• Does not require model compilation

Version History

Introduced in R2021a