万博1manbetxSimulink-to-Stateflow

版本1.0.1(1.13 MB) McSCert
Simu万博1manbetxlink-to-Stateflow工具翻译模型方框图进入Stateflow状态图表。

705下载

更新2020年7月30日

查看许可协议

编者按:这个文件被选为MATLAB中央选择的

Simu万博1manbetxlink-to-Stateflow工具重构状态更新逻辑用仿真软件实现方框图进入Stateflow状态图表。其目的是用于固定步离散块图,如用于生成嵌入式软件。

安装说明和如何使用工具,看到医生/固定。

更多关于这个工具的理论背景,感兴趣的读者被称为:
斯蒂芬•Wynn-Williams Zinovy Diskin维拉Pantelic,马克获悉国家斯莱姆,柯蒂斯米洛,议长奥卡迪亚布,Feisel Weslati,“Stateflow SL2SF:重构模型,软件工程的基本方法,施普林格,2019年,264 - 281。万博1manbetx

引用作为

McSCert (2023)。万博1manbetxSimulink-to-Stateflow(//www.tianjin-qmedu.com/matlabcentral/fileexchange/70317-万博1manbetxsimulink-to-stateflow), MATLAB中央文件交换。检索

MATLAB版本兼容性
创建R2017b
与R2016b后来版本兼容
平台的兼容性
窗户 macOS Linux
类别
找到更多的在万博1manbetx仿真软件的功能帮助中心MATLAB的答案

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!

src

src /家属/验证器

src /家属/校验/实用工具

src /家属/校验/工具/ DataflowTracing

src /家属/校验/工具/ PositionUtil

src /家属/校验/工具/ PositionUtil /对齐

src /家属/校验/工具/ TextDimensions

src /家属/春节

src /家属/春节/ + GUIHelpers

src /家属/春节/ + TableBlock

src /家属/春节/ @CVC_checker

src /家属/春节/ @Cell

src /家属/春节/ @ data

src /家属/春节/ @EMLGenerator

src /家属/春节/ @GUI

src /家属/春节/ @GUIBase

src /家属/春节/ @GUIParameters

src /家属/春节/ @GridLayout

src /家属/春节/ @GridSingleCellEventDetails

src /家属/春节/ @GridSingleColumnEventDetails

src /家属/春节/ @GridSingleRowEventDetails

src /家属/春节/ @HierarchicalGrid

src /家属/春节/ @HierarchicalGridCell

src /家属/春节/ @HorizontalLineGridDraw

src /家属/春节/ @LayoutBase

src /家属/春节/ @LetStatments

src /家属/春节/ @LetStatmentsDraw

src /家属/春节/ @LinearLayoutBase

src /家属/春节/ @PVS_checker

src /家属/春节/ @TTSettings

src /家属/春节/ @TableGrid

src /家属/春节/ @TableGridCell

src /家属/春节/ @TableGridDraw

src /家属/春节/ @UndoManager

src /家属/春节/ @VLayout

src /家属/春节/ @ValidationReport

src /家属/春节/ @VerticalHierarchicalGridDraw

版本 发表 发布说明
1.0.1

更新后的封面图片。论文引用添加到描述。

1.0