WO2023116110A1

WO2023116110A1 - Verification system and method for non-security level dcs logic loop of nuclear power station

Info

Publication number: WO2023116110A1
Application number: PCT/CN2022/122321
Authority: WO
Inventors: 陈梅; 张海; 谢光辉; 李劲光; 臧鹏
Original assignee: 中广核核电运营有限公司; 中国广核集团有限公司; 中国广核电力股份有限公司
Priority date: 2021-12-24
Filing date: 2022-09-28
Publication date: 2023-06-29
Also published as: CN114442570B; CN114442570A

Abstract

A verification system and method for a non-security level DCS logic loop of a nuclear power plant. The system comprises a control terminal (10), a simulation server (20), a communication unit (30), and a DCS control cabinet (40). The control terminal (10) matches, according to a test instruction, a corresponding simulation input interface model according to a logic event series, performs value assignment in sequence, and outputs a verification result. The simulation server (20) performs simulation operation according to the value assignment of the control terminal (10) and sequentially sends an input signal value of each logic event series of each non-security level DCS logic loop by means of the communication unit (30). The DCS control cabinet (40) performs non-security level DCS logic loop operation according to the input signal value, and returns a logic loop operation result to the simulation server (20) by means of the communication unit (30). Comprehensive verification of the non-security level DCS logic loop is achieved, the problems of verification missing and omission are solved, moreover, the problem that a large number of logic loop combination tests cannot be carried out manually can also be solved, the test efficiency and reliability are greatly improved, and the automation degree is high.

Description

A verification system and method for a non-safety level DCS logic circuit of a nuclear power plant

technical field

The invention relates to the technical field of nuclear power digital instrument control systems, and more specifically relates to a verification system and method for non-safety level DCS logic circuits of nuclear power plants.

Background technique

At present, due to the complexity of the logic circuit system of the non-safety digital instrumentation and control system (DCS) of nuclear power plants, the verification methods and tools for the logic circuit of the non-safety digital instrumentation and control system of nuclear power plants cannot fully verify its correctness. Unforeseen errors cannot be accurately found, and these unforeseen errors will cause partial function failures and reduce the safety and reliability of nuclear power plants.

Contents of the invention

The technical problem to be solved by the present invention is to provide a verification system and method for non-safety level DCS logic circuits of nuclear power plants in view of the defects of the prior art.

The technical solution adopted by the present invention to solve the technical problem is: to construct a verification system for non-safety level DCS logic circuits of nuclear power plants, including: control terminals, simulation servers, communication units and DCS control cabinets;

The control terminal is used to match the corresponding simulation input interface model according to the test instruction according to the logic event series and assign values in sequence, and output the verification result according to the logic circuit operation result returned by the simulation server;

The simulation server is connected to the control terminal, and is used to perform simulation operations according to the assignment of the control terminal and to send the input signal value of each logic event series of each non-safety level DCS logic circuit to the said communication unit sequentially. The above DCS control cabinet;

The DCS control cabinet performs a non-safe DCS logic circuit operation according to the input signal value, and returns the logic circuit operation result to the simulation server through the communication unit.

In the verification system of the nuclear power plant non-safety level DCS logic circuit according to the present invention, the control terminal includes: an analysis module;

The parsing module is used for reading and parsing the logic event series of each non-safety level DCS logic circuit in the execution script file, matching the corresponding simulation input interface model according to the logic event series and assigning values in sequence.

In the verification system of the non-safety level DCS logic circuit of the nuclear power plant according to the present invention, the control terminal further includes: a storage module;

The storage module is used to store the execution script file; the execution script file includes: a standard logic truth table of a non-safety level DCS logic circuit.

In the verification system of the nuclear power plant non-safety level DCS logic circuit according to the present invention, the control terminal further includes: a comparison module;

The comparison module is used to compare the operation result of the logic circuit with the standard logic truth table, and output the comparison result.

In the verification system of the nuclear power plant non-safety level DCS logic circuit according to the present invention, the control terminal further includes: a report generation module;

The report generation module is connected with the comparison module, and is used to generate a test verification report and verification information according to the comparison result; the test verification report and verification information are the verification results.

In the verification system of the nuclear power plant non-safety level DCS logic circuit according to the present invention, the control terminal further includes: a display module;

