Main Content

Check for Stateflow transition appearance

Check ID: mathworks.jmaab.db_0129

Guideline: db_0129: Stateflow® transition appearance

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

  1. Open the Model Configuration Editor and search for check ID db_0129.

  2. Select the check box Check for Self Transitions.

  3. Click Apply and save the configuration.

Results and Recommended Actions

Guideline Sub IDsConditionRecommended Action
db_0129_a: Check for transition lines that cross over one anotherTransition 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 anotherTransition 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 objectsTransition 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 linesTransitions 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 junctionsOne 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 on.

  • Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to graphical.

  • Allows exclusions of blocks and charts.