Check for Stateflow transition appearance
Guideline: db_0129: Stateflow® transition appearance
Checks for Stateflow transitions that visually overlap other Stateflow objects.
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, c, d, e
JMAAB — a, b, c, d, e
Select the input parameter Check for Self Transitions to flag self transitions.
Open the Model Configuration Editor and search for check ID
Select the check box Check for Self Transitions.
Click Apply and save the configuration.
Results and Recommended Actions
|Guideline Sub IDs||Condition||Recommended Action|
|db_0129_a: Check for transition lines that cross over one another||Transition lines cross over one another.||Consider remodeling so that transition lines do not cross over one another.|
|db_0129_b: Check for transition lines that overlap one another||Transition lines overlap with other transition lines.||Consider remodeling so that transition lines do not overlap with other transition lines.|
|db_0129_c: Check transition lines that cross over other Stateflow objects||Transition lines cross over other Stateflow objects.||Consider remodeling so that transitions do not cross over other Stateflow objects.|
|db_0129_d: Check orientation of transition lines||Transitions are not vertical or horizontal and/or diagonal for flow chart loops.||Consider remodeling using either horizontal or vertical transitions only and diagonal transitions for flow chart loops.|
|db_0129_e: Check for unnecessary connective junctions||One or more charts use unnecessary connective junctions.||Consider avoiding unnecessary connective junctions.|
Capabilities and Limitations
Does not flag transitions overlapped by state labels exceeding the boundary of the state.
Runs on library models.
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
Allows exclusions of blocks and charts.