The display module is connected with the report generating module, and is used for displaying the verification information and the test verification report.

In the verification system of the nuclear power plant non-safety level DCS logic circuit according to the present invention, the control terminal further includes: a prompt module;

The prompt module is connected with the report generation module, and is used to output a first prompt signal when the operation result of the logic circuit is the same as the series of standard values corresponding to the standard logic truth table, and output the first prompt signal when the operation result of the logic circuit is Outputting a second prompt signal when it is different from the corresponding series of standard values in the standard logic truth table.

In the verification system of the nuclear power plant non-safety level DCS logical circuit of the present invention, described emulation server comprises: a plurality of event series modules;

Each event series module includes: multiple simulation input interface models and a simulation output interface model;

The multiple simulation input interface models are used to perform simulation operations according to the assignment of the control terminal and sequentially send the input signal values of each non-safety level DCS logic circuit and each logic event series to the DCS control through the communication unit Cabinet;

The simulation output interface is used to receive the logical operation result returned by the DCS control cabinet through the communication unit and send it to the control terminal.

In the verification system of the non-safety level DCS logic circuit of the nuclear power plant described in the present invention, the communication unit is a PCL communication module.

In the verification system of the nuclear power plant non-safety level DCS logic circuit according to the present invention, the DCS control cabinet includes: a logic circuit operation module;

The logic circuit calculation module is used to perform calculations on each non-safe DCS logic circuit according to the input signal value, and return the logic circuit calculation results to the simulation server through the communication unit.

The present invention also provides a method for verifying the non-safety level DCS logic circuit of a nuclear power plant, comprising the following steps:

The control terminal receives the test instruction input by the user, and according to the test instruction, matches the corresponding simulation input interface model according to the logic event series and assigns values in sequence;

The simulation server performs simulation operations according to the assignment of the control terminal, and sequentially sends the input signal value of each logic event series of each non-safety level DCS logic circuit;

The DCS control cabinet performs calculations on the logic event series of each non-safety level DCS logic circuit according to the input signal value, and outputs the logic circuit operation results;

The simulation server returns the operation result of the logic circuit to the control terminal;

The control terminal outputs a verification result according to the operation result of the logic circuit.

In the verification method of the nuclear power plant non-safety level DCS logic circuit of the present invention, the method also includes:

The simulation server sends the input signal value of each logic event series of each non-safety level DCS logic circuit to the DCS control cabinet through the communication unit.

The control terminal analyzes and compiles a standard logic truth table according to the non-safety level DCS logic circuit design drawings to be tested and verified;

The control terminal compiles the standard logic truth table to generate an execution script file;

The control terminal stores the execution script file.

In the method for verifying the non-safety level DCS logic loop of a nuclear power plant according to the present invention, the output of the verification result by the control terminal according to the operation result of the logic loop includes:

The control terminal compares the operation result of the logic loop with the standard logic truth table, and outputs the comparison result;

A test verification report and verification information are generated according to the comparison result; the test verification report and verification information are the verification results.

The control terminal displays the test verification report and the verification information.

The control terminal judges whether the operation result of the logic loop is the same as the corresponding series of standard values in the standard logic truth table;

If they are the same, then output the first prompt signal;

If not the same, output a second prompt signal.

Implementing the verification system and method of the non-safety level DCS logic circuit of the nuclear power plant of the present invention has the following beneficial effects: it includes a control terminal, a simulation server, a communication unit and a DCS control cabinet; the control terminal matches the corresponding simulation input according to the test instruction according to the logic event series The interface model is assigned in sequence, and the verification results are output; the simulation server performs simulation operations according to the assignment of the control terminal and sends the input signal value of each non-safety DCS logic circuit and each logic event series in turn through the communication unit; the DCS control cabinet according to the input The signal value is subjected to non-safety level DCS logic loop calculation, and the logic loop calculation result is returned to the simulation server through the communication unit. The invention realizes the comprehensive verification of the non-safety DCS logic circuit, solves the problem of lack of verification and omission, and can also solve the problem that a large number of logical circuit combination tests cannot be carried out manually, greatly improves the test efficiency and reliability, and has a high degree of automation .

Description of drawings

