Simulink-to-Stateflow

Versión 1.0.1 (1,13 MB) por McSCert
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
4.0
(1)
847 Descargas
Actualizado 30 jul 2020

Ver licencia

Nota del editor: 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.

Citar como

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

Compatibilidad con la versión de MATLAB
Se creó con R2017b
Compatible con cualquier versión desde R2016b
Compatibilidad con las plataformas
Windows macOS Linux
Categorías
Más información sobre Simulink Functions en Help Center y 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

Versión Publicado Notas de la versión
1.0.1

Updated cover image. Added paper reference to Description.
1.0