3. 虚拟调试中的I/O信号强制与仿真验证

为什么强制 I/O 是虚拟调试的核心手段

在真实设备上，强制输入信号需要短接端子或使用强制表，风险高且不可反复。虚拟调试环境里，PLC 仿真器（如 PLCSIM Advanced、CODESYS SoftPLC）允许直接对输入过程映像区（I 区）写入值，相当于"无接线强制"。本节以一条典型的安全互锁回路为例：安全门关闭 + 启动按钮按下 → 电机接触器输出 Q0.0 得电；安全门打开 → Q0.0 立即失电。我们通过强制 I0.0（安全门）、I0.1（启动按钮）来验证该逻辑在虚拟模型中的响应。

信号定义与互锁逻辑

互锁逻辑用梯形图表达为：Q0.0 = I0.0 AND I0.1 AND I0.2，同时 Q0.1 = NOT I0.0。下面用一段与仿真器兼容的 ST 代码实现，可直接在 CODESYS/OpenPLC 中运行：

PROGRAM SafetyInterlock
VAR
    DoorClosed  AT %I0.0 : BOOL;
    StartPB     AT %I0.1 : BOOL;
    EStop_OK    AT %I0.2 : BOOL;
    MotorRun    AT %Q0.0 : BOOL;
    DoorOpenLamp AT %Q0.1 : BOOL;
END_VAR

// 安全互锁：三个条件同时满足才允许电机运行
MotorRun := DoorClosed AND StartPB AND EStop_OK;

// 门开指示：门未关闭时点亮
DoorOpenLamp := NOT DoorClosed;
END_PROGRAM

强制操作与响应观察

在仿真器中打开变量监控表，将 I0.0、I0.1、I0.2 加入强制列。按以下顺序写入并观察 Q0.0、Q0.1 的变化：

1. 强制 I0.2=1（急停正常），I0.0=1（门关），I0.1=0（未按启动）→ 预期 Q0.0=0，Q0.1=0。
2. 保持上述状态，强制 I0.1=1（按下启动）→ 预期 Q0.0=1，Q0.1=0，虚拟模型中电机开始转动。
3. 在电机运行状态下强制 I0.0=0（模拟门被打开）→ 预期 Q0.0 立即变为 0，Q0.1=1，虚拟模型中电机停转、门开指示灯亮。
4. 恢复 I0.0=1，但保持 I0.1=1 → 预期 Q0.0 重新变为 1（若程序为自锁保持则需复位启动按钮，本例为电平逻辑，故直接恢复）。

虚拟模型响应与验证判据

数字孪生模型中，Q0.0 映射到电机转速输入，Q0.1 映射到门开指示灯材质。强制 I0.0=0 后，模型应在 100 ms 内显示电机转速归零、指示灯变红。验证通过的判据是：PLC 输出状态与模型视觉状态一致，且互锁条件不满足时输出不可能为 1。下表给出完整的强制序列与预期结果，可作为测试用例直接使用：

常见异常与排查

• 强制后输出不变：检查仿真器是否处于 RUN 模式，STOP 模式下程序不扫描，强制值不会传递到输出。
• 强制值被程序覆盖：若程序中存在对同一地址的写操作（如 I0.0 := ...），强制值会在扫描周期内被覆盖。输入地址只应由外部强制或物理输入写入。
• 模型响应延迟大：检查 OPC UA 或共享内存的通信周期，通常应 ≤ 50 ms。若模型使用轮询方式读取，需缩短轮询间隔。
• 互锁逻辑失效：确认梯形图中没有使用 SET 指令保持 Q0.0，安全回路必须使用直接赋值或 RESET 优先逻辑。