编者按:此文件被选为MATLAB Central本周精选
Simulink-to-Stateflow工具将用Simulink框图实现的状态更新逻辑重构为Stateflow状态图。它旨在用于固定步骤的离散框图,例如用于生成嵌入式软件的框图。
有关安装和如何使用该工具的说明,请参阅doc/README.txt。
有关此工具的更多理论背景,感兴趣的读者可以参考:
Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan Selim, Curtis Milo, Moustapha Diab, Feisel Weslati,“SL2SF:将Simulink重构为状态流”,软件工程基本方法,施普林格,2019年,264-281。
引用作为
McSCert(2023)。Simulink-to-Stateflow(//www.ru-cchi.com/matlabcentral/fileexchange/70317-simulink-to-stateflow), 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
例子
例子/出
src /家属/春节
版本 | 发表 | 发布说明 | |
---|---|---|---|
1.0.1 | 更新的封面图像。在描述中增加了纸张引用。 |
|
|
1.0 |
|