Stateflow
Description
- Introduction and Key Features
- Working with Stateflow
- Creating State Charts
- Adding Functions to State Charts
- Executing State Charts
Introduction
Stateflow® extends Simulink® with a design environment for developing state machines and flow charts. Stateflow provides the language elements required to describe complex logic in a natural, readable, and understandable form. It is tightly integrated with MATLAB® and Simulink, providing an efficient environment for designing embedded systems that contain control, supervisory, and mode logic.
Stateflow charts enable the graphical representation of hierarchical and parallel states and the transitions between them. Stateflow augments traditional state charts with flow charts, MATLAB Coder™ functions, graphical functions, truth tables, temporal operators, directed-event broadcasting, and support for integrating hand-written C code.
You can automatically generate C code from Stateflow charts using Simulink® Coder (available separately).
Key Features
- Provides language elements, hierarchy, parallelism, and deterministic execution semantics for describing complex logic in a natural and understandable form
- Defines functions graphically, using flow diagrams; procedurally, using MATLAB functions; and in tabular form, with truth tables
- Schedules transitions and events using temporal logic
- Supports Mealy and Moore finite-state machines
- Incorporates custom and legacy C code with input and output arguments
- Supports bus signals and vector, matrix, and fixed-point data
- Performs static checks, including checks for ill-specified truth tables
- Performs run-time checks for transition conflicts, cyclic problems, state inconsistencies, data-range violations, and overflow conditions
- Animates Stateflow charts and logs data during simulation to enhance understanding of the system and facilitate debugging
- Includes an integrated debugger for setting graphical breakpoints, stepping through charts, and browsing data
