JPH05257523A - Method and device for logic verification - Google Patents

Abstract

(57) [Abstract] [Purpose] To provide a highly versatile logic verification device capable of verifying software logic of a computer incorporated in a control panel efficiently and without error. [Structure] 1 is a simulated control panel, 2 is a plant simulator,
Reference numeral 3 is a connection device for switching the connection between the two.
By combining the simulation control panel 1 and the plant simulator 2 with the correctness of the logic of the software of the computer 11 (loaded by the FD of 4) incorporated in the simulation control panel 1,
The configuration is such that a series of operations can be performed for confirmation. Further, in order to ensure versatility regardless of the control target, a computer is applied to the control target simulating unit 21, an operation,
It is configured to include a display unit.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a design support apparatus for simulating a plant to be controlled in order to verify the logic of software of a computer incorporated in a control panel and operating it in combination with computer software.

[0002]

2. Description of the Related Art Conventionally, the inspection of design results of a control panel centering on relay logic has mainly been performed on a document which is a design drawing, but recently, computers have come to be widely used for control panels. , The verification on the document has become insufficient. This is because it is difficult to confirm the operation of the computer software only on the document.

Therefore, a technique for visually verifying the design result of computer software has been devised.

[0004] For example, in Japanese Patent Laid-Open No. 60-204010, the computer software to be verified uses a large computer,
Compile from a CAD (Computer Aided Design) system into a form in which both hard logic and soft logic can be verified, and the logic of software is run in a computer different from the computer actually used and its correctness is verified. A method is provided.

However, in order to use another large computer, which is not the computer actually used,
Computer operation cycle is different from the actual computer, and the characteristics of input / output devices are also different, etc. About one sequence abnormality simulation of the multiplexing system adopted for confirmation of important operation timing in sequence logic and reliability improvement Was not taken into consideration, and the consideration was not sufficient to prevent the creation of a new defect when compiling computer software to be run on another large computer.

Further, there is also provided a system in which an actual control panel and an arithmetic unit simulating the dynamic characteristics and logic sequence of the actual machine are combined, as in the simulated controller disclosed in Japanese Patent Laid-Open No. 61-156183. Is for the purpose of driving training, and even if the relay sequence part of this method is replaced with a computer, it is only applied to a single controlled object. No consideration was given.

In a large-scale monitor and control system, a monitor operation panel for monitoring and operating and a control panel for performing logical operation for control are separated. That is, the computer is built in the control panel, and the control panel has the same configuration regardless of the control target, but the hardware configuration of the monitoring operation panel must be different depending on the control target. If the simulated control panel is equipped with an operation unit and a display unit as in No. 6, it is necessary to change the hardware of the operation unit and the display unit according to the control target, and the consideration in terms of ensuring versatility was not sufficient.

[0008]

In the prior art as described above, in order to verify the soft logic of the computer by a large computer other than the practically used computer, for example, logic verification in accordance with actual operation is performed. However, it was difficult to provide versatility in verifying control logic (computer software logic) for various controlled objects.

It is an object of the present invention to provide a versatile logic verification device capable of performing logic verification according to actual operation.

[0010]

In the logic verification apparatus of the present invention, the characteristics of the plant can be simulated on the simulated control panel incorporating the computer through the input / output section of the computer for inputting / outputting analog and digital signals. In the logic verification device that connects the plant simulator that is the controlled object simulation unit and verifies the software logic of the computer,
The simulated control panel is equipped with a computer of the same model and type as the one installed in the control panel of the actual machine, or a computer equivalent to the actual machine, and a connection device that can change the connection between the simulated control panel and the plant simulator is installed.

According to the present invention, a computer is used for the plant simulator, a connection changeable device is installed between the input section of the simulated control panel and the output apparatus of the plant simulator, and the output section of the simulated control panel and the input of the plant simulator are installed. A connection device that can change the connection between devices is installed.

Furthermore, in the present invention, the plant simulator is provided with an operation unit and a display unit, and a connection device capable of changing connection is installed between the input / output unit of the control panel and the operation unit and the display unit.

[0013]

[Operation] The computer incorporated in the simulated control panel is of the same model and format as the one actually incorporated,
The designed computer software can be used as it is for verification without being compiled into another form. Computer, power supply, and other hardware configurations of simulated control boards
By configuring all of the transmission network and the like in accordance with the actual machine in a form including the multiplex structure, the simulation at the time of hardware abnormality can be performed according to the actual operation, and the logic at the time of abnormality occurrence can be verified.

The switching device between the simulated control panel and the plant simulator should ensure versatility because it can be easily switched to simulate the actual operating state even if the number of input / output points or connection to the computer changes depending on the controlled object. You can

