JP6072714B2 - Program verification device - Google Patents

Description

  The present invention relates to two control arithmetic logics (hereinafter sometimes simply referred to as control logic) for control arithmetic logic data (hereinafter sometimes simply referred to as logic data) operating on a control device in a supervisory control system. The present invention relates to a program verification device for verification.

  Conventionally, when collating control logic created with different programming languages and different engineering tools, humans understand the meaning of the control logic and visually check it, or download logic data to the control device and check the difference in operation I do.

  In the example of FIG. 8, when the control logic created by the maintenance tool 3a mounted on the personal computer 1 and the control logic created by the maintenance tool 3b are collated, the control logic 31a and the control logic 31b are visually collated, Logic data 32a obtained by compiling logic 31a (converting program source code into object code that can be realized on a computer) is downloaded to control device 2a connected by control network 4a, and control logic 31b is similarly compiled. The logic data 32b is downloaded to the control device 2b connected via the control network 4b, and the difference between the logic data 34a operating on the control device 2a and the logic data 34b operating on the control device 2b is confirmed.

  In addition, as a method of collating two sequence programs, the same blocks are sequentially extracted from the original input original sequence program and the modified sequence program, and each extracted block is expressed by a logical expression. It is known that if both logical expressions are the same, it is determined that the two blocks match, and if they are not the same, it is determined that they do not match (see Patent Document 1).

  It is also known that as a result of collating two programs, a mismatched portion is visually output to a display as a program correction portion (see Patent Documents 2 and 3).

JP-A-4-205312 JP-A-6-67925 JP-A-9-230915

  Conventionally, when collating control logic created by different maintenance tools, the control logic is visually confirmed, or logic data is downloaded to a control device to confirm a difference in operation. Therefore, it is necessary to visually check all the control logic or to operate on the control device, which is troublesome and human error is likely to occur.

Further, as in Patent Document 1, the same blocks are sequentially extracted from two sequence programs to be collated, and it is determined whether the logical expressions are the same when the extracted blocks are represented by logical expressions. However, logic data after compilation cannot be collated, and it cannot correspond to logic created in a different programming language. Furthermore, there is a problem that the sequence programs that can be collated are limited, for example, the collation with the data on the control device is impossible.

  The present invention has been made to solve the above-described problems. It is an object of the present invention to obtain a device that can automatically collate two control logics without requiring visual confirmation or operation confirmation on the control device. It is the purpose.

  A program verification device according to the present invention creates and compiles a control arithmetic logic that operates on a control device in a supervisory control system, and extracts instructions, input signals, output signals, and parameters from the compiled control arithmetic logic data. And at least two maintenance tools for outputting a file converted into a text format in the operation order, and a collation tool for comparing and collating two text format files output from the maintenance tool.

  In addition, the program verification device according to the present invention creates and compiles a control arithmetic logic that operates on the control device in the supervisory control system, and generates instructions, input signals, output signals, and parameters from the compiled control arithmetic logic data. A first maintenance tool that outputs a file that has been extracted and converted into a text format in operation order, and uploads control operation logic data on the control device. From the uploaded control operation logic data, instructions, input signals, and output signals The second maintenance tool that extracts the parameters and outputs the file converted into the text format in the calculation order, and the two text format files output from the first maintenance tool and the second maintenance tool are compared and collated. And a collation tool.

  According to this invention, an instruction, an input signal, an output signal, and a parameter are extracted from control arithmetic logic data transferred to the control device, and a text format file output in the arithmetic order is automatically collated with a tool. Therefore, it is not necessary to visually check the control logic or to download the logic data to the control device to check the difference in operation, and the work cost, time, and human error can be reduced.

It is a block diagram which shows the program collation apparatus of Embodiment 1 of this invention. It is a figure which shows an example of the file of the text format used with the program collation apparatus of this invention. It is a flowchart of the collation tool used with the program collation apparatus of this invention. It is a block diagram which shows the program collation apparatus of Embodiment 2 of this invention. It is a block diagram which shows the program collation apparatus of Embodiment 3 of this invention. It is a block diagram which shows the program collation apparatus of Embodiment 4 of this invention. It is a block diagram which shows the program collation apparatus of Embodiment 5 of this invention. It is a block diagram which shows the path | route which downloads control logic from a maintenance tool to a control apparatus.

