db_0137: States in state machines

ID: Title

db_0137: States in state machines

Priority

Mandatory

Scope

MAAB

MATLAB Versions

All

Prerequisites

db_0149: Flow chart patterns for condition actions

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 (Simulink Check).

Introduced in R2010a