Stateflow 7.5

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, Embedded MATLAB™ 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 Stateflow® 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 Embedded 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

Fault detection, isolation, and recovery system of an aircraft elevator. You can use Simulink and Stateflow to simulate and study the effects of switching modes on the control system and aircraft dynamics. Click on image to see enlarged view.