Embodiment 1 FIG.
A program verification apparatus according to Embodiment 1 of the present invention will be described below with reference to FIGS.
FIG. 1 shows a configuration diagram of a program verification apparatus. A personal computer 1 has two maintenance tools 3a and 3b and a verification tool 5.
The maintenance tool 3a includes a function for creating a control arithmetic logic 31a that operates on a control device (2a in FIG. 8) in the monitoring control system in a predetermined programming language, and a control arithmetic logic data that is compiled by compiling the control arithmetic logic 31a with a compiler. A function for creating a 32a and a function for extracting an instruction, an input signal, an output signal, and a parameter from the compiled control arithmetic logic data 32a and converting them into a text format in the order of calculation (referred to as control logic text) 33a And have.

  As with the maintenance tool 3a, the maintenance tool 3b has a function of creating a control arithmetic logic 31b that operates on the control device (2b in FIG. 8) in the monitoring control system in the same programming language as the maintenance tool 3a, and a control arithmetic logic 31b. A function for generating control operation logic data 32b by compiling a compiler, and a file (control) in which instructions, input signals, output signals, and parameters are extracted from the compiled control operation logic data 32b and converted into a text format in the operation order (Referred to as logic text) 33b.

  The collation tool 5 compares the two text format files (control logic text) 33a and 33b output from the two maintenance tools 3a and 3b, respectively, and automatically collates them. It is determined whether or not the control arithmetic logics 31a and 31b created in the above match. In the following description, the subscripts a and b of each component are omitted when collectively referred to.

Next, the operation of the program verification device according to the first embodiment of the present invention will be described with reference to FIGS.
FIG. 2 (a) shows a file (control logic text) 33a in a text format in the order of operation by extracting instructions, input signals, output signals, and parameters from logic data 32a obtained by compiling the control logic 31a created by the maintenance tool 3a. The output is shown.

Similarly, FIG. 2B shows that a command (control logic text) is extracted in a text format in the order of operation by extracting instructions, input signals, output signals, and parameters from logic data 32b obtained by compiling the control logic 31b created by the maintenance tool 3b. ) 33b is output.
In this way, the control logic texts 33a and 33b are a list of commands, input signals, output signals, and parameters in the order of calculation. When the two control logics 31a and 31b match, they are exactly the same. Become. FIG. 2 shows a case where the two control logics 31a and 31b do not match. In the nth, the command is inconsistent, in the n + 1th, the parameter is inconsistent, and in the n + 2th, the input signal and the output signal are inconsistent.

The collation tool 5 collates the control logic text 33a output from the maintenance tool 3a with the control logic text 33b output from the maintenance tool 3b.
The algorithm used to extract the difference in the matching tool 5 is an algorithm generally used to extract a change point so as to minimize the difference, which is called an O (ND) algorithm. Is shown in FIG.

  In FIG. 3, when collation is started, in step S1, the difference between the two control logic texts 33a and 33b is extracted using the instruction as a key, and the input signal, the output signal, and the parameter are aligned for each same instruction. In step S2, the difference is extracted in the order of the input signal, the output signal, and the parameter in the same command that is arranged. Thus, the collation is completed by determining whether the two control logic texts 33a and 33b are identical or not.

  As described above, two control logics can be obtained by simply comparing the control logic text with a collation tool without visually checking the control logic or downloading the logic data to the control device and checking the operation difference. Can be verified. Therefore, work cost, time, and human error can be reduced.

