File Exchange

image thumbnail

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.

15 Downloads

Updated 30 Jul 2020

View License

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 (2020). Simulink-to-Stateflow (https://www.mathworks.com/matlabcentral/fileexchange/70317-simulink-to-stateflow), MATLAB Central File Exchange. Retrieved .

Comments and Ratings (0)

Updates

1.0.1

Updated cover image. Added paper reference to Description.

MATLAB Release Compatibility
Created with R2017b
Compatible with R2016b to any release
Platform Compatibility
Windows macOS Linux

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