The present invention will be further described below in conjunction with accompanying drawing and embodiment, in the accompanying drawing:

Fig. 1 is the structural representation of the verification system of the non-safety level DCS logic circuit of the nuclear power plant provided by the embodiment of the present invention;

Fig. 2 is a schematic flowchart of a verification method for a non-safety level DCS logic circuit of a nuclear power plant provided by an embodiment of the present invention.

Detailed ways

In order to have a clearer understanding of the technical features, purposes and effects of the present invention, the specific implementation manners of the present invention will now be described in detail with reference to the accompanying drawings.

Referring to FIG. 1 , it is a structural schematic diagram of an alternative embodiment of a verification system for a non-safety level DCS logic circuit of a nuclear power plant provided by the present invention.

Specifically, as shown in FIG. 1 , the verification system of the non-safety DCS logic circuit of the nuclear power plant includes: a control terminal 10 , a simulation server 20 , a communication unit 30 and a DCS control cabinet 40 .

The control terminal 10 is used to match the corresponding simulation input interface model according to the logic event series according to the test instruction and assign values in sequence, and to output the verification result according to the logic circuit operation result returned by the simulation server 20 .

The simulation server 20 is connected with the control terminal 10, and is used to perform simulation calculations according to the assignment of the control terminal 10 and send the input signal values of each non-safety level DCS logic circuit and each logic event series to the DCS control cabinet 40 sequentially through the communication unit 30.

The DCS control cabinet 40 performs non-safe DCS logic circuit calculations according to the input signal value, and returns the logic circuit calculation results to the simulation server 20 through the communication unit 30 .

In some embodiments, the control terminal 10 includes: an analysis module.

The analysis module is used to read and analyze the logic event series of each non-safety level DCS logic circuit in the execution script file, match the corresponding simulation input interface model according to the logic event series and assign values in sequence.

Optionally, in the embodiment of the present invention, the analysis module can read and analyze the logic event series of each non-safety level DCS logic circuit in the execution script file, and match the corresponding simulation in the simulation server 20 according to the logic event series. Input the interface model, and assign values to the matching simulation input interface models in sequence.

In some embodiments, the control terminal 10 further includes: a storage module.

The storage module is used to store the execution script file; the execution script file includes: a standard logic truth table of the non-safety level DCS logic circuit.

Optionally, in the embodiment of the present invention, the standard logic truth table can be compiled and analyzed according to the non-safety level DCS logic circuit design drawings to be tested and verified. Wherein, the standard logic truth table can be compiled into an execution script file and stored in the storage module. Optionally, in this embodiment of the present invention, the compiled execution script file may be stored in a preset script folder in the storage module.

Further, in some embodiments, the control terminal 10 further includes: a comparison module.

Further, in some embodiments, the control terminal 10 further includes: a report generation module.

The report generation module is connected with the comparison module, and is used to generate a test verification report and verification information according to the comparison result; the test verification report and verification information are verification results.

Further, in some embodiments, the control terminal 10 further includes: a display module.

Further, in some embodiments, the control terminal 10 further includes: a prompt module.

The prompting module is connected with the report generating module, and is used for outputting the first prompting signal when the logic circuit operation result is the same as the corresponding series standard value in the standard logic truth table, and the corresponding series in the logic circuit operation result and the standard logic truth table When the standard values are different, a second prompt signal is output.

In some embodiments, as shown in FIG. 1 , the simulation server 20 includes: a plurality of event series modules.

Optionally, in this embodiment of the present invention, each event series module includes: multiple simulation input interface models and one simulation output interface model.

Multiple simulation input interface models are used to perform simulation operations according to the assignment of the control terminal 10 and sequentially send the input signal values of each non-safety DCS logic circuit and each logic event series to the DCS control cabinet 40 through the communication unit 30 . The simulation output interface is used to receive the logical operation result returned by the DCS control cabinet 40 through the communication unit 30 and send it to the control terminal 10 .

Optionally, in the embodiment of the present invention, the communication unit 30 may be a PLC communication module.

Optionally, as shown in FIG. 1 , the DCS control cabinet 40 includes: a logic circuit operation module.

The logic circuit calculation module is used to perform calculations on each non-safety DCS logic circuit according to the input signal value, and return the logic circuit calculation result to the simulation server 20 through the communication unit 30 .