Embodiment 2. FIG.
Next, a program verification apparatus according to Embodiment 2 of the present invention will be described with reference to FIG.
In the first embodiment, the case where the control logics created in the same programming language are collated has been described. In the second embodiment, as shown in FIG. 4, the control logic 31a and the maintenance tool 3b created by the maintenance tool 3a are used. The control logic 31b created in (1) is created in a different programming language. The other configurations are the same as those in FIG. 1 of the first embodiment, and the same configurations or corresponding parts are denoted by the same reference numerals and description thereof is omitted.

  In the second embodiment, since the control logic 31a is created in the programming language A and the control logic 31b is created in the programming language B, the control logic 31a is compiled to create the logic data 32a, and the control logic 31b is compiled. When compiling the logic data 32b, the compilers for compiling differ from each other, but the compiled data is converted into files (control logic text) 33a and 33b having the same text format.

  In the second embodiment, as in the first embodiment, the control logic 31a extracts the instruction, the input signal, the output signal, and the parameter from the logic data 32a obtained by compiling the control logic 31a created by the maintenance tool 3a, and outputs the control logic in the order of calculation. The collation tool 5 collates the text 33a and the control logic text 33b obtained by extracting commands, input signals, output signals, and parameters from the logic data 32b obtained by compiling the control logic 31b created by the maintenance tool 3b and outputting them in the order of calculation. The method of collation is the same as in the first embodiment.

  As described above, by comparing the control logic text with a collation tool without visually checking the control logic or downloading the logic data to the control device and checking the difference in operation, it is possible to use different programming languages. The two created control logics can be verified.

Embodiment 3 FIG.
Next, a program verification apparatus according to Embodiment 3 of the present invention will be described with reference to FIG.
In the first embodiment and the second embodiment, the case where the control logic text 33 is output from the logic data 32 on the personal computer 1 and collated is described. In the third embodiment, as shown in FIG. The logic data 32b and the logic data 34a on the control device 2 connected to the personal computer 1 by the control network 4 are collated.

  In FIG. 5, the maintenance tool 3b has a function of creating a control arithmetic logic 31b that operates on a control device in a monitoring control system in a predetermined programming language, and the control arithmetic logic 31b is compiled by a compiler to obtain control arithmetic logic data 32b. And a function for extracting a command, an input signal, an output signal, and a parameter from the compiled control operation logic data 32b, and generating a file (control logic text) 33b converted into a text format in the operation order. ing.

  The maintenance tool 3a uploads the logic data 34a on the control device 2 in the monitoring control system by the maintenance tool 3a via the control network 4, converts the uploaded logic data 34a into a text format, and outputs an instruction, an input signal, and an output. It has a function of extracting control signals and parameters and outputting control logic text 33a that is output in the order of calculation.

  The collation tool 5 was created by the maintenance tool 3b by comparing the two text format files (control logic text) 33a and 33b respectively output from the two maintenance tools 3a and 3b and automatically collating them. It is determined whether or not the logic data 32b and the logic data 34a on the control device 2 match, and the control logic of each other is collated. In FIG. 5, the same reference numerals are given to the same configurations or corresponding parts as in FIG. 1 of the first embodiment.

  In the configuration of FIG. 5, as in the first embodiment, the control logic is extracted in the order of operation by extracting instructions, input signals, output signals and parameters from the logic data 32b compiled from the control logic 31b created by the maintenance tool 3b. The control logic text 33a, which is obtained by uploading the text 33b and the logic data 34a on the control device 2 connected by the maintenance tool 3a on the control network 4 and extracting the command, the input signal, the output signal, and the parameter and outputting them in the order of calculation, The collation tool 5 performs collation. The method of collation is the same as in the first embodiment.

  As described above, the control logic text is created by the maintenance tool by comparing the control logic text with the verification tool without performing the work of checking the control logic visually or downloading the logic data to the control device and checking the operation difference. The control logic and the logic data on the control device can be collated.

Embodiment 4 FIG.
Next, a program verification apparatus according to Embodiment 4 of the present invention will be described with reference to FIG.
In the first to third embodiments, collation of two control logics has been described. In the fourth embodiment, as shown in FIG. 6, as a result of collation of the control logic texts 33a and 33b, two control logics 31a and 31b are obtained. When there is a mismatch, the verification tool 5 can automatically mark the corresponding part of the control logic 31a, 31b. The other configurations are the same as those in FIG. 1 of the first embodiment, and the same configurations or corresponding parts are denoted by the same reference numerals and description thereof is omitted.

  In the configuration of FIG. 6, as in the first and second embodiments, instructions, input signals, output signals, and parameters are extracted from logic data 32a obtained by compiling the control logic 31a created by the maintenance tool 3a on the personal computer 1. Instructions, input signals, output signals and parameters are extracted from the logic data 32b compiled from the control logic text 33a output in the calculation order and the control logic 31b created by the maintenance tool 3b, and the control logic output in the calculation order. The control logic 31a created by the maintenance tool 3b and the control logic 31b created by the maintenance tool 3b are used to collate the text 33b with the matching tool 5, and the detected instruction, input signal, output signal, parameter, and calculation order are compared. The corresponding part is automatically marked.

