CN118092358A - Consistency verification method and verification platform for nuclear power plant configuration diagram and control logic diagram - Google Patents
Consistency verification method and verification platform for nuclear power plant configuration diagram and control logic diagram Download PDFInfo
- Publication number
- CN118092358A CN118092358A CN202410357972.XA CN202410357972A CN118092358A CN 118092358 A CN118092358 A CN 118092358A CN 202410357972 A CN202410357972 A CN 202410357972A CN 118092358 A CN118092358 A CN 118092358A
- Authority
- CN
- China
- Prior art keywords
- test
- configuration diagram
- logic diagram
- signal
- control logic
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM]
- G05B19/41845—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM] characterised by system universality, reconfigurability, modularity
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/30—Nc systems
- G05B2219/33—Director till display
- G05B2219/33273—DCS distributed, decentralised controlsystem, multiprocessor
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Manufacturing & Machinery (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Automation & Control Theory (AREA)
- Testing And Monitoring For Control Systems (AREA)
Abstract
The invention relates to a nuclear power plant configuration diagram and control logic diagram consistency verification method and a verification platform, wherein the method comprises the following steps: establishing a communication channel with a unit simulation platform; through interaction with the unit simulation platform, a target control logic diagram and a configuration diagram associated with the target control logic diagram are determined, and configurable parameters of the target control logic diagram are determined; configuring a test range based on the configurable parameters to generate a test case; outputting a control signal according to the test case, and sending the control signal to the unit simulation platform so that the unit simulation platform respectively operates the target control logic diagram and the configuration diagram based on the control signal to acquire logic diagram output data and configuration diagram output data output by the unit simulation platform; consistency analysis is carried out on the logic diagram output data and the configuration diagram output data, and an analysis result is output; the invention can efficiently and accurately verify the consistency of the control logic diagram and the configuration diagram.
Description
Technical Field
The invention relates to the technical field of nuclear power, in particular to a method and a platform for verifying consistency of a configuration diagram and a control logic diagram of a nuclear power plant.
Background
According to the related regulation requirements of the nuclear power plant, the DCS configuration diagram (abbreviated as the configuration diagram) can be applied to the nuclear power plant after verification. However, in the process of building a nuclear power plant, the situation that the D configuration diagram is inconsistent with the control logic diagram often occurs, which leads to inconsistent control and design of the nuclear power plant, so that the safety and reliability of the nuclear power plant cannot be ensured.
At present, the consistency verification of the configuration diagram and the control logic diagram of the nuclear power plant generally adopts the following two modes: 1. the method is characterized in that a graph comparison method is adopted, a graph tracing method is adopted, a control logic graph is used as a reference, each functional block and each connecting line in the configuration graph are compared one by one, and graph tracing identification is carried out on a drawing, however, the method is low in efficiency and easy to miss; 2. the static examination method is verified by a file examination mode, and has the defects of insufficient accuracy, difficult effective examination of responsible logic functions and the like.
Disclosure of Invention
The invention aims to solve the technical problem of providing a nuclear power plant configuration diagram and control logic diagram consistency verification method and a verification platform.
The technical scheme adopted for solving the technical problems is as follows: a method for verifying consistency of a configuration diagram and a control logic diagram of a nuclear power plant is constructed, and the method comprises the following steps:
Establishing a communication channel with a unit simulation platform;
through interaction with the unit simulation platform, a target control logic diagram and a configuration diagram associated with the target control logic diagram are determined, and configurable parameters of the target control logic diagram are determined;
configuring a test range based on the configurable parameters to generate a test case;
outputting a control signal according to the test case, and sending the control signal to the unit simulation platform so that the unit simulation platform respectively operates the target control logic diagram and the configuration diagram based on the control signal to acquire logic diagram output data and configuration diagram output data output by the unit simulation platform;
and carrying out consistency analysis on the logic diagram output data and the configuration diagram output data, and outputting an analysis result.
Preferably, the configurable parameters comprise a number of configurable test signals;
the configuring the test scope based on the configurable parameters to generate test cases includes:
Setting a test mode; the test mode comprises a full-variable exhaustion mode and a finite-variable exhaustion mode;
And determining a plurality of target test signals to be tested according to the test mode, and generating the test case according to each target test signal.
Preferably, the determining a plurality of target test signals to be tested according to the test mode includes:
If the test mode is the all-variable exhaustion mode, all the configurable test signals are determined to be the target test signals;
And if the test mode is the finite variable exhaustion mode, acquiring a signal selection instruction, and determining a target test signal to be tested according to the signal selection instruction.
Preferably, the generating the test case according to each target test signal includes:
And respectively configuring the set value of each target test signal according to a preset case pattern, and generating the test case according to the set value of each target test signal.
Preferably, the preset use case style comprises at least two sets of setting value lists; each set of the set value list comprises a plurality of preset values which are in one-to-one correspondence with all the configurable test signals; the test cases comprise a plurality of sub-test cases which are in one-to-one correspondence with the value setting lists;
The method for respectively configuring the set value of each target test signal according to the preset case style and generating the test case according to the set value of each target test signal comprises the following steps:
Sequentially configuring the set values of the target test signals by taking each set value list as a unit;
After the setting value of each set of setting value list is configured, generating one sub-test case according to the setting value of each target test signal;
The outputting a control signal according to the test case includes:
Taking each sub-test case as a unit, and taking all the set values in the sub-test cases as sub-control signals of the corresponding sub-test cases respectively;
and outputting all the sub control signals in each sub test case in turn.
Preferably, the configuring the setting value of each target test signal according to the preset use case pattern includes:
if the test mode is the finite variable exhaustion mode, performing on each target test signal with the switching value signal as each type:
Judging whether the two set values of the target test signal are different from each other in the set values in all the set value lists or not, if not, setting the set value of the target test signal in one set of set value lists as another set value after the set value of one set of set value lists is configured.
Preferably, the configuring the setting value of each target test signal according to the preset use case pattern includes:
and acquiring a setting value setting instruction to set the setting value of the target test signal according to the setting value setting instruction.
Preferably, the logic diagram output data comprises a plurality of logic diagram output signals, and the configuration diagram output data comprises a plurality of configuration diagram output signals corresponding to the logic diagram output signals one by one;
the consistency analysis of the logic diagram output data and the configuration diagram output data comprises the following steps:
each pair of logic diagram output signals and configuration diagram output signals which correspond to each other are processed:
if the logic diagram output signal and the configuration diagram output signal are switching value signals, judging whether the logic diagram output signal is the same as the configuration diagram output signal, if so, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is qualified, otherwise, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is unqualified;
If the logic diagram output signal and the configuration diagram output signal are analog quantity signals, judging whether the error between the logic diagram output signal and the configuration diagram output signal is smaller than a preset error value, if so, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is qualified, otherwise, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is unqualified.
Preferably, the method for verifying the consistency of the configuration diagram and the control logic diagram of the nuclear power plant further comprises the following steps:
acquiring a report style setting instruction to configure display information of a preset report template according to the report style setting instruction;
generating a verification report based on the preset report template and the analysis result;
The display information comprises at least one of a record file, test data, a signal editing range, a record time range and a trend change chart; the trend change graph comprises at least one of an input signal line graph, an output signal line graph and all signal line graphs; .
Preferably, the method for verifying the consistency of the configuration diagram and the control logic diagram of the nuclear power plant further comprises the following steps:
Acquiring a save path setting instruction to perform at least one of the following operations according to the save path setting instruction:
setting a storage path of the configuration diagram;
setting a storage path of the control logic diagram;
Setting a storage path of the test case; and
And setting a preservation path of the verification report.
The invention also constructs a verification platform comprising:
the communication module is used for establishing a communication channel with the unit simulation platform, determining a target control logic diagram and a configuration diagram associated with the target control logic diagram through interaction with the unit simulation platform, and determining configurable parameters of the target control logic diagram;
the test case generation module is used for configuring a test range based on the configurable parameters and generating a test case; and
The test management module is used for outputting a control signal according to the test case and sending the control signal to the unit simulation platform so that the unit simulation platform can respectively run the target control logic diagram and the configuration diagram based on the control signal to acquire logic diagram output data and configuration diagram output data output by the unit simulation platform, and consistency analysis is carried out on the logic diagram output data and the configuration diagram output data to output an analysis result.
Preferably, the test management module is further configured to configure display information of a preset report template according to a report style setting instruction, and generate a verification report based on the preset report template and the analysis result;
The verification platform further comprises:
and the man-machine interaction module is used for inputting the report style setting instruction and displaying the verification report.
The invention also constructs a system for verifying the consistency of the configuration diagram and the control logic diagram of the nuclear power plant, which comprises a unit simulation platform and the verification platform.
The implementation of the invention has the following beneficial effects: providing a nuclear power plant configuration diagram and control logic diagram consistency verification method; the target control logic diagram and the configuration diagram associated with the target control logic diagram are respectively activated based on the same control signals through interaction with the unit simulation platform, so that logic diagram output data and configuration diagram output data are obtained, and then consistency analysis is carried out on the logic diagram output data and the configuration diagram output data, so that an analysis result of whether the target control logic diagram and the configuration diagram associated with the target control logic diagram are consistent or not is output, and the consistency of the control logic diagram and the configuration diagram can be effectively and accurately verified.
Drawings
The invention will be further described with reference to the accompanying drawings and examples, in which:
FIG. 1 is a flow chart of a method for verifying the consistency of a configuration diagram and a control logic diagram of a nuclear power plant according to some embodiments of the present invention;
FIG. 2 is a flowchart illustrating a method for verifying the consistency of a configuration map and a control logic map of a nuclear power plant according to another embodiment of the present invention;
FIG. 3 is a display of a record file in some embodiments of the invention;
FIG. 4 is a schematic diagram of the structure of a verification platform in some embodiments of the invention.
Detailed Description
For a clearer understanding of technical features, objects and effects of the present invention, a detailed description of embodiments of the present invention will be made with reference to the accompanying drawings.
It should be noted that the flow diagrams depicted in the figures are merely exemplary and do not necessarily include all of the elements and operations/steps, nor are they necessarily performed in the order described. For example, some operations/steps may be decomposed, and some operations/steps may be combined or partially combined, so that the order of actual execution may be changed according to actual situations.
The block diagrams depicted in the figures are merely functional entities and do not necessarily correspond to physically separate entities. That is, the functional entities may be implemented in software, or in one or more hardware modules or integrated circuits, or in different networks and/or processor devices and/or microcontroller devices.
The invention provides a method for verifying consistency of a configuration diagram and a control logic diagram of a nuclear power plant, which can be used for efficiently and accurately verifying whether the configuration diagram and the control logic diagram are consistent. As shown in fig. 1, the method includes step S10, step S20, step S30, step S40, and step S50.
The step S10 includes: and establishing a communication channel with the unit simulation platform. In the step, a communication channel can be established with the unit simulation platform through communication modes such as network cables, wiFi and the like. In addition, the unit simulation platform can be an existing nuclear power plant unit simulation platform (such as a DCS system simulation platform) and can simulate a unit system activation (i.e. operation) configuration diagram and a control logic diagram. The activation refers to the function performed by the simulation running configuration diagram or the control logic diagram according to the input signal, so that signal transmission and real-time calculation of the functional block are realized to simulate the behavior of a real system.
Step S20 includes: through interaction with the unit simulation platform, a target control logic diagram and a configuration diagram related to the target control logic diagram are determined, and configurable parameters of the target control logic diagram are determined; in this step, after establishing a communication channel with the unit simulation platform, information interaction with the unit simulation platform can be achieved, including obtaining information from the platform or sending a control instruction to the platform, specifically, by interacting with the unit simulation platform, all control logic diagrams stored in the unit simulation platform can be determined, so that a worker can select a certain control logic diagram to be verified as a target control logic diagram through a man-machine interaction module, the configuration diagram to be verified is used as a configuration diagram associated with the target control logic diagram, further, all input signals corresponding to the target control logic diagram are determined through the unit simulation platform, and all the input signals belong to configurable test signals included in configurable parameters of the target control logic diagram.
The control logic diagram is a meter control logic diagram which visually expresses a certain system or equipment by using icon symbols, connecting wires and the like. The control logic diagram can be used to describe the logical relationships among controllers, sensors, and actuators in a control system, including input, output, processing, and control. Control logic diagrams are commonly used in engineering and development processes to facilitate a designer's better understanding and analysis of the operating principles and flows of a control system.
The DCS system is a neural center for controlling the safe operation of the nuclear power plant and comprises two parts of hardware and software, wherein the software is a DCS configuration diagram, and the reliability of the DCS configuration diagram is very important. The configuration diagram is drawn according to the control logic diagram, so that the input signals of the configuration diagram and the input signals of the control logic diagram associated therewith are always.
Step S30 includes: the test scope is configured based on the configurable parameters to generate test cases. In the step, a worker can select a configurable test signal of a certain part of the configurable parameters through the human-computer interaction module, determine all the configurable test signals to be verified, namely, configure a test range, and then generate test cases based on the test range. The test case can control the setting value of each configurable test signal to be verified, for example, if the configurable test signal is a switching value signal, the setting value may be "1", "0" or "last valid value", and if the configurable test signal is an analog value signal, the setting value may be a certain measured value (for example, the measured value of a certain temperature signal is 100 ℃).
Step S40 includes: and outputting a control signal according to the test case, and sending the control signal to the unit simulation platform so that the unit simulation platform respectively operates the target control logic diagram and the configuration diagram based on the input signal to acquire logic diagram output data and configuration diagram output data output by the unit simulation platform. In the step, the corresponding set values of all input signals (i.e. configurable test signals) in the target control logic diagram can be determined according to the test cases, so that the input signals can be respectively and simulatively output to the unit simulation platform based on the set values, namely, the control signals are sent to the unit simulation platform; when the unit simulation platform receives the control signal, based on the activated target control logic diagram and the associated configuration diagram, logic diagram output data which is output after the target control logic diagram is activated and can represent the output result after the target control logic diagram is activated and configuration diagram output data which is output after the configuration diagram associated with the target control logic diagram is activated and can represent the output result after the configuration diagram is activated are obtained.
Step S50 includes: and carrying out consistency analysis on the logic diagram output data and the configuration diagram output data, and outputting an analysis result.
It can be understood that, in this embodiment, by interacting with the unit simulation platform, the target control logic diagram and the configuration diagram associated with the target control logic diagram are activated based on the same control signal, so as to obtain the logic diagram output data and the configuration diagram output data, and then consistency analysis is performed on the logic diagram output data and the configuration diagram output data, so as to output an analysis result of whether the target control logic diagram is consistent with the configuration diagram associated with the target control logic diagram, so that consistency of the control logic diagram and the configuration diagram can be effectively and accurately verified.
In some embodiments, the test scope may be configured based on the configurable parameters and test cases may be generated by: setting a test mode, determining a plurality of target test signals to be tested according to the test mode, and generating test cases according to each target test signal; the test mode comprises a full-variable exhaustion mode and a finite-variable exhaustion mode. In this embodiment, the staff may set the test mode through the man-machine interaction module according to the test requirement.
In some embodiments, the number of target test signals to be tested may be determined by: if the test mode is a full-variable exhaustion mode, all the configurable test signals are determined as target test signals; if the test mode is a finite variable exhaustion mode, a signal selection instruction is obtained, and a target test signal to be tested is determined according to the signal selection instruction.
Specifically, in the full-variable exhaustion mode, all the configurable test signals included in the configurable parameters are set as target test signals, and in the limited-variable exhaustion mode, a worker can select a part of the configurable test signals in the configurable parameters as target test signals through the human-computer interaction module according to requirements. In this embodiment, if the target control logic diagram and the configuration diagram associated with the target control logic diagram are the first activation performed in the consistency verification work, the test mode may be set to a full-variable exhaustion mode, so as to test all the configurable test signals, and if it is found that after the first activation, a part of the target control logic diagram and the output signals associated with a part of the configuration diagram associated with the target control logic diagram are inconsistent, after the target control logic diagram or the configuration diagram is adjusted, the test mode may be set to a finite-variable exhaustion mode, and the configurable test signal causing the difference may be set to the target test signal (the configurable test signal unrelated to the difference may keep a set value), so that when the target control logic diagram and the configuration diagram are activated again, whether the target control logic diagram and the configuration diagram are consistent or not can be verified again more quickly and in a targeted manner, thereby playing an active role in improving the verification efficiency.
In some embodiments, the test case may be generated by: and respectively configuring the set values of the target test signals according to the preset case patterns, and generating test cases according to the set values of the target test signals. Specifically, each control logic diagram corresponds to a corresponding preset case style, and the preset case style contains default setting values corresponding to all configurable test signals in the control logic diagram.
Since a nuclear power plant system generally has multiple operation modes, and in some operation modes, a change of a part of configurable test signals may not affect a final output signal result, and thus may result in that even if a control logic diagram and a configuration diagram are inconsistent, logic diagram output data and configuration diagram output data obtained after activation still pass consistency analysis, in order to reduce the occurrence of such a situation, in some embodiments, a preset case pattern includes at least two sets of value lists; each set of the set value list comprises a plurality of preset values corresponding to all the configurable test signals one by one; the test cases comprise a plurality of sub-test cases which are in one-to-one correspondence with the value setting lists. Moreover, the set values of the target test signals can be respectively configured according to the preset case patterns in the following manner, and the test cases can be generated according to the set values of the target test signals: sequentially configuring the set values of the target test signals by taking each set value list as a unit; after the setting value of each set of setting value list is configured, a sub-test case is generated according to the setting value of each target test signal. Accordingly, the control signal may be output according to the following manner: taking each sub-test case as a unit, taking all the set values in the sub-test cases as sub-control signals of the corresponding sub-test cases respectively; all sub-control signals in each sub-test case are sequentially output, so that the unit simulation platform activates the target control logic diagram and the configuration diagram thereof one by one based on each sub-test case.
In addition, in each set value list, at least one part of the set values of the same configurable test signals are different between every two lists, so that the condition that after the different set value lists are configured on the related configurable test signals, the set values of all the same configurable test signals in the two lists are consistent can be avoided. According to the embodiment, the plurality of sub-test cases are generated by utilizing the plurality of setting value lists, and the unit simulation platform activates the target control logic diagram and the configuration diagram for a plurality of times based on different configurable test signal setting values, so that the setting value setting diversity of the configurable test signals is ensured, and the verification accuracy is improved.
Preferably, the preset case pattern includes 6 value lists.
In some embodiments, in the step of configuring the setting value of each target test signal according to the preset case pattern, the method may further include: if the test mode is a finite variable exhaustion mode, the method is carried out on each target test signal with the switching value signal as each type: judging whether the two setting values of the target test signal are different from each other in the setting values in all the setting value lists or not, if not, setting the setting value of the target test signal in one of the setting value lists as another setting value after the setting value of one of the setting value lists is configured.
Specifically, if the target test signal is a switching value signal, the set value of the target test signal in one set of set value lists may be flipped (i.e., converted to "0" if it is "1" and converted to "1" if it is "0"); if the target test signal is an analog signal, the set values in one set of set value lists may be set to different values (e.g., the maximum value, the middle value, or the minimum value of the settable range of the target test signal), so that at least two set values of the target test signal in each set value list are different from each other. It can be appreciated that the embodiment can ensure that the target test signal is changed at least once in the limited variable exhaustion mode, can further improve the setting diversity of the configurable test signal, and is beneficial to improving the verification accuracy.
In order to improve the flexibility of setting the setting value of the configurable test signal, the step of configuring the setting value of each target test signal according to the preset use case style may further include: and acquiring a setting value setting instruction to set the setting value of the target test signal according to the setting value setting instruction. Wherein, the setting value setting instruction can be obtained through man-machine interaction simulation.
In some embodiments, the logic diagram output data includes a plurality of logic diagram output signals, and the configuration diagram output data includes a plurality of configuration diagram output signals corresponding to each logic diagram output signal one by one. Moreover, the consistency analysis may be performed by: each pair of logic diagram output signals and configuration diagram output signals which correspond to each other are processed: if the logic diagram output signal and the configuration diagram output signal are switching value signals, judging whether the logic diagram output signal is the same as the configuration diagram output signal, if so, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is qualified, otherwise, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is unqualified; if the logic diagram output signal and the configuration diagram output signal are analog quantity signals, judging whether the error between the logic diagram output signal and the configuration diagram output signal is smaller than a preset error value, if so, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is qualified, otherwise, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is unqualified. In this embodiment, all validation results constitute the analysis results.
Optionally, the preset error value is 1%.
As shown in fig. 2, in some embodiments, the method for verifying the consistency of the configuration map and the control logic map of the nuclear power plant may further include: s60, acquiring a report style setting instruction to configure display information of a preset report template according to the report style setting instruction; generating a verification report based on a preset report template and an analysis result; the display information comprises at least one of a record file, test data, a signal editing range, a record time range and a trend change chart; the trend change graph includes at least one of an input signal line graph, an output signal line graph, and an overall signal line graph.
Specifically, the record file is used for displaying the set value, the intermediate variable, the logic diagram output signal and the configuration diagram output signal of the target test signal, specifically referring to fig. 3, in addition, displaying the intermediate value is helpful for helping staff to analyze whether the activation process of the configuration diagram and the control logic diagram is normal; the test data is used to display the analysis results (which may be indicated by "yes" or "); the signal editing range is used for displaying range editing records of the target test signal, so that whether the line graph is correct or not can be facilitated; the recording time range is used to display the time range of the selected recording. In addition, the staff can input a report style setting instruction through the man-machine interaction module according to the requirement, so that display information of a preset report template is set, and the display information can be displayed through the man-machine interaction module.
In some embodiments, the method for verifying the consistency of the configuration map and the control logic map of the nuclear power plant further comprises: s70, acquiring a save path setting instruction to execute a preset operation according to the save path setting instruction, wherein the preset operation comprises at least one of the following steps:
setting a saving path of the configuration diagram;
Setting a saving path of a control logic diagram;
Setting a storage path of the test case; and
And setting a saving path of the verification report.
As shown in fig. 4, the invention further provides a verification platform, which comprises a communication module 1, a test case generation module 2 and a test management module 3.
The communication module 1 is used for establishing a communication channel with the unit simulation platform, so as to determine a target control logic diagram and a configuration diagram related to the target control logic diagram through interaction with the unit simulation platform, and determine configurable parameters of the target control logic diagram.
The test case generation module 2 is used for configuring a test range based on the configurable parameters and generating test cases.
The test management module 3 is configured to output a control signal according to the test case, and send the control signal to the unit simulation platform, so that the unit simulation platform operates the target control logic diagram and the configuration diagram based on the input signal, so as to obtain logic diagram output data and configuration diagram output data output by the unit simulation platform, and perform consistency analysis on the logic diagram output data and the configuration diagram output data, so as to output an analysis result.
In some embodiments, as shown in fig. 4, the test management module 3 is further configured to configure display information of a preset report template according to the report style setting instruction, and generate a verification report based on the preset report template and the analysis result. The verification platform further comprises a man-machine interaction module 4, wherein the man-machine interaction module 4 is used for inputting a report style setting instruction and displaying a verification report.
The invention also provides a system for verifying the consistency of the configuration diagram and the control logic diagram of the nuclear power plant, which comprises a unit simulation platform and the verification platform provided by the invention.
In the present specification, each embodiment is described in a progressive manner, and each embodiment is mainly described in a different point from other embodiments, and identical and similar parts between the embodiments are all enough to refer to each other. For the device disclosed in the embodiment, since it corresponds to the method disclosed in the embodiment, the description is relatively simple, and the relevant points refer to the description of the method section.
Those of skill would further appreciate that the various illustrative elements and algorithm steps described in connection with the embodiments disclosed herein may be implemented as electronic hardware, computer software, or combinations of both, and that the various illustrative elements and steps are described above generally in terms of functionality in order to clearly illustrate the interchangeability of hardware and software. Whether such functionality is implemented as hardware or software depends upon the particular application and design constraints imposed on the solution. Skilled artisans may implement the described functionality in varying ways for each particular application, but such implementation decisions should not be interpreted as causing a departure from the scope of the present invention.
The steps of a method or algorithm described in connection with the embodiments disclosed herein may be embodied directly in hardware, in a software module executed by a processor, or in a combination of the two. The software modules may be disposed in Random Access Memory (RAM), memory, read Only Memory (ROM), electrically programmable ROM, electrically erasable programmable ROM, registers, hard disk, a removable disk, a CD-ROM, or any other form of storage medium known in the art.
It is to be understood that the above examples only represent preferred embodiments of the present invention, which are described in more detail and are not to be construed as limiting the scope of the invention; it should be noted that, for a person skilled in the art, the above technical features can be freely combined, and several variations and modifications can be made without departing from the scope of the invention; therefore, all changes and modifications that come within the meaning and range of equivalency of the claims are to be embraced within their scope.
Claims (13)
1. The method for verifying the consistency of the configuration diagram and the control logic diagram of the nuclear power plant is characterized by comprising the following steps of:
Establishing a communication channel with a unit simulation platform;
through interaction with the unit simulation platform, a target control logic diagram and a configuration diagram associated with the target control logic diagram are determined, and configurable parameters of the target control logic diagram are determined;
configuring a test range based on the configurable parameters to generate a test case;
outputting a control signal according to the test case, and sending the control signal to the unit simulation platform so that the unit simulation platform respectively operates the target control logic diagram and the configuration diagram based on the control signal to acquire logic diagram output data and configuration diagram output data output by the unit simulation platform;
and carrying out consistency analysis on the logic diagram output data and the configuration diagram output data, and outputting an analysis result.
2. The method for verifying the consistency of a configuration map and a control logic map of a nuclear power plant according to claim 1, wherein the configurable parameters comprise a plurality of configurable test signals;
the configuring the test scope based on the configurable parameters to generate test cases includes:
Setting a test mode; the test mode comprises a full-variable exhaustion mode and a finite-variable exhaustion mode;
And determining a plurality of target test signals to be tested according to the test mode, and generating the test case according to each target test signal.
3. The method for verifying the consistency of a configuration diagram and a control logic diagram of a nuclear power plant according to claim 2, wherein the determining a plurality of target test signals to be tested according to the test mode comprises:
If the test mode is the all-variable exhaustion mode, all the configurable test signals are determined to be the target test signals;
And if the test mode is the finite variable exhaustion mode, acquiring a signal selection instruction, and determining a target test signal to be tested according to the signal selection instruction.
4. The method for verifying the consistency of a configuration diagram and a control logic diagram of a nuclear power plant according to claim 3, wherein the generating the test case according to each target test signal comprises:
And respectively configuring the set value of each target test signal according to a preset case pattern, and generating the test case according to the set value of each target test signal.
5. The method for verifying the consistency of a configuration map and a control logic map of a nuclear power plant according to claim 4, wherein the preset case pattern comprises at least two sets of value lists; each set of the set value list comprises a plurality of preset values which are in one-to-one correspondence with all the configurable test signals; the test cases comprise a plurality of sub-test cases which are in one-to-one correspondence with the value setting lists;
The method for respectively configuring the set value of each target test signal according to the preset case style and generating the test case according to the set value of each target test signal comprises the following steps:
Sequentially configuring the set values of the target test signals by taking each set value list as a unit;
After the setting value of each set of setting value list is configured, generating one sub-test case according to the setting value of each target test signal;
The outputting a control signal according to the test case includes:
Taking each sub-test case as a unit, and taking all the set values in the sub-test cases as sub-control signals of the corresponding sub-test cases respectively;
and outputting all the sub control signals in each sub test case in turn.
6. The method for verifying the consistency of a configuration diagram and a control logic diagram of a nuclear power plant according to claim 5, wherein the configuring the set values of the target test signals according to the preset case pattern respectively further comprises:
if the test mode is the finite variable exhaustion mode, performing on each target test signal with the switching value signal as each type:
Judging whether the two set values of the target test signal are different from each other in the set values in all the set value lists or not, if not, setting the set value of the target test signal in one set of set value lists as another set value after the set value of one set of set value lists is configured.
7. The method for verifying the consistency of a configuration diagram and a control logic diagram of a nuclear power plant according to claim 6, wherein the configuring the set values of the target test signals according to the preset case pattern respectively further comprises:
and acquiring a setting value setting instruction to set the setting value of the target test signal according to the setting value setting instruction.
8. The method for verifying the consistency of a configuration map and a control logic map of a nuclear power plant according to any one of claims 1 to 7, wherein the logic map output data includes a plurality of logic map output signals, and the configuration map output data includes a plurality of configuration map output signals corresponding to each of the logic map output signals one by one;
the consistency analysis of the logic diagram output data and the configuration diagram output data comprises the following steps:
each pair of logic diagram output signals and configuration diagram output signals which correspond to each other are processed:
if the logic diagram output signal and the configuration diagram output signal are switching value signals, judging whether the logic diagram output signal is the same as the configuration diagram output signal, if so, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is qualified, otherwise, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is unqualified;
If the logic diagram output signal and the configuration diagram output signal are analog quantity signals, judging whether the error between the logic diagram output signal and the configuration diagram output signal is smaller than a preset error value, if so, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is qualified, otherwise, judging that the verification result of the logic diagram output signal and the configuration diagram output signal is unqualified.
9. The nuclear power plant configuration map and control logic map consistency verification method according to any one of claims 1 to 7, further comprising:
acquiring a report style setting instruction to configure display information of a preset report template according to the report style setting instruction;
generating a verification report based on the preset report template and the analysis result;
The display information comprises at least one of a record file, test data, a signal editing range, a record time range and a trend change chart; the trend change graph includes at least one of an input signal line graph, an output signal line graph, and an overall signal line graph.
10. The method for verifying the consistency of a configuration map and a control logic map of a nuclear power plant according to claim 9, further comprising:
Acquiring a save path setting instruction to perform at least one of the following operations according to the save path setting instruction:
setting a storage path of the configuration diagram;
setting a storage path of the control logic diagram;
Setting a storage path of the test case; and
And setting a preservation path of the verification report.
11. A verification platform, comprising:
the communication module is used for establishing a communication channel with the unit simulation platform, determining a target control logic diagram and a configuration diagram associated with the target control logic diagram through interaction with the unit simulation platform, and determining configurable parameters of the target control logic diagram;
the test case generation module is used for configuring a test range based on the configurable parameters and generating a test case; and
The test management module is used for outputting a control signal according to the test case and sending the control signal to the unit simulation platform so that the unit simulation platform can respectively run the target control logic diagram and the configuration diagram based on the control signal to acquire logic diagram output data and configuration diagram output data output by the unit simulation platform, and consistency analysis is carried out on the logic diagram output data and the configuration diagram output data to output an analysis result.
12. The verification platform according to claim 11, wherein the test management module is further configured to configure display information of a preset report template according to a report style setting instruction, and generate a verification report based on the preset report template and the analysis result;
The verification platform further comprises:
and the man-machine interaction module is used for inputting the report style setting instruction and displaying the verification report.
13. A nuclear power plant configuration diagram and control logic diagram consistency verification system, which is characterized by comprising a unit simulation platform and a verification platform as claimed in claim 11 or 12.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202410357972.XA CN118092358A (en) | 2024-03-26 | 2024-03-26 | Consistency verification method and verification platform for nuclear power plant configuration diagram and control logic diagram |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202410357972.XA CN118092358A (en) | 2024-03-26 | 2024-03-26 | Consistency verification method and verification platform for nuclear power plant configuration diagram and control logic diagram |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN118092358A true CN118092358A (en) | 2024-05-28 |
Family
ID=91150527
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202410357972.XA Pending CN118092358A (en) | 2024-03-26 | 2024-03-26 | Consistency verification method and verification platform for nuclear power plant configuration diagram and control logic diagram |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN118092358A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN119292205A (en) * | 2024-09-24 | 2025-01-10 | 中广核工程有限公司 | Nuclear power plant control model construction method, electronic equipment, and storage medium |
-
2024
- 2024-03-26 CN CN202410357972.XA patent/CN118092358A/en active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN119292205A (en) * | 2024-09-24 | 2025-01-10 | 中广核工程有限公司 | Nuclear power plant control model construction method, electronic equipment, and storage medium |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN109840207B (en) | AutoSAR-based network management automation test system and test method | |
| US9606902B2 (en) | Malfunction influence evaluation system and evaluation method using a propagation flag | |
| CN114238071A (en) | DCS software automatic verification system and method based on digital simulation technology | |
| WO2020113526A1 (en) | Chip verification method and device | |
| CN116859210A (en) | Communication chip reliability test method, device and system | |
| CN118761005A (en) | Fault diagnosis method, device and computer equipment based on digital twin | |
| CN112035996A (en) | Equipment testability integrated design and evaluation system | |
| CN118092358A (en) | Consistency verification method and verification platform for nuclear power plant configuration diagram and control logic diagram | |
| CN110334385A (en) | Test method, device and equipment for central controller of comprehensive energy system | |
| CN118283639A (en) | Network optimization method, electronic equipment and storage medium | |
| KR100934607B1 (en) | Test device of the microgrid management system | |
| US9274515B2 (en) | Systems and methods for recording data associated with the operation of foundation fieldbus devices | |
| CN114610627A (en) | Software test evaluation method, device and storage medium | |
| KR101335657B1 (en) | System and method using realtime simulator and programmed system switching for the validation of large-scaled dcs | |
| CN114253248A (en) | System and method for automatically testing and verifying DCS (distributed control System) of nuclear power station | |
| US20030126506A1 (en) | Program testing system and method | |
| TWI266070B (en) | Chip-level design under test verification environment and method thereof | |
| CN117171014A (en) | Method and device for testing performance of system software of automobile cabin | |
| KR20210118795A (en) | Apparatus, method and program for opc ua specification compliance verification | |
| CN114448851A (en) | Data automation test method and system | |
| CN114553710A (en) | Transformer substation information transmission network flow simulation method, device, equipment and medium | |
| US20020178402A1 (en) | System and method for software diagnosis | |
| CN115563017B (en) | Test system and method based on bus injection and computer equipment | |
| CN112748300B (en) | A test method, a test device and a test system for microwave equipment | |
| CN112632883B (en) | Method, device, equipment and medium for testing simulation result of device model |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |