SemaPLC 是什么？
SemaPLC 把 AI Agent 与 PLC 工程工具链连接起来，不只生成控制代码，还会对结果执行规范检查、编译和运行时仿真，并根据验证反馈继续修正。
为什么需要验证闭环？
PLC 直接控制设备、阀门、产线和安全联锁。代码语法正确并不代表运行行为符合需求，只有在项目环境中编译并执行测试，才能暴露时序、边界条件和异常场景问题。
主要流程
- 解析自然语言需求和已有工程上下文；
- 生成或补全 PLC 功能块与控制逻辑；
- 执行静态规范检查和项目编译；
- 在浏览器中的运行时环境进行过程仿真；
- 把失败信息反馈给 Agent，迭代直到通过验证门槛。
使用边界
自动验证不能替代现场安全评审、硬件联锁测试和工程师签字。用于真实设备前，应在隔离环境完成充分测试，并按照企业规范和行业标准审查。
