Stateflow 状态机是怎么代码实现的

在处理时序问题上优选的就是Stateflow，利用状态之间的跳转完成时序任务的编码，非常的简洁直观高效。但是代价是有的，建模太过自由，在生成代码上可能就会产生几倍代码量。避免这个问题，就有必要仔细考虑一下模型是如何生成代码的。
简单的说就是，每个状态对应一个状态标志位，所有的状态标志位（包括整个模型所有chart）会在定义在一个结构体中。状态之间的跳转通过Switch-Case完成，每个case下代码内容主要包含以下几个部分：该状态中的du语句；判断是否要跳出该状态的语句以及该状态的exist语句和目标状态的entry语句。可以对比下如下的一个状态图
代码如下（删除掉自动生成的注释，替换为对应解释的注释）：

void Chart_step(void)
{  
  int32_T tmp;

/*Step1： chart 初始化操作*/
  if (Chart_DW.is_active_c3_Chart == 0U) {
/*Step1.1：初始化完成后标志位至位*/
    Chart_DW.is_active_c3_Chart = 1U; 
/*Step1.2：选择初始化的状态*/
    Chart_DW.is_c3_Chart = Chart_IN_Initial;
/*Step1.3：初始化动作*/
    Chart_Y.a = 1;
  } else {
/*Step2：状态转移对应的switch-case循环*/
    switch (Chart_DW.is_c3_Chart) {
/*Step2.1：Initial状态Case语句*/
     case Chart_IN_Initial:
/*Step2.1.1：判断是否满足该状态的退出条件*/
      if (Chart_Y.a == 20) {
/*Step2.1.2：满足退出条件后的本状态exist语句*/
        Chart_Y.b = 1;
/*Step2.1.3：满足退出条件后更新状态*/
        Chart_DW.is_c3_Chart = Chart_IN_S1;
/*Step2.1.4：满足退出条件后目标状态的Entry语句 */
        Chart_Y.a = 0;
      } else {
/*Step2.1.5：不满足退出状态时执行的during语句*/
        tmp = Chart_Y.a + 1;
        if (tmp > 32767) {
          tmp = 32767;
        }
       Chart_Y.a = (int16_T)tmp;
      }
      break;
/*Step2.2：S1状态Case语句*/
     case Chart_IN_S1:
          if (Chart_Y.b == 20) {
             Chart_Y.a = 1;
            Chart_DW.is_c3_Chart = Chart_IN_S2;
            Chart_Y.b = 0;
          } else {
            tmp = Chart_Y.b + 1;
            if (tmp > 32767) {
              tmp = 32767;
            }
            Chart_Y.b = (int16_T)tmp;
          }
          break;
/*Step2.3：S2状态Case语句*/
     default:
          if (Chart_Y.b == 25) {
              Chart_DW.is_c3_Chart = Chart_IN_Initial;
              Chart_Y.a = 1;
          } else {
            tmp = Chart_Y.b + 1;
            if (tmp > 32767) {
              tmp = 32767;
            }
           Chart_Y.b = (int16_T)tmp;
          }
          break;
    }
  }
}

需要注意的是，每一条转移路径都会包含该转移路径上的退出条件判断代码，该状态的exist语句，目标状态的entry语句，状态的更新等几个部分。如果entry语句比较复杂，转移路径比较多，那么重复的代码量可能就会非常大了。