Main Content

Check for state in state machines

Check ID: mathworks.jmaab.db_0137

Guideline: db_0137: States in state machines


Identifies states with OR(exclusive) type decomposition with only one sub-state.

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

Check Parameterization

This check does not include sub-checks because the MAB modeling guideline provides only one sub ID.

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

  • JMAAB — a

Results and Recommended Actions

ConditionRecommended Action
One or more states with OR(exclusive) type decomposition have only one sub-state in the model.Remove the sub-state or add another state.

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

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

Edit-Time Checking

This check is supported by edit-time checking.