Stateflow 是一个基于有限状态机和流程图来构建组合和时序逻辑决策模型并进行仿真的环境。它可以将图形表示和表格表示（包括状态转换图、流程图、状态转换表和真值表）结合在一起，针对系统对事件、基于时间的条件以及外部输入信号的反应方式进行建模。

工具原理

Stateflow的仿真原理是有限状态机（finite state machine）理论，有限状态机是指系统含有可数的状态，在相应的状态事件发生时，系统会从当前状态转移到与之对应的状态。在有限状态机中实现状态的转移是有一定条件的，同时相互转换的状态都会有状态转移事件，这样就构成了状态转移图。在SIMULINK的仿真窗口中，允许用户建立有限个状态以及状态转移的条件与事件，从而绘制出有限状态机系统，这样就可以实现对系统的仿真。Stateflow的仿真框图一般都会嵌入到Simulink仿真模型中，同时实现状态转移的条件或是事件即可以取自Stateflow仿真框图，也可以来自Simulink仿真模型。