Check for Stateflow transition appearance

Check ID: mathworks.jmaab_v6.db_0129

Guideline: db_0129: Stateflow^® transition appearance

JMAAB v6.0

Description

Checks for Stateflow transitions that visually overlap other Stateflow objects.

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

Check Parameterization

This check contains sub-checks that correspond to sub IDs specified in the JMAAB modeling guidelines. You can use the Model Advisor Configuration Editor to specify which sub IDs (one or multiple) to execute.

For reference, the guideline sub ID(s) that are recommended for use by the JMAAB modeling standards organizations are:

JMAAB — a, b

Select the input parameter Check for Self Transitions to flag self transitions.

Open the Model Configuration Editor and search for check ID db_0129.
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 orientation of transition lines	Transitions are not vertical or horizontal and/or diagonal for flow chart loops.	Remodel using either horizontal or vertical transitions only, and diagonal transitions for flow chart loops.
db_0129_b: Check for unnecessary connective junctions	One or more charts use unnecessary connective junctions.	Avoid unnecessary use of 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 on.
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to graphical.
Allows exclusions of blocks and charts.