Stateflow User's Guide

Using Stateflow

Stateflow is a graphical design and development tool for simulating complex reactive systems based on finite state machine theory. The following sections give you what you need to know to design, build, and debug your Stateflow charts:

Stateflow Concepts -- Gives you a look at some finite state machine concepts and takes you on a tour of a real-life Stateflow model.
Stateflow Notation -- Learn the individual objects of Stateflow that make up Stateflow diagrams. These include charts, states, boxes, graphical functions, junctions, transitions, data, events, and targets.
Stateflow Semantics -- Learn the behavior of Stateflow objects during the execution of a Stateflow chart.
Creating Stateflow Chart Diagrams -- Learn how to create a chart diagram and fill it with the basic objects of Stateflow: states, transitions, and junctions.
Extending Stateflow Chart Diagrams -- Learn the objects of Stateflow that extend the basic objects of Stateflow with history junctions, subcharts, functions, boxes, and notes.
Defining Events and Data -- Learn how to create data and events in a Stateflow chart or pass data and events between a Stateflow chart and the Simulink model.
Using Actions in Stateflow -- Describes all the available elements that you can include in action language attached to states and transitions.
Using Fixed-Point Data in Stateflow -- Describes fixed-point data in general and how you define and use it in Stateflow.
Defining Interfaces to Simulink and MATLAB -- Learn how to place and define the appropriate Stateflow chart in a Simulink model.
Truth Table Functions -- Shows you how to use truth table functions based on the logical behavior you specify for them with conditions, decisions, and actions.
Using Embedded MATLAB Functions -- Shows you how to use embedded MATLAB functions that you specify with a special subset of MATLAB m-code.
Exploring and Modifying Charts -- Learn how to search charts for specific objects and make changes individually or automatically.
Building Targets -- A target is a program that executes a Stateflow model or a Simulink model that contains a Stateflow model. Use this section to learn how to use Stateflow and companion tools to build targets for virtually any computer.
Debugging and Testing -- Learn how to use the Stateflow debugger to debug and animate your Stateflow charts in a particular machine. Also learn how to generate model coverage reports for your simulating Stateflow charts that show you how thoroughly you test them.

Where to Go from Here Stateflow Concepts