3、状态机理论基础：有限状态机（FSM）概念、状态、事件、转换、动作的定义
好，咱们进入状态机理论。这部分是ECU状态管理的基石，说白了就是一套「规则」——告诉系统在什么条件下该干什么事。
我个人习惯把状态机想象成一个「有记忆的开关」。普通开关只有开和关，但ECU里的状态机要复杂得多。它得记住当前在哪个模式，然后根据外部信号决定下一步去哪。
3.1 有限状态机（FSM）概念
有限状态机，英文叫Finite State Machine，简称FSM。核心就三个字：有限、状态、机。
- 有限：状态数量是确定的，不会无限多。比如ECU就那几个模式：初始化、运行、休眠、故障。
- 状态：系统在某一时刻所处的「模式」或「阶段」。
- 机：一套自动运行的机制，不需要人干预。
你想想看，如果状态无限多，那代码就没法写了。所以FSM的第一个好处就是——把复杂行为拆成有限个稳定节点。
FSM的数学定义（简化版）
一个FSM可以用五元组表示：(S, E, T, s0, A)
- S：有限状态集合
- E：有限事件集合
- T：转换函数（状态+事件 → 新状态）
- s0：初始状态
- A：动作集合
我在项目中遇到过有人把状态机搞成「无限状态机」——每次来新需求就加一个新状态，最后状态图乱成一锅粥。嗯，这里要注意：状态一定要收敛，不能无限膨胀。
3.2 状态（State）
状态是FSM最基本的元素。它代表系统在某个时刻的「稳定快照」。ECU里常见的状态有：
| 状态名称 | 含义 | 典型行为 |
|---|---|---|
| INIT | 初始化 | 自检、加载配置 |
| RUN | 正常运行 | 执行控制算法 |
| SLEEP | 休眠 | 降低功耗、关闭外设 |
| ERROR | 故障 | 记录故障码、安全降级 |
每个状态都有「进入动作」和「退出动作」。比如进入SLEEP时，要关掉CAN收发器；退出SLEEP时，要重新初始化时钟。这些动作不能搞反，否则系统可能死机。
我的经验：状态命名要直观。别用State_1、State_2这种名字，三个月后你自己都看不懂。我习惯用全大写加下划线，比如ECU_STATE_RUNNING。
3.3 事件（Event）
事件是触发状态转换的「导火索」。没有事件，状态机就卡死在一个状态里不动了。
事件分两类：
- 外部事件：来自硬件或通信。比如CAN报文、按键按下、电压跌落。
- 内部事件：来自软件自身。比如定时器超时、计算完成、错误检测。
举个例子：ECU收到一个「休眠请求」的CAN报文，这就是外部事件。如果ECU内部定时器计数到10秒没收到任何报文，自动进入休眠，这就是内部事件。
我曾经踩过一个坑：把内部事件和外部事件混在一起处理，结果调试时发现状态机乱跳。后来我强制规定——事件必须明确来源，外部事件加前缀EXT_，内部事件加前缀INT_。
3.4 转换（Transition）
转换就是「从状态A到状态B的跳转」。它由三部分组成：
- 源状态：当前在哪
- 触发事件：发生了什么
- 目标状态：要去哪
转换可以带条件。比如「收到休眠请求，但车速不为0，则不转换」。这种带条件的转换，我们叫守卫条件（Guard）。
注意：转换必须保证确定性。同一个状态+同一个事件，不能有两个不同的目标状态。否则系统行为不可预测。
我建议用表格来定义转换关系，清晰明了：
| 当前状态 | 事件 | 条件 | 下一状态 |
|---|---|---|---|
| INIT | 自检完成 | 无故障 | RUN |
| RUN | 休眠请求 | 车速=0 | SLEEP |
| RUN | 故障检测 | 严重故障 | ERROR |
3.5 动作（Action）
动作是状态机「干活」的部分。没有动作的状态机只是个空壳子。
动作分三种：
- 进入动作：进入某个状态时执行一次。比如进入RUN时点亮指示灯。
- 退出动作：离开某个状态时执行一次。比如离开RUN时关闭电机。
- 转换动作：在转换过程中执行。比如从INIT到RUN时，记录转换日志。
我个人习惯把动作写在状态转换图旁边，这样看代码时一目了然。举个例子：
// 伪代码示例：状态机动作实现
void state_machine_run(Event e) {
switch(current_state) {
case STATE_INIT:
if (e == EVENT_INIT_DONE) {
// 退出动作
exit_init();
// 转换动作
log_transition("INIT -> RUN");
// 进入动作
enter_run();
// 更新状态
current_state = STATE_RUN;
}
break;
// ... 其他状态
}
}避坑指南：动作里不要做耗时操作。我曾经在进入动作里写了个延时函数，结果状态机卡住，看门狗超时复位了。动作要快，复杂逻辑放到任务循环里做。
3.6 小结
好了，咱们把FSM的五个核心概念捋一遍：
- 状态：系统在哪
- 事件：发生了什么
- 转换：要去哪
- 动作：要做什么
- 有限：数量可控
说白了，FSM就是一套「如果...那么...否则...」的规则集合。你只要把状态、事件、转换、动作定义清楚，剩下的就是写代码实现了。
下一章咱们会讲怎么用代码实现一个轻量级的状态机引擎。到时候我会分享一个我用了好几年的模板，直接套用就行。