Specifically, after the analysis module in the control terminal 10 reads and analyzes the logic event series of each non-safety level DCS logic circuit in the execution script file, it matches the corresponding simulation input interface model in the simulation server 20 according to the logic event series, and Assign values to the matched simulation input interface models in sequence, and then, the assigned simulation input interface models perform simulation operations according to the obtained assignments, and input each logic event series of each non-safety level DCS logic circuit through the communication unit 30 The signal values are sequentially sent to the DCS control cabinet 40 . The DCS control cabinet 40 performs logic circuit operations on each event series of the corresponding non-safety level DCS logic circuit according to the input signal value sent by the simulation input interface model of the simulation server 20, and returns the logic circuit operation results to the corresponding through the communication unit 30. The simulation output interface model of . For example, as shown in Figure 1, if the matching simulation input interface model is simulation input interface model 1, simulation input interface model 2, ..., simulation input interface model n in event series 1, then after assignment, event series 1 After the simulation input interface model 1, simulation input interface model 2, ..., simulation input interface model n in the corresponding simulation operation, the corresponding input signal value is sent to the DCS control cabinet 40 through the communication unit 30, and the DCS control cabinet 40 According to the received input signal value, the event series 1 in the corresponding non-safety level DCS logic circuit is subjected to a logic circuit operation, and the logic circuit operation result is returned to the simulation output interface model of the event series 1 through the communication unit 30, and the event series 1 The simulation output interface model of the simulation output interface model returns the logic circuit operation result to the control terminal 10, and the comparison module in the control terminal 10 compares the returned logic circuit operation result with the corresponding series of standard values in the standard logic truth table, and The comparison result is sent to the report generation module, and the report generation module generates a test verification report and verification information according to the comparison result. At the same time, the display module also displays the test verification report and verification information generated by the report generation module. Further, the prompting module also prompts the verification information. Specifically, when the operation result of the logic circuit is the same as the corresponding series of standard values in the standard logic truth table, the first prompt signal is output, and when they are different, the second prompt signal is output.

Optionally, in this embodiment of the present invention, the first prompt signal may be a green light, and the second prompt signal may be a red light.

The present invention realizes the design of the non-safety DCS logic circuit by adopting the standard logic truth table representing all possible states between the input and the output of the logic event of the non-safety level DCS logic circuit as the test and verification standard of the non-safety level DCS logic circuit , configuration design and all verifications of the correctness of DCS actual logic operations solve the problem of lack of non-safety DCS verification standards.

Further, the present invention can perform automatic testing, which solves the problem that human beings cannot carry out the logical combination test in the standard logical truth table. For example, if a logic circuit has n inputs, it needs to test ( ²ⁿ +1) series, and the number of input variables of some circuits is as high as ²³⁵ times, which is impossible to complete for manual testing, and the present invention can be based on the non-safety of the nuclear power plant. Level DCS logic circuit verification system automatic test verification.

In addition, the present invention can greatly improve the test reliability and efficiency, and can repeat the test for multiple rounds, realizing the goal of moving the debugging forward, and has great applicability to the logic circuit test of the new nuclear power unit and the DCS transformation of the nuclear power unit in service sex.

Referring to FIG. 2 , it is a schematic flowchart of an alternative embodiment of a verification method for a non-safety level DCS logic circuit of a nuclear power plant provided by the present invention.

The method for verifying the non-safety level DCS logic circuit of a nuclear power plant can be realized by the verification system for the non-safety level DCS logic circuit of a nuclear power plant disclosed in the embodiment of the present invention.

As shown in Figure 2, the verification method of the non-safety level DCS logic circuit of the nuclear power plant includes the following steps:

Step S201, the control terminal 10 receives the test instruction input by the user, matches the corresponding simulation input interface model according to the test instruction according to the logic event series, and assigns values in sequence.

Step S202 , the simulation server 20 performs a simulation operation according to the value assigned by the control terminal 10 , and sequentially sends the input signal value of each logic event series of each non-safety DCS logic circuit.

Step S203 , the DCS control cabinet 40 performs calculations on the logic event series of each non-safety level DCS logic circuit according to the input signal value, and outputs the operation result of the logic circuit.

