ModelCoder状态机中的State逻辑

ModelCoder可以进行状态机的搭建以及仿真，其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态（State）的部分逻辑。

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

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

状态（State）内部存在三个动作，分别为进入动作，期间动作和退出动作。

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

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

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

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

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