[发明专利]控制逻辑模拟－验证方法和模拟－验证个人计算机

摘要

一种模拟－验证个人计算机，包括控制装置仿真模拟器个人计算机以及设备模型模拟器个人计算机。控制装置仿真模拟器个人计算机装入了集成到控制装置的控制逻辑。设备模型模拟器个人计算机装入了设备模型逻辑。在接收到操作命令信号后，控制逻辑将用于控制设备运行的控制命令信号发送到设备模型逻辑。在接收到控制命令信号后，设备模型逻辑执行显示设备操作状态的模拟操作，并输出显示操作状态的运行状态信号。控制逻辑和设备模型逻辑都使用Linux作为OS，因此可以同时在个人计算机上运行。

主权项

1.一种控制逻辑模拟-验证方法，其包括：在可重构的相同的操作系统上执行控制逻辑和设备模型逻辑，根据操作状态和执行设备的运行控制所需的控制命令信号，使所述控制逻辑适合于输出，所述设备模型逻辑适合于在接收到控制命令信号后执行模拟设备操作状态的模拟操作，并输出显示操作状态的运行状态信号，和所述操作系统可作为只是必需功能部件的组合而使用。