Stateflow
Model and simulate decision logic using state machines and flow charts
Have questions? Contact Sales.
Stateflow is a product that provides a graphical language that includes state transition diagrams, flow charts, state transition tables, and truth tables. You can use Stateflow to describe how MATLAB algorithms and Simulink models react to input signals, events, and time-based conditions.
Stateflow enables you to design and develop supervisory control, task scheduling, fault management, communication protocols, user interfaces, and hybrid systems.
With Stateflow, you model combinatorial and sequential decision logic that can be simulated as a block within a Simulink model or executed as an object in MATLAB. Graphical animation enables you to analyze and debug your logic while it is executing. Edit-time and run-time checks ensure design consistency and completeness before implementation.
Design State Machines
With Stateflow, you can design state machines using drag and drop elements and simple logic statements. Stateflow Onramp and training are available to help you get started.
Create Flow Charts
You can use flow charts to represent state logic. The Pattern Wizard lets you automatically generate flow charts for common logic patterns.
Model Logic with Tables
Stateflow has State Transition Tables and Truth Tables. State Transition Tables offer a tabular view for modeling logic, and Truth Tables implement combinatorial logic design in a tabular format.
Execute Stateflow Charts
When executing your state diagram, animations highlight active states and transitions. You can manually modify variables during execution to visualize their impact on the system.
Monitor and Analyze Data
Simulation Data Inspector provides the ability to visualize simulation data. With this tool, you can monitor a system to gather valuable insights on its behavior.
Debug Logic in Stateflow
Stateflow debugging capabilities let you step through chart execution in detail. You can set breakpoints and step through different functions in your state diagrams to understand unexpected behavior.
Stateflow Task Scheduling
Stateflow can invoke Simulink algorithms in a periodic or continuous manner to schedule the execution of components and simulate your real-time environment.
Validate Designs with Simulink
Stateflow integrates seamlessly with other MathWorks products to verify, validate, and test your designs. You can leverage these products to ensure your designs satisfy requirements, find errors earlier, and meet quality objectives.
Generate Code for Deployment
Code generation allows you to implement your state chart logic on embedded systems. Stateflow supports workflows to generate C, C++, VHDL, and Verilog code as well as Structured Text for PLCs.
Product Resources:
“Until Deep Space 1, state charts and automatic code generation technology had not been used on large systems for spacecraft avionics software. MathWorks tools made this approach possible.”
