Check default transition placement in Stateflow charts

Check ID: mathworks.jmaab.jc_0531

Guideline: jc_0531: Default transition

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

Description

Checks the default transition placement in Stateflow^® charts.

This check requires a Simulink^® Check™ and Stateflow license.

Results and Recommended Actions

Guideline Sub-ID	Condition	Recommended Action
jc_0531_a: Check for default transitions at every level	One or more states or junctions in the model do not have any default transitions at their level.	Make sure that there is at least one default transition at every level.
jc_0531_b: Check for parallel states having default transitions	One or more parallel states in the model have default transitions.	Default transitions must not be used for parallel states.
jc_0531_c: Check for multiple default transitions at same level	One or more states in the model have multiple default transitions at the same level.	Make sure that multiple default transitions are not included in the same level.
jc_0531_d: Check for default transitions not connected to top of state or junction	One or more default transitions in the model are not connected to the upper part of the state or junction.	Default transitions must be directly connected vertically to the upper part of the state or junction.
jc_0531_e: Check for default transitions not positioned at top left within the same level	One or more destination states or junctions of default transitions in the model are not on the top left.	The destination states or junctions of default transitions must be positioned at the top left within the same level.
jc_0531_f: Check for default transitions exceeding state boundaries	One or more default transitions in the model exceed state boundaries.	The default transition must not exceed state boundaries.
jc_0531_g: Check for unconditional default transitions	One or more default transitions in the model do not have a single non-guard path to any state at the level in the chart.	Set No unconditional default transitions parameter to recommended value 'error'.

Capabilities and Limitations

• Runs on library models.

• Allows exclusions of blocks and charts.

• 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 graphical.

See Also

Syntax for States and Transitions (Stateflow)