ModelCoder状态机中的State逻辑

2022-02-08 10:36:02 digiproto
ModelCoder可以进行状态机的搭建以及仿真,其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态(State)的部分逻辑。


状态机中的状态(State)表示某个事物在当前时间所处的状态。


举个例子:对一扇门的状态进行简化的话,它只会处于两种状态:打开和关闭。这两种状态互斥,即在当前时间下,一扇门只可能处于其中一种状态。ModelCoder状态机中的状态(State)也是如此,其状态机在运行的每一个时间步中都有且仅有一个确定的状态。


状态(State)内部存在三个动作,分别为进入动作期间动作退出动作


进入动作即状态切换到目标状态时执行的动作;期间动作则是没有进行状态切换时,当前状态执行的动作;退出动作则是状态切换时源状态执行的动作。


不仅如此,State还支持子状态的定义。子状态和最上层的状态不同,在同一时间内可以有多个子状态运行,可以理解为子状态是父状态内部不同方面或不同角度的状态。下面是状态切换逻辑的流程图:

image.png


状态机是根据外部传入的值或者内部定义的值,按照一定的逻辑来判断分析,得到其内部确定的状态,再执行这个状态的动作,从而得到状态的值。


当一个状态既有子状态又有上述的三个动作时,会在切换到该状态时执行一次对应的动作,之后在执行其子状态,期间有可能动作和子状态均对输出执行了赋值操作,但是由于子状态在后面才执行,所以会覆盖动作的赋值。最终的输出结果为子状态计算得出的输出结果。



由我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

ModelCoder宣发.png



标签: 状态机 仿真
首页
产品
新闻
联系