Step S204 , the simulation server 20 returns the logic circuit operation result to the control terminal 10 .

Step S205, the control terminal 10 outputs a verification result according to the logic circuit operation result.

Further, in some embodiments, the method for verifying the non-safety level DCS logic loop of the nuclear power plant further includes: the simulation server 20 sequentially sends each logic event series of each non-safety level DCS logic loop to the DCS control cabinet 40 through the communication unit 30 Enter the signal value.

Further, in some embodiments, the verification method of the non-safety level DCS logic circuit of the nuclear power plant also includes: the control terminal 10 analyzes and compiles a standard logic truth table according to the design drawings of the non-safety level DCS logic circuit to be tested and verified; the control terminal 10 Compile the standard logic truth table to generate an execution script file; the control terminal 10 stores the execution script file.

In some embodiments, the control terminal 10 outputting the verification result according to the logic loop operation result includes: the control terminal 10 compares the logic loop operation result with the standard logic truth table, and outputs the comparison result; generates a test verification report according to the comparison result and verification information; the test verification report and verification information are verification results.

Further, in some embodiments, the method for verifying the non-safety level DCS logic circuit of the nuclear power plant further includes: the control terminal 10 displays the test verification report and verification information.

Further, in some embodiments, the method for verifying the non-safety level DCS logic loop of the nuclear power plant further includes: the control terminal 10 judges whether the operation result of the logic loop is the same as the corresponding series of standard values in the standard logic truth table; if they are the same, output The first prompt signal; if not the same, output the second prompt signal.

Each embodiment in this specification is described in a progressive manner, each embodiment focuses on the difference from other embodiments, and the same and similar parts of each embodiment can be referred to each other. As for the device disclosed in the embodiment, since it corresponds to the method disclosed in the embodiment, the description is relatively simple, and for relevant details, please refer to the description of the method part.

Professionals can further realize that the units and algorithm steps of the examples described in conjunction with the embodiments disclosed herein can be implemented by electronic hardware, computer software or a combination of the two. In order to clearly illustrate the possible For interchangeability, in the above description, the composition and steps of each example have been generally described according to their functions. Whether these functions are executed by hardware or software depends on the specific application and design constraints of the technical solution. Skilled artisans may use different methods to implement the described functions for each specific application, but such implementation should not be regarded as exceeding the scope of the present invention.

The steps of the methods or algorithms described in connection with the embodiments disclosed herein may be directly implemented by hardware, software modules executed by a processor, or a combination of both. Software modules can be placed in random access memory (RAM), internal memory, read-only memory (ROM), electrically programmable ROM, electrically erasable programmable ROM, registers, hard disk, removable disk, CD-ROM, or any other Any other known storage medium.

The above embodiments are only to illustrate the technical conception and characteristics of the present invention. The purpose is to enable those skilled in the art to understand the content of the present invention and implement it accordingly, and cannot limit the protection scope of the present invention. All equivalent changes and modifications made in accordance with the scope of the claims of the present invention shall fall within the scope of the claims of the present invention.

Claims

A verification system for a non-safety level DCS logic circuit in a nuclear power plant, characterized in that it includes: a control terminal, a simulation server, a communication unit, and a DCS control cabinet;

The control terminal is used to match the corresponding simulation input interface model according to the test instruction according to the logic event series and assign values in sequence, and output the verification result according to the logic circuit operation result returned by the simulation server;

The simulation server is connected to the control terminal, and is used to perform simulation calculations according to the assignment of the control terminal and send the input signal value of each logic event series of each non-safety DCS logic circuit to the said communication unit sequentially. The above DCS control cabinet;

The DCS control cabinet performs a non-safe DCS logic circuit operation according to the input signal value, and returns the logic circuit operation result to the simulation server through the communication unit.
The verification system of the nuclear power plant non-safety level DCS logic circuit according to claim 1, wherein the control terminal comprises: an analysis module;

The parsing module is used for reading and parsing the logic event series of each non-safety level DCS logic circuit in the execution script file, matching the corresponding simulation input interface model according to the logic event series and assigning values in sequence.
The verification system for non-safety level DCS logic circuits of nuclear power plants according to claim 2, wherein the control terminal further comprises: a storage module;

