Check default transition placement in Stateflow charts
Guideline: jc_0531: Default transition
Checks the default transition placement in Stateflow® charts.
This check requires a Simulink® Check™ and Stateflow license.
Results and Recommended Actions
|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
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to
Syntax for States and Transitions (Stateflow)