SECSGEM状态机设计与实现

📚 共计 30 章节

半导体制造自动化背景、SECS/GEM协议族介绍、GEM标准的核心价值与应用场景。

背景协议族

状态机基础理论

有限状态机（FSM）概念、状态、事件、动作、状态转移表与状态转移图。

GEM状态模型总览

GEM定义的五大状态模型（COMMUNICATION、CONTROL、PROCESS、EQUIPMENT、ERROR）、状态模型之间的关系。

五大模型关系

通信状态模型

NOT COMMUNICATING、COMMUNICATING、WAIT CRA、WAIT CID状态详解。

控制状态模型

OFF-LINE、ON-LINE LOCAL、ON-LINE REMOTE、ATTEMPT ON-LINE状态详解。

处理状态模型

IDLE、SETUP、READY、EXECUTING、PAUSED、ABORTED状态详解。

设备状态模型

EQUIPMENT OFF、EQUIPMENT ON、EQUIPMENT IDLE、EQUIPMENT ACTIVE状态详解。

错误状态模型

NO ERROR、ERROR、DEGRADED状态详解。

状态转移事件

GEM定义的标准事件（如CE、PE、EE）、事件报告机制、事件与状态转移的关联。

状态机设计原则

状态机设计模式（Moore型与Mealy型）、状态编码策略、状态机安全性设计。

设计模式安全

状态机实现语言选择

C/C++实现、Python实现、状态机代码生成工具（如SMC、QPC）。

基于Python的状态机框架

transitions库介绍、状态定义、转移定义、回调函数。

transitions回调

通信状态机实现

使用transitions库实现COMMUNICATION STATE MODEL，包括连接建立、心跳检测、断线重连。

控制状态机实现

实现CONTROL STATE MODEL，包括Online/Offline切换、Remote/Local控制权限管理。

处理状态机实现

实现PROCESS STATE MODEL，包括Recipe加载、工艺启动、暂停、中止、完成流程。

设备状态机实现

实现EQUIPMENT STATE MODEL，包括设备上电、初始化、待机、运行、下电流程。

错误状态机实现

实现ERROR STATE MODEL，包括错误检测、错误上报、错误恢复、降级运行模式。

状态机嵌套与组合

层次状态机（HSM）概念、状态嵌套设计、状态机之间的消息通信。

状态机与GEM消息交互

状态机如何响应SECS-II消息（如S1F13、S1F14、S2F41）、消息路由设计。

状态机与事件报告

状态变化触发事件上报、事件报告格式（S6F11/S6F12）、事件使能控制。

事件上报S6F11

状态机与变量管理

状态机访问设备变量（DV）、状态变量（SV）、数据变量（V）、变量更新机制。

状态机与报警管理

报警状态机设计、报警触发（S5F1/S5F2）、报警清除、报警列表管理。

状态机与远程命令

远程命令（S2F41）处理流程、命令参数解析、命令执行状态反馈。

远程命令S2F41

状态机与配方管理

配方（Recipe）状态机、配方加载、配方验证、配方执行、配方存储。

状态机与数据采集

数据采集计划（DCP）管理、数据采集触发条件、数据上报（S6F1/S6F2）。

状态机测试策略

单元测试（状态转移测试）、集成测试（多状态机协同测试）、边界条件测试。

状态机性能优化

状态机响应时间优化、内存占用优化、大规模状态机集群管理。

状态机调试与日志

状态机日志设计、状态变化追踪、断点调试技巧、常见问题排查。

状态机安全设计

状态机访问控制、状态机防死锁设计、状态机异常保护、状态机恢复机制。

综合案例：半导体刻蚀设备GEM状态机完整实现

从需求分析、状态机设计、编码实现到测试验证的全流程实战。