有限状态机的概念
Stateflow®图表可以包含基于状态机的顺序决策逻辑。一个有限状态机表示一个事件驱动(活性)系统。在事件驱动的系统中,系统会从一个状态转换到另一个(模式),如果条件定义的改变是正确的。
例如,您可以使用一个状态机表示汽车的自动变速器。传播这些操作状态:公园,相反,中性,开车,和低。随着司机的变化从一个位置到另一个,系统从一个状态转换到另一个,例如,从公园逆转。
有限状态机表示
传统上,设计师用真值表来表示输入之间的关系,输出,和有限状态机的状态。生成的表描述了所需的逻辑控制系统下的行为研究。事件驱动的系统设计的另一种方法是通过描述系统的行为模型的状态之间的转换。事件的发生在一定条件下确定积极的状态。状态转换关系图和泡沫图是基于这种方法的图形化表示。
Stateflow图表表示
Stateflow图可以包含顺序和组合逻辑形式的状态转换图、流程图、状态转换表,和真值表。状态转换图是一种图形表示的有限状态机。州和转换形成一个时序逻辑系统的基本构建块。代表时序逻辑的另一种方法是一个状态转换表,它允许你进入状态以表格的形式逻辑。你也可以表示图中的组合逻辑流程图和真值表。
您可以包括Stateflow图表作为仿真软件模块金宝app®模型。这些块的集合在一个仿真软件模型是Stateflow机器。金宝app
Stateflow图可以表示层次结构,并行性和历史。你可以组织复杂系统父母和子女通过定义一个对象结构。例如,您可以组织状态在其他更高级的。系统并行性可以有两个或两个以上的正交状态活跃在同一时间。您还可以指定目的地的基于历史信息的一个过渡。
符号
符号定义了一组对象和规则管理这些对象之间的关系。Stateflow图表符号提供了一个交流方式Stateflow图表的设计信息。
Stateflow图表符号由这些元素组成:
一组图形对象
一组nongraphical文本对象
定义这些对象之间的关系
语义
语义描述如何解释图表符号。一个典型的Stateflow图表包含操作与转换和状态有关。语义描述的顺序在表执行这些操作。
参考书目
Harel [1], D”状态图:复杂系统的视觉形式主义。”科学的计算机编程8卷,1987年,页231 - 274。
[2]d·j·哈特利,中情局Pirbhai。实时系统规范的策略。纽约,纽约:多塞特郡的房子出版,1988年。
