Stateflow

Stateflow Components

Stateflow consists of these primary components:

• Stateflow graphics editor (see Chapter 3, Creating Charts)
• Stateflow Explorer (see Chapter 6, Exploring and Searching Charts)
• Stateflow simulation code generator (see Chapter 9, Building Targets)
• Stateflow Debugger (see Chapter 10, Debugging)

Stateflow Coder is a separately available product and generates code for nonsimulation targets. (See Chapter 9, Building Targets for information relevant to Stateflow Coder.)

Stateflow Dynamic Checker supports run-time checking for conditions such as cyclic behavior and data range violations. The Dynamic Checker is currently available if you have a Stateflow license.

Examples of Stateflow Applications

Design Approaches