Security checking method and security checking device and security checking equipment of programmable-controller program

Abstract

The invention provides a security checking method and a security checking device and security checking equipment of a programmable-controller program. The method includes: obtaining a state transitionmodel according to the programmable-controller (PLC) program of a to-be-checked service system, wherein the state transition model indicates all service states which the to-be-checked service systemmay have in a running process of the to-be-checked PLC program and transition relationships among all the service states; obtaining a logical proposition set used for describing service security checking rules; and carrying out finding on all of the service states in the state transition model according to the logical proposition set to obtain abnormal service states not conforming to the logicalproposition set and abnormal transition relationships containing the abnormal service states. According to the method, security checking for the service rules is realized, and checking accuracy on service security of the PLC program is improved.

Description

technical field [0001] The invention relates to the field of industrial control safety, in particular to a safety inspection method, device and equipment for a programmable controller program. Background technique [0002] Programmable Controller (Programmable Controller) is referred to as PC or PLC (in order to distinguish it from personal computer PC, this patent is collectively referred to as PLC), which is an electronic system for digital operation and is specially designed for application in industrial environments. It uses a memory that can be programmed to execute instructions for storing logic operations and sequence control, timing, counting, and arithmetic operations, and controls various types of operations through digital or analog input (I) and output (O) interfaces Type of machinery or production process. At present, PLC has been widely used in the automatic control of various production machinery and production processes, and has become the most important, mo...

AI Technical Summary

Problems solved by technology

However, in the process of PLC program design, especially when combined with specific business logic, it is necessary to fully consider the existence of various types of risks in the programming stage

Once the program writer misses the functional inspection related to business safety due to lack of experience or negligence, such as emergency stop motor operation when the limit signal is triggered, several motors should run in sequence or cannot run at the same time, etc., there will be safety hazards

[0004] The current security check function does not have a high troubleshooting capability

Images