Simulink-to-Stateflow

版本 1.0.1 (1.1 MB) 作者: McSCert
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
781.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 CenterMATLAB 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

版本 已发布 发行说明
1.0.1

Updated cover image. Added paper reference to Description.

1.0