The storage module is used to store the execution script file; the execution script file includes: a standard logic truth table of a non-safety level DCS logic circuit.
The verification system for non-safety level DCS logic circuits of nuclear power plants according to claim 3, wherein the control terminal also includes: a comparison module;

The comparison module is used to compare the operation result of the logic circuit with the standard logic truth table, and output the comparison result.
The verification system for non-safety level DCS logic circuits of nuclear power plants according to claim 4, wherein the control terminal also includes: a report generating module;

The report generation module is connected with the comparison module, and is used to generate a test verification report and verification information according to the comparison result; the test verification report and verification information are the verification results.
The verification system for non-safety level DCS logic circuits of nuclear power plants according to claim 5, wherein the control terminal further comprises: a display module;

The display module is connected with the report generating module, and is used for displaying the verification information and the test verification report.
The verification system for non-safety level DCS logic circuits of nuclear power plants according to claim 5, wherein the control terminal further comprises: a prompt module;

The prompt module is connected with the report generation module, and is used to output a first prompt signal when the operation result of the logic circuit is the same as the series of standard values corresponding to the standard logic truth table, and output the first prompt signal when the operation result of the logic circuit is Outputting a second prompt signal when it is different from the corresponding series of standard values in the standard logic truth table.
The verification system of the nuclear power plant non-safety level DCS logic circuit according to claim 1, wherein the simulation server includes: a plurality of event series modules;

Each event series module includes: multiple simulation input interface models and a simulation output interface model;

The multiple simulation input interface models are used to perform simulation operations according to the assignment of the control terminal and sequentially send the input signal values of each non-safety level DCS logic circuit and each logic event series to the DCS control through the communication unit Cabinet;

The simulation output interface is used to receive the logical operation result returned by the DCS control cabinet through the communication unit and send it to the control terminal.
The verification system for non-safety level DCS logic circuits of nuclear power plants according to claim 1, wherein the DCS control cabinet comprises: a logic circuit operation module;

The logic circuit calculation module is used to perform calculations on each non-safe DCS logic circuit according to the input signal value, and return the logic circuit calculation results to the simulation server through the communication unit.
A method for verifying a nuclear power plant non-safety level DCS logic circuit, characterized in that it comprises the following steps:

The control terminal receives the test instruction input by the user, and according to the test instruction, matches the corresponding simulation input interface model according to the logic event series and assigns values in sequence;

The simulation server performs simulation operations according to the assignment of the control terminal, and sequentially sends the input signal value of each logic event series of each non-safety level DCS logic circuit;

The DCS control cabinet performs calculations on the logic event series of each non-safety level DCS logic circuit according to the input signal value, and outputs the logic circuit operation results;

The simulation server returns the operation result of the logic circuit to the control terminal;

The control terminal outputs a verification result according to the operation result of the logic circuit.
The method for verifying the non-safety level DCS logic loop of a nuclear power plant according to claim 10, wherein the method further comprises:

The simulation server sequentially sends the input signal value of each logic event series of each non-safety level DCS logic circuit to the DCS control cabinet through the communication unit.
The method for verifying the non-safety level DCS logic loop of a nuclear power plant according to claim 10, wherein the method further comprises:

The control terminal analyzes and compiles a standard logic truth table according to the non-safety level DCS logic circuit design drawings to be tested and verified;

The control terminal compiles the standard logic truth table to generate an execution script file;

The control terminal stores the execution script file.
The method for verifying the non-safety level DCS logic loop of a nuclear power plant according to claim 12, wherein the output of the verification result by the control terminal according to the operation result of the logic loop includes:

The control terminal compares the operation result of the logic loop with the standard logic truth table, and outputs the comparison result;

A test verification report and verification information are generated according to the comparison result; the test verification report and verification information are the verification results.
The method for verifying the non-safety level DCS logic loop of a nuclear power plant according to claim 12, wherein the method further comprises:

The control terminal displays the test verification report and the verification information.
The method for verifying the non-safety level DCS logic loop of a nuclear power plant according to claim 12, wherein the method further comprises:

The control terminal judges whether the operation result of the logic loop is the same as the corresponding series of standard values in the standard logic truth table;

If they are the same, then output the first prompt signal;

If not the same, output a second prompt signal.