Check transitions in Stateflow Flow charts
Guideline: db_0132: Transitions in flow charts
Check transition orientations in Stateflow® flow charts.
The following rules apply to transitions in flow charts:
Draw transition conditions horizontally.
Draw transitions with a condition action vertically.
Junctions in flow charts should have a default exit transition.
Transitions in flow charts should not combine condition and action.
This check requires a Simulink® Check™ and Stateflow license.
This check contains sub-checks that correspond to sub IDs specified in the MAB and JMAAB modeling guidelines. You can use the Model Advisor Configuration Editor to specify which sub IDs (one or multiple) to execute.
For reference, the MAB guideline sub-ID(s) that are recommended for use by the NA-MAAB and JMAAB modeling standards organizations are:
NA-MAAB — a, b
JMAAB — a, b
Results and Recommended Actions
|Guideline Sub ID
|db_0132_a: Check usage of transition actions in Stateflow Flow charts
|One or more transition actions are used in flow charts in the model.
|Do not use transition actions in flow charts.
|db_0132_b: Check for transition orientation in Flow charts
|One or more transitions with condition expressions are not drawn horizontally.
|Draw transitions with condition expressions horizontally.
|One or more transitions with condition actions are not drawn vertically.
|Draw transitions with condition actions vertically.
|One or more transitions have both condition expressions and condition actions.
|Do not use condition expressions and condition actions in the same transition.
Capabilities and Limitations
The check only flags flow charts containing loop constructs if the transition violates the orientation rule.
Runs on library models.
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to
Allows exclusions of blocks and charts.
This check is supported by edit-time checking.