Further, by using a computer for the plant simulator, even if the controlled object changes, the corresponding simulation model can be changed only by changing the software (program).
High versatility can be secured. Further, since the display unit and the operation unit incorporated in the plant simulator can change the input / output connection with the simulated control panel according to the control target by the switching device, versatility can be ensured.

[0016]

Embodiments of the present invention will be described below with reference to the drawings.
FIG. 1 is a block diagram of the present logic verification device.

Reference numeral 1 is a simulated control panel, 2 is a plant simulator, and 3 is a connection device whose connection can be changed. Simulated control panel 1
Is a computer (sequence controller) 11 of the same model and format as that actually incorporated and its input section 1
2 and the output unit 13. The plant simulator 2 includes a control target simulation unit 21 that simulates an electric motor, a pump, a valve, a heater, etc. that are control targets.

The target of the logic verification is software of the computer 11 incorporated in the simulated control panel 1, and is given by, for example, a floppy disk (FD) 4. Based on the logic of this software, the computer 11 performs an operation, and the result is given to the controlled object simulation unit 21 via the output unit 13 as a drive command. The control device simulation unit 21 simulates the operation according to the drive command. The signal of the operation result is taken into the microcomputer 11 through the input unit 12 and used for the next calculation.

The software logic is verified by confirming the operation of the controlled object and the operation of the software logic by the monitor device 5 connected to the controlled object simulation unit 21 or the computer 11 at this time.

Here, since the computer 11 has the same model and the same format as the one incorporated in the actual control panel as described above, the designed (programmed) software (that is, the FD 4) is simulated and controlled as it is. Since it can be directly loaded into the computer 11 of the apparatus 1, there is no need to prepare a compiler, and there is no fear of creating a new defect due to compilation.

Since the logical operation unit of the simulated control panel 1 is the computer 11, it can be applied to the verification of software for various control targets even if the hardware configuration is the same. In this case, it is necessary to increase / decrease the number of input / output points of the input unit 12 and the output unit 13 and change the connection. You can

FIG. 2 shows an example in which the computer 20 is used as the controlled object simulation unit 21 of FIG. In this case, the input / output signals are exchanged with the simulated control panel 1 via the input device 22 and the output device 23 on the computer side. The change in the number of input / output points and the change in the connection due to the change in the controlled object can be realized by the connection device 3 as in FIG. When the simulator is changed due to the change of the controlled object, the software of the computer 20 is changed to, for example, a floppy disk (F
D) It can be dealt with by replacing with 51.

FIG. 3 shows the operation part 2 of the plant simulator.
4 and a display unit 25. The operation unit 24 is a simulation unit of a device having a switch function that gives an operation command such as start and stop to the control target, and the display unit 25 is a device that displays the state of the control target as a result of being given the operation command. This is a part simulating an alarm display device. The number and connection of these are changed depending on the control target, and these are provided as a part of the plant simulator 2 and the connection device 3
By combining with, it can be used for verification regardless of the controlled object.

FIG. 4 shows an example of the connection device 3. Connect the jack 32 from the terminal block or connector 31,
The connection is easily changed by connecting the jacks with a jumper wire 33 having a plug 34. As a method of realizing this, a rotary switch can be used instead of the jack 32 and the plug 34.

FIG. 5 shows an embodiment of the operation unit 24 provided as a part of the plant simulator 2. Switch 24
By mounting a plurality of 1's and attaching a replaceable nameplate 242 on or near this switch 241,
It has flexibility to respond to changes in the controlled object.

FIG. 6 shows an embodiment of the display unit 25. By mounting a plurality of indicator lights 251 and attaching a replaceable nameplate 252 on or in the vicinity of the indicator lights 251, the same flexibility as the operation unit 24 is provided.

The operation unit 24 and the display unit 25 shown in FIGS.
Is equipped with a voltage generator, a current generator or a variable resistor for an analog quantity, and can give an operation command to be displayed on an indicator, a recorder or the like. Also in this case, the connection can be switched by the connecting device 3 and the nameplate can be replaced.

In FIG. 7, the operation unit 24 and the display unit 25 are integrated into a CRT (cathode ray tube), LCD (liquid crystal display), and EL.
It is an embodiment configured by using a display device such as a D (electric field generation display) or a plasma display. A program for performing input / output processing and display processing is put into a computer 201 which performs an operation display logical operation by a floppy disk (FD) 202. As a result, when an operation command corresponding to the controlled object is given from the input device 253, the computer 201 gives an operation command to the simulated control panel 1 via the input / output device 223 and the connection device 3. The calculation result of the computer in the simulation controller 1 is input to the computer 201 by the reverse route, the calculation according to the display program is performed in the computer 201, and the result is displayed on the display 243. When this configuration is applied, any control target can be dealt with by changing the program data loaded into the computer 201. In FIG. 7, the input device 253 can be made easier to handle by providing the display 243 with a touch operation function.

