Designing State Machines Graphically
Build state machines graphically by drawing states and junctions connected by transitions. You can also create functions using flow chart notation, Simulink subsystems, MATLAB code, and truth tables.
Designing Flow Charts
Create flow charts by drawing transitions that are connected at junctions. The Pattern Wizard lets you create commonly used logic flow patterns. You can use flow charts to design logic for transitioning between states.
Designing Logic with Tables
Truth tables in Stateflow let you model logic in Simulink when the output depends purely on the current input. State transition tables provide a structured environment for modeling state machines in Simulink.
Debugging Stateflow Charts
Stateflow debugging capabilities let you step through chart execution in detail. You can set breakpoints, monitor data values, and step through different functions in your state diagrams.
Reusable Chart Objects
Create standalone Stateflow charts that use the full capabilities of the MATLAB language in state and transition actions. Use these charts as MATLAB objects in your applications that require state machine and timing logic.
State Machine and Timing Logic
Accelerate the development of MATLAB applications by using Stateflow to graphically design state machine and timing logic that would be difficult to implement textually.
Deploying Stateflow Applications
Create MATLAB applications that include Stateflow chart objects and share them without requiring Stateflow.
Periodic and Continuous Scheduling
You can model conditional, event-based, and time-based logic in Stateflow to invoke Simulink algorithms in a periodic or continuous manner. Orchestrate the execution of components to simulate the scheduling of your real-time environment.
Use event-based and time-based operators (such as after and duration) to specify state-transition logic based on event counts, elapsed time, and denoised signals without having to create and maintain your own timers and counters.
Use Stateflow with other Simulink products to validate your design against requirements.
- Link requirements directly to Stateflow objects using drag and drop with Requirements Toolbox.
- Check that your state diagrams comply with standards using Simulink Check.
- Collect model and generated code coverage metrics with Simulink Coverage.
- Detect design errors and generate test vectors using Simulink Design Verifier.
- Develop, manage, and execute simulation-based tests with Simulink Test.
Generate code for implementation of your Stateflow logic on embedded systems.