📚 课程目录第2章设备状态机基础

2. 设备状态机基础：概念、状态、事件、转换与动作

在 SECS/GEM 协议体系中，设备状态机（Equipment State Machine, ESM）是描述半导体设备行为与通信逻辑的核心模型。它通过有限个状态、事件、转换和动作，精确刻画设备从初始化到生产、再到停止的完整生命周期。理解状态机基础，是后续设计 GEM 功能、验证设备合规性的前提。

💡 核心观点： 状态机不是“画图工具”，而是设备行为的契约。每个状态、每个转换都对应着 SECS 消息的收发规则和 GEM 能力声明。

状态机（State Machine）是一种数学模型，用于描述对象在多个离散状态之间如何响应事件并执行动作。在半导体设备中，状态机将复杂的物理行为（如晶圆传输、工艺腔抽真空、报警恢复）抽象为可编程的逻辑单元。

术语	定义	设备示例
状态 (State)	设备在某一时刻的稳定工况，具有唯一标识	INITIAL、IDLE、PROCESSING、ALARM
事件 (Event)	触发状态转换的外部或内部信号	远程指令、传感器触发、定时器超时
转换 (Transition)	从当前状态到目标状态的有向路径	IDLE → PROCESSING（事件：START）
动作 (Action)	转换发生时执行的原子操作	发送 S1F1、锁定传送门、记录日志

  📌 关键区别： 状态是“静态快照”，事件是“触发源”，转换是“路径规则”，动作是“执行效果”。四者缺一不可，共同构成状态机的完整语义。

状态是设备行为的最小稳定单元。在 SECS/GEM 中，状态通常分为控制状态（如 COMMUNICATION、CONTROL）和处理状态（如 PROCESSING、IDLE）。每个状态必须满足：

事件是状态转换的触发器。在 SECS/GEM 中，事件分为两类：

事件必须满足原子性：一个事件要么完全发生，要么完全不发生，不存在中间状态。事件通常携带参数（如报警 ID、工艺配方号），这些参数会影响转换后的动作。

⚠️ 常见误区： 不要把“状态”当作“事件”。例如“设备进入 ALARM 状态”是状态变化的结果，而“传感器检测到温度超限”才是事件。事件是原因，状态是结果。

转换定义了设备如何从一个状态迁移到另一个状态。每个转换包含三个要素：

转换必须满足确定性：在任意状态下，对于同一事件，最多只能有一个确定的转换路径。如果存在多个可能路径，则必须通过守卫条件 (Guard Condition) 来区分。

动作是状态转换过程中执行的具体操作。动作可以是：

动作必须满足可重入性：如果转换因错误中断，设备应能回滚到安全状态，或通过补偿动作恢复一致性。动作通常按顺序执行，且每个动作的执行结果会影响后续动作。

  🔧 实践要点： 在 GEM 验证中，测试人员需要检查每个转换是否执行了正确的动作序列。例如，从 IDLE 到 PROCESSING 的转换，必须包含“锁定传送门”动作，否则存在安全风险。

在 SECS/GEM 标准中，设备状态机并非孤立存在，而是与 GEM 的能力模型紧密绑定。每个状态、事件、转换和动作，最终都会映射到具体的 SECS 消息和 GEM 状态变量：