Marking on the control logics 31a and 31b is performed by displaying with different colors. The two control logics 31a and 31b may be created in the same programming language or in different programming languages.
As described above, when there is a difference between the two matched control logics, the corresponding part can be visually determined.

Embodiment 5. FIG.
Next, a program verification apparatus according to Embodiment 5 of the present invention will be described with reference to FIG. In the fourth embodiment, automatic marking of a difference between two matched control logics has been described. However, in the fifth embodiment, as shown in FIG. 7, as a result of matching control logic texts 33a and 33b, two control logics are identified. When there is a discrepancy between 31a and 31b, the other control logic is automatically corrected in accordance with one control logic, and the two control logics are made the same control logic. The other configurations are the same as those in FIG. 1 of the first embodiment, and the same configurations or corresponding parts are denoted by the same reference numerals and description thereof is omitted.

  In the configuration of FIG. 7, as in the first and second embodiments, instructions, input signals, output signals, and parameters are extracted from logic data 32a obtained by compiling the control logic 31a created by the maintenance tool 3a on the personal computer 1. Instructions, input signals, output signals and parameters are extracted from the logic data 32b compiled from the control logic text 33a output in the calculation order and the control logic 31b created by the maintenance tool 3b, and the control logic output in the calculation order. The text 33b is collated by the collation tool 5, and the detected instruction, input signal, output signal, parameter, and calculation order are matched with one control logic, and the other control logic is automatically corrected.

When there is a difference between the two control logics 31a and 31b, the judgment of which control logic is correct is made by the user based on the result of collation, the marking location, etc., and when the user selects either one, the device automatically Correct it.
Automatic correction can be realized by correcting a portion having a difference in the control logic text 33. That is, if the parameters are different, the parameters are modified, if the input signals / output signals are different, the input signals / output signals are modified, and if the commands are different, the commands are modified.

As described above, when there is a difference between the two verified control logics, the two control logics can be made the same control logic without manual correction.
It should be noted that the present invention can be freely combined with each other within the scope of the invention, and each embodiment can be appropriately modified or omitted.

1: PC, 2: control device, 3a, 3b: maintenance tool, 4: control network,
5: verification tool, 31a, 31b: control arithmetic logic (control logic),
32a, 32b: control arithmetic logic data (logic data),
33a, 33b: Files converted to text format (control logic text)
34a: Control arithmetic logic data on the control device

Claims (5)

  A file created by creating and compiling control arithmetic logic that operates on a control device in a supervisory control system, extracting instructions, input signals, output signals, and parameters from the compiled control arithmetic logic data and converting them to a text format in the order of operation A program collation apparatus comprising: at least two maintenance tools that output a file; and a collation tool that compares and collates the two text format files output from the maintenance tool.   The two maintenance tools are configured such that control arithmetic logic is created in different programming languages, and the control arithmetic logic is output in the same format when the compiled control arithmetic logic data is converted to a text format file. The program verification device according to 1.   A file created by creating and compiling control arithmetic logic that operates on a control device in a supervisory control system, extracting instructions, input signals, output signals, and parameters from the compiled control arithmetic logic data and converting them to a text format in the order of operation The first maintenance tool that outputs and the control arithmetic logic data on the control device is uploaded, the command, input signal, output signal, and parameters are extracted from the uploaded control arithmetic logic data and converted to text format in the arithmetic order Program collation comprising: a second maintenance tool for outputting the file, and a collation tool for comparing and collating the two files in the text format output from the first maintenance tool and the second maintenance tool apparatus.   The program verification according to any one of claims 1 to 3, wherein if there is a mismatch in the result of verification by the verification tool, the corresponding part is marked in the control arithmetic logic of both maintenance tools. apparatus.   4. The method according to claim 1, wherein when there is a mismatch in the result of collation by the collation tool, the other control arithmetic logic is automatically corrected in accordance with the one control logic. 5. The program verification device described.