Simulink-to-Stateflow

Version 1.0.1 (1.13 MB) by McSCert
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
4.0
(1)
847 Downloads
Updated 30 Jul 2020

View License

Editor's Note: This file was selected as MATLAB Central Pick of the Week

The Simulink-to-Stateflow tool refactors state update logic implemented with Simulink block diagrams into Stateflow state charts. It is intended for use on fixed-step discrete block diagrams, such as those used to generate embedded software.

For instructions on installation and how to use the tool, see doc/README.txt.

For more about the theoretical background of this tool, an interested reader is referred to:
Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan Selim, Curtis Milo, Moustapha Diab, Feisel Weslati, “SL2SF: Refactoring Simulink to Stateflow,” Fundamental Approaches to Software Engineering, Springer, 2019, 264-281.

Cite As

McSCert (2024). Simulink-to-Stateflow (https://www.mathworks.com/matlabcentral/fileexchange/70317-simulink-to-stateflow), MATLAB Central File Exchange. Retrieved .

MATLAB Release Compatibility
Created with R2017b
Compatible with R2016b and later releases
Platform Compatibility
Windows macOS Linux
Categories
Find more on Simulink Functions in Help Center and MATLAB Answers

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

src

src/dependents/Verifier

src/dependents/Verifier/Utilities

src/dependents/Verifier/Utilities/DataflowTracing

src/dependents/Verifier/Utilities/PositionUtil

src/dependents/Verifier/Utilities/PositionUtil/Alignment

src/dependents/Verifier/Utilities/TextDimensions

src/dependents/tet

src/dependents/tet/+GUIHelpers

src/dependents/tet/+TableBlock

src/dependents/tet/@CVC_checker

src/dependents/tet/@Cell

src/dependents/tet/@Data

src/dependents/tet/@EMLGenerator

src/dependents/tet/@GUI

src/dependents/tet/@GUIBase

src/dependents/tet/@GUIParameters

src/dependents/tet/@GridLayout

src/dependents/tet/@GridSingleCellEventDetails

src/dependents/tet/@GridSingleColumnEventDetails

src/dependents/tet/@GridSingleRowEventDetails

src/dependents/tet/@HierarchicalGrid

src/dependents/tet/@HierarchicalGridCell

src/dependents/tet/@HorizontalLineGridDraw

src/dependents/tet/@LayoutBase

src/dependents/tet/@LetStatments

src/dependents/tet/@LetStatmentsDraw

src/dependents/tet/@LinearLayoutBase

src/dependents/tet/@PVS_checker

src/dependents/tet/@TTSettings

src/dependents/tet/@TableGrid

src/dependents/tet/@TableGridCell

src/dependents/tet/@TableGridDraw

src/dependents/tet/@UndoManager

src/dependents/tet/@VLayout

src/dependents/tet/@ValidationReport

src/dependents/tet/@VerticalHierarchicalGridDraw

examples

examples/out

src/dependents/tet

Version Published Release Notes
1.0.1

Updated cover image. Added paper reference to Description.
1.0