Check Stateflow charts for transition paths that cross parallel state boundaries

Check ID: mathworks.hism.hisf_0013

Identify transition paths that cross parallel state boundaries in Stateflow^® charts.

Description

Identify transition paths that cross parallel state boundaries in Stateflow charts. This check identifies transition paths that cross parallel state boundaries in Stateflow charts.

Available with Simulink^® Check™.

This check requires a Stateflow license.

Results and Recommended Actions

Condition	Recommended Action
The Stateflow charts have transition paths that cross parallel state boundaries.	Modify the Stateflow charts so that transitions do not cross parallel state boundaries. For more information see, Transition Between Operating Modes (Stateflow).

Capabilities and Limitations

• Runs on library models.

• Analyzes content of library linked blocks. By default, the input parameter Follow links is set to on.

• Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to all.

• Allows exclusions of blocks and charts.

See Also

• hisf_0013: Usage of transition paths (crossing parallel state boundaries)