Error lock-resistant logic rule generation and check system

Abstract

The invention relates to an error lock-resistant logic rule generation and check system characterized by comprising an input-output module, a graphic editing module, a typical interval model library, a graphic analysis module, an abstract logic formula library, an abstract logic formula rule library and a logic formula generation module. With built-in transformer stations, various typical wiring models and a general five-prevention logic formula, after concrete transformer station main wiring information is read, the main wiring information can be matched with a system built-in typical device wiring model; then the general five-prevention logic formula corresponding to a matching result can be changed into practical device information and then output, and a concrete five-prevention logic formula can be acquired; further, the automatically-generated logic formula and the well-edit logic formula are checked; and problems of low transform station five-prevention logic formula writing and checking efficiency, poor reliability and incapability of self-reliability prove can be solved.

Description

technical field [0001] The invention relates to a system for generating and checking logical rules of anti-mistake locking. Background technique [0002] The microcomputer five-prevention system is generally installed in the substation, and the microcomputer five-prevention system plays a very important role as a guarantee for the safety of the switching operation. The basis for judging the five anti-misoperations of the microcomputer comes from the five anti-logic formulas. The current five anti-logic formulas are all manually written. The entire writing process is inefficient, time-consuming and costly, and omissions are error-prone, and there is a greater security risk. , so the industry has been studying how to realize the automatic generation of five defense logic formulas. [0003] The industry has carried out research on this issue, expecting to introduce a technology that automatically generates and verifies five-defense logic formulas, and some achievements have be...

AI Technical Summary

Problems solved by technology

[0005] In view of this, the purpose of the present invention is to provide a system for generating and checking logic rules for anti-misoperation locking, which solves the problems of low efficiency in writing and checking logic formulas for five defenses in current substations, insufficient reliability, and failure to prove its own reliability.

Images