Debugging (Using Stateflow)

Using Stateflow

Debugging State Inconsistencies

What Is a State Inconsistency?

Stateflow notations specify that states are consistent if:

An active state (consisting of at least one substate) with XOR decomposition has exactly one active substate
All substates of an active state with AND decomposition are active
All substates of an inactive state with either XOR or AND decomposition are inactive

A state inconsistency error has occured, if after a Stateflow diagram completes an update, the diagram violates any these notation rules.

Causes of State Inconsistency

State inconsistency errors are most commonly caused by the omission of a default transition to a substate in superstates with XOR decomposition.

Design errors in complex Stateflow diagrams can also result in state inconsistency errors. These errors may only be detectable using the Debugger at runtime.

Detecting State Inconsistency

To detect the state inconsistency during a simulation:

Build the target with debugging enabled.
Invoke the Debugger and enable State Inconsistency checking
Start the simulation

[ Previous | Help Desk | Next ]