State chart design and simulation software Simulink® Stateflow®
The MathWorks
Stateflow® extends Simulink® with a design environment for developing state charts and flow graphs. 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.
