Contents

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 > Sstateflow > Check usage of exclusive and default states in state machines

Was this topic helpful?