本发明提供一种针对控制器的软件仿真与验证方法，涉及工业自动化控制技术领域，本发明基于实际设备的输入输出数据构建逻辑设备模型，并将模型划分为多个功能层，每个功能层设定有操作信号、状态信号和参数信息；将每个功能层内的信号组合定义为仿真节点，...