Documentation

db_0137: States in state machines

ID: Title

db_0137: States in state machines

Priority

Mandatory

Scope

MAAB

MATLAB Versions

All

Description

For all levels in a state machine, including the root level, for states with exclusive decomposition the following rules apply:

  • At least two exclusive states must exist.

  • A state cannot have only one substate.

  • The initial state of every hierarchical level with exclusive states is clearly defined by a default transition. In the case of multiple default transitions, there must always be an unconditional default transition.

Rationale

  • Readability

  • Workflow

  • Code Generation

  • Verification and Validation

Last Changed

V3.0

Model Advisor Check

By Task > Modeling Standards for MAAB > Stateflow > Check usage of exclusive and default states in state machines

For check details, see Check usage of exclusive and default states in state machines.

Introduced in R2010a

Was this topic helpful?