Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

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 (Simulink Verification and Validation).

Introduced in R2010a

Was this topic helpful?