[发明专利]一种建立PLC/DCS平台设备逻辑模型的方法

权利要求书

1.一种建立PLC/DCS平台设备逻辑模型的方法，包括以下步骤：

步骤1：获取设备的输入逻辑信号、输出逻辑信号和电气二次控制原理图；

步骤2：按照设备的输入逻辑信号、输出逻辑信号和电气二次控制原理图进行设备的分类，建立设备类库；

所述的设备的分类原则是：将具有相同输入逻辑信号、输出逻辑信号和电气二次控制原理图的设备视为同类设备，将具有不同输入逻辑信号、输出逻辑信号或者不同电气二次控制原理图的设备视为非同类设备；

其特征在于，还包括以下步骤：

步骤3：采用离散事件形式化方法，结合每类设备的各工作逻辑条件建立每类设备的若干逻辑模型，得到每类设备的逻辑模型集合；

所述离散事件形式化方法是根据每类设备的状态转换方程、每类设备的输入条件以及每类设备的输出方程建立逻辑模型，得到每类设备的逻辑模型集合；

所述的逻辑模型集合包括：输入事件集合、连续状态集合、输出状态集合、内部状态转换方程、外部状态转换方程、输出方程、预设时间方程；

输入事件集合：包括设备的输入条件；

连续状态集合：包括输入状态、中间转换状态、输出状态；

输出事件集合：包括设备的启动、停止、故障三种输出结果；

内部状态转换方程：表示设备的中间转换状态中上一个状态与下一个状态的转换关系的方程；

外部状态转换方程：表示设备的中间转换状态、设备的输入条件及设备的输入状态的关系的方程；

输出方程：表示设备的中间转换状态和设备的输出结果的关系的方程；

预设时间方程：在逻辑模型中从输入条件输入至输出结果输出的时间关系方程；

步骤4：根据得到的每类设备的逻辑模型集合，在现场PLC/DCS平台上，利用PLC/DCS程序控制设备的逻辑模型，在相同输入条件下，若设备的逻辑模型的输出结果与实际设备的输出结果不同，则该逻辑模型不正确，返回步骤3重新建立逻辑模型，否则，将该逻辑模型添加入设备逻辑模型库中；

步骤5：在工业现场进行PLC/DCS程序测试时，将相应设备逻辑模型从设备逻辑模型库中调出来，利用各设备逻辑模型搭建虚拟工业现场，将待测PLC/DCS程序与设备逻辑模型连接，完成对PLC/DCS程序的测试；

所述对PLC/DCS程序的测试：为从现代工业现场中设备逻辑控制程序测试的现状出发，找到目前程序测试存在的问题，并针对存在的问题进行需求分析，通过对工业现场的设备进行设备逻辑模型建立，并根据需求搭建模拟测试现场，通过将待测PLC/DCS程序施加到该模拟测试现场上，完成对PLC/DCS程序的测试。