Simulink-to-Stateflow

版本 1.0.1 (1.1 MB) 作者: McSCert
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
4.0
(1)
847.0 次下载
更新时间 2020/7/30

查看许可证

编者注: 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.

引用格式

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

MATLAB 版本兼容性
创建方式 R2017b
与 R2016b 及更高版本兼容
平台兼容性
Windows macOS Linux
类别
在 Help Center 和 MATLAB Answers 中查找有关 Simulink Functions 的更多信息

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

版本 已发布 发行说明
1.0.1

Updated cover image. Added paper reference to Description.
1.0