AI PLC逻辑校验定制：I/O映射与互锁缺失识别

在自动化产线的改造与复制项目中，PLC 程序常以旧项目为模板手工修改。I/O 地址沿用、互锁条件被绕过、手/自动切换缺少分支，这类问题往往到现场联调才暴露，代价是一次次停机排查。

本期实验把程序静态检查做成一条可复用的流水线：先将梯形图与 SCL 源码解析为中间表示，抽取三样内容——I/O 映射表、互锁与使能链、状态机迁移关系；再与电气图纸导出的信号表、HMI 变量表交叉比对，标出地址冲突、变量只写不读、互锁条件缺失等候选问题；最后用设备时序日志回放，确认候选问题是否真的在运行中出现。

要点：

• 进展：在 12 个改造项目的历史程序上回溯测试，地址与信号表不一致、联锁条件缺失两类问题的召回约八成，误报集中在工艺允许的旁路逻辑上，需人工确认；单项目初筛时间由逐页阅读的数小时压缩到十几分钟。
• 下一步：接入 PLC 仿真回放，针对互锁缺失构造典型工况，验证是否会触发非预期动作，并把安全回路逻辑单列，避免与工艺旁路混淆。

当前定位是联调前的预检工具，不替代现场验证与安全评估。