[0029]

According to the present invention, since the computer of the same model and the same format as the real machine control panel is incorporated in the simulated control panel, the designed computer software can be verified as it is, and extra work such as compilation is performed. Since it is not necessary, it is possible to improve efficiency and prevent the compilation of defects. Further, by providing a computer, an operation unit, and a display unit in the connection device between the simulated control panel and the plant simulator and the plant simulator,
The logic verification device can be highly versatile regardless of the controlled object, and economical logic verification can be enabled.

[Brief description of drawings]

FIG. 1 is a configuration diagram of the present invention.

FIG. 2 is a diagram showing an embodiment in which a computer is applied to a plant simulator.

FIG. 3 is a diagram showing an embodiment including an operation / display unit.

FIG. 4 is a diagram showing an example of a connection device.

FIG. 5 is a diagram illustrating an example of an operation unit.

FIG. 6 is a diagram showing an example of a display unit.

FIG. 7 is a diagram showing an example of a combination of an operation unit and a display unit.

[Explanation of symbols]

DESCRIPTION OF SYMBOLS 1 ... Simulated control panel, 2 ... Plant simulator, 3 ... Connection device, 4 ... Floppy disk (verification target program), 24 ... Operation part, 25 ... Display part.

 ─────────────────────────────────────────────────── ─── Continuation of the front page (72) Inventor Taijiro Takahara 3-2-1, Saiwaicho, Hitachi-shi, Ibaraki Hitachi Engineering Co., Ltd. (72) Inventor Tatsuya Watanabe 3-chome, Saiwaicho, Hitachi, Ibaraki No. 1 in Hitachi Engineering Co., Ltd. (72) Inventor Osamu Matsui 3-2-1, Sachimachi, Hitachi City, Ibaraki Prefecture In Hitachi Engineering Co., Ltd. (72) Inventor Toshiro Honzawa Sankocho, Hitachi City, Ibaraki Prefecture 2-2-1 Hitachi Engineering Co., Ltd. (72) Inventor Shin Nakamura 5-2-1 Omika-cho, Hitachi-shi, Ibaraki Hitachi Omika Plant, Ltd.

Claims (6)

[Claims] 1. A simulated control panel incorporating a computer,
A plant simulator, which is a controlled object simulation unit capable of simulating plant characteristics, is connected through an input / output unit of the computer that inputs and outputs analog signals and digital signals,
In a logic verification device that verifies the software logic of a computer, a computer of the same model / same type as that installed in the control panel of the actual machine or a machine equivalent to the actual machine is installed in the simulated control board, and the connection between the simulated control board and the plant simulator can be changed. A logic verification device characterized by having a connection device installed. 2. A simulated control panel incorporating a computer,
A plant simulator, which is a controlled object simulation unit capable of simulating plant characteristics, is connected through an input / output unit of the computer that inputs and outputs analog signals and digital signals,
In a logic verification device that verifies the software logic of a computer, the simulation control panel incorporates a computer of the same model and type as the one incorporated in the control panel of the actual machine, or a computer equivalent to the actual machine. A logic verification characterized by installing a connection device that can change connection between the output device of the plant simulator and the output device of the plant simulator, and a connection device that can change connection between the output unit of the simulated control panel and the input device of the plant simulator. apparatus. 3. A simulated control panel incorporating a computer,
A plant simulator, which is a controlled object simulation unit capable of simulating plant characteristics, is connected through an input / output unit of the computer that inputs and outputs analog signals and digital signals,
In a logic verification device that verifies the software logic of a computer, the simulation control panel incorporates a computer of the same model and type as the one incorporated in the control panel of the actual machine, or a computer equivalent to the actual machine. Install a connection device that can be connected between the output device of the plant simulator and the output device of the plant simulator, and install a connection device that can be connected between the output device of the simulated control panel and the input device of the plant simulator, and further install the operation unit and the display unit. A logic verification device, which is provided with the capability of verifying the operation of software logic of a computer. 4. A logic verification device according to claim 2 or 3, wherein a versatile program can be input to a computer of a plant simulator by using a floppy disk to give versatility to a simulation range. 5. A logic verification apparatus according to claim 3, wherein the operation section and the display section are provided in the plant simulator, and a connection device capable of changing connection is installed between the input / output section of the simulated control panel. 6. A logic verification method characterized by loading a program designed by using a computer equivalent to an actual machine as it is in any form to verify software logic according to any one of claims 1 to 3.