Control logic check method, device, computer equipment and storage medium

Abstract

The present application relates to a control logic verification method, device, computer equipment and storage medium. The method includes: operating process equipment according to control logic, collecting equipment operation timing signals for the process equipment; generating an operation timing Gantt chart matching the equipment operation timing signals based on the equipment operation timing signals; obtaining preset and equipment design signals Design timing Gantt chart for timing signal matching; compare the running timing Gantt chart with the design timing Gantt chart to determine the verification result of the control logic. In this application, the control logic can be verified by comparing the operation timing Gantt chart with the design timing Gantt chart, without the need to verify the control logic through a mathematical model. The Gantt chart can visually display the operation of the internal equipment, thereby Improve the accuracy of the control logic verification method.

Description

technical field [0001] The present application relates to the technical field of industrial verification, and in particular, to a control logic verification method, device, computer equipment and storage medium. Background technique [0002] With the development of industrial manufacturing, the types of industrial equipment continue to increase. In a production process, a variety of devices are required to act in a certain order to complete the above production process, and the sequence of actions of the equipment is often controlled by programmable logic controllers. , therefore, the accuracy of the internal logic of the controller directly affects the reliability and safety of the production process. [0003] At present, the verification of the internal logic of the controller is often carried out through virtual simulation software, and the verification is carried out by importing the mathematical model and control logic in the virtual debugging process. However, the veri...

AI Technical Summary

Problems solved by technology

[0003] At present, the verification of the internal logic of the controller is often debugged through virtual simulation software, and the verification is carried out by importing the mathematical model and control logic during the virtual debugging process. However, it is difficult to verify the internal equipment through the control logic verification through the mathematical model. Operational conditions, the current control logic verification method is less accurate

Images