海之美文新闻资讯
Stateflow
Stateflow 是一个基于有限状态机和流程图来构建组合和时序逻辑决策模型并进行仿真的环境。它可以将图形表示和表格表示（包括状态转换图、流程图、状态转换表和真值表）结合在一起，针对系统对事件、基于时间的条件以及外部输入信号的反应方式进行建模。
Stateflow 可用于设计有关监控、任务调度以及故障管理应用程式的逻辑。Stateflow 包括状态图动画及静态和运行时检查，可以在实施前测试设计的一致性和完整性。
Stateflow可以直接嵌入到Simulink模型中，并且在仿真的初始化阶段，Simulink会把Stateflow绘製的逻辑图形通过编译程式转换成C语言，使二者有机地结合在一起。 Stateflow可以在Simulink Extra模组库中找到。
基本介绍
- 外文名：Stateflow
- 类型：图形工具
- 属性：有限状态机
- 类似：Simulink
- 用于：解决複杂的逻辑问题
工具原理
Stateflow的仿真原理是有限状态机（finite state machine）理论，有限状态机是指系统含有可数的状态，在相应的状态事件发生时，系统会从当前状态转移到与之对应的状态。在有限状态机中实现状态的转移是有一定条件的，同时相互转换的状态都会有状态转移事件，这样就构成了状态转移图。在SIMULINK的仿真视窗中，允许用户建立有限个状态以及状态转移的条件与事件，从而绘製出有限状态机系统，这样就可以实现对系统的仿真。Stateflow的仿真框图一般都会嵌入到Simulink仿真模型中，同时实现状态转移的条件或是事件即可以取自Stateflow仿真框图，也可以来自Simulink仿真模型。