JPH0640282B2 - Program verification method for programmable controller - Google Patents

Description

TECHNICAL FIELD The present invention relates to a program verification method in a programmable controller.

[Conventional technology]

The program of the programmable controller is performed in a form imitating the conduction of a relay (hereinafter, this simulated relay is referred to as "relay").

The relay has two states of energizing and deactivating, and the program of the programmable controller is created as a combination of many of these relays. Therefore, as a verification that the program is error-free, it must be at least revealed to be correct when all those relays are both activated and de-energized.

FIG. 1 shows the configuration of a general programmable controller. An external signal indicating the system state or the like is placed in the corresponding portion of the data memory unit 2 through the input unit 1. The data memory unit 2 also has internal variables of the programmable controller, that is, relays.

The user creates a program through the programming panel 6. The program is stored in the program memory unit 5. The calculation unit 4 includes a program memory unit 5
The program is read out, the data in the data memory unit 2 is read according to the instruction, the calculation is performed on the data, and the result is written in the data memory unit 2. The data of the portion of the data memory unit 2 associated with the output is output to the outside through the output unit 3.

The operation of such a programmable controller is
The procedure is as shown in the flowchart of the figure.

When the power is turned on and the device is started, first step
The operation shown in 200 is performed, and various initial settings for the hardware and software are performed.

When the initial setting at the time of starting is completed, the operation starts from step 201, and when the processing up to step 205 is completed, the procedure returns to step 201 again and the operation is repeated. Such a method is generally called a scan method.

In step 201, input data from the outside is input to the input unit 1.
And is stored in the data memory unit 2.
When that is complete, proceed to step 202. Here, the program is read from the program memory unit 5, and in accordance therewith, an operation is further performed using the data in the data memory unit 2, and the result is written in the data memory unit 2. The above program has been written in the program memory unit 5 in advance using the programming panel 6.

The above situation will be described in more detail with reference to the program example of FIG. First, the program example itself shown in FIG. 3 will be described. The program of the programmable controller is often created in a form imitating a relay circuit as shown in this figure. A MIL logic symbol or a Boolean algebra may be used instead of the relay circuit.
Here, the relay circuit of FIG. 3 will be described. 301 ~ 304
Represents contacts, and 305 and 306 represent coils. The four-digit number added to them is the relay number. Contact
0101 added to 301 is a relay number. In coil 305 (relay number 0001), contact A of relay 0101 and relay 0102
Are connected in series, and the coil 306 of relay number 0002 has an A contact 303 of relay 0105 and a B of relay 0106.
Those with the contacts connected in parallel are connected. It is clear how such a circuit works, so it will not be described.

Now, the procedure for executing the above-mentioned program is as follows while sequentially reading the program from the program memory unit 5.
It is performed as follows.

How the example program of FIG. 3 is processed will be described with reference to the flowcharts of FIGS. 2 and 4.

First, the operation for determining the new state of the relay 0001 is performed in step 202 of FIG. FIG. 4 is a flowchart extracting and drawing the operation of that portion.

The states of the relays 0101 and 0102, that is, whether they are energized or deenergized, are read from the data memory unit 5, and the logical product (corresponding to serial connection) is obtained (step 401),
The data is written and stored in a portion of the data memory unit 5 corresponding to the relay 0001 (step 402). At this time, the old state of relay 0001 is lost.

When the process of step 202 of FIG. 2 is completed for the relay 0001, the process proceeds to step 203, and preparation for the process of the next relay 0002 is performed. Further, in decision step 204,
Check if all relays are finished. If not completed, the process returns to step 202 and the process for the new relay, that is, relay 0002 is executed.

In this way, when one calculation is completed for all programs, the routine proceeds to step 205. In step 205, out of the relays placed in the data memory unit 5, those which should be output to the outside are output to the outside through the output unit 3.

The above operation is called one scan, and when the operation for one scan is completed, the process returns to step 201 and a new scan is started.

On the other hand, in Japanese Utility Model Laid-Open No. 55-107603, in a simulation device in a sequence controller, it is described which output state is changed by giving an input signal to an arithmetic control unit after giving an input signal. However, for the sake of identification, a test output display device having a means for detecting a change is described.

[Problems to be Solved by the Invention]

However, the above-mentioned conventional programmable controller does not have a function of clearly storing and displaying whether or not all the above-mentioned relays are in both the energized and deenergized states, so it is not possible to confirm whether or not the verification is completed. There was no choice but to rely on the verification operator's memory, etc. Therefore, there were omissions of verification and the degree of verification was unclear.

Further, in the device disclosed in Japanese Utility Model Laid-Open No. 55-107603, the change detection is limited to the simulation device, and only the changed output display according to the operation of the simulated input switch operated now can be performed. Therefore, it is inconvenient to debug the program.

SUMMARY OF THE INVENTION It is an object of the present invention to solve such a conventional problem and surely perform a verification operation of a programmable controller.

[Means for Solving the Problems]

In order to achieve this object, the present invention holds at least an input section for receiving an external signal, an output section for outputting a signal to the outside, a program memory section for storing a program, a state of a relay, and the like. Data memory part,
In a method of verifying a program in a programmable controller having a calculation unit that executes a program stored in the program memory unit and reads data in the data memory unit to perform calculation, for each of the relays in the programmable controller A 1-bit state change storage flag is associated with a state storage unit that stores whether or not the state of the corresponding relay has changed, and all state change storage flags in the state storage unit are reset to 0 before program verification. Then, read the program from the program memory section, calculate whether the new state is energized or deenergized for each relay, judge whether the new state is the same as the old state, and if not, store the state change memory Change the flag of the relevant part of the part to 1 and connect it to all relays. The state of the state change storage flag is displayed to the outside through an output unit.

The state display of the state change storage flag can be performed by displaying the state change storage flag of all relays or an arbitrarily designated relay on the programming panel.

〔Example〕

The present invention will be described below based on the embodiments shown in FIGS. 5 and 6.

FIG. 5 corresponds to FIG. 1 of the prior art and FIG. 6 corresponds to FIG. 4, and the same components as those of the prior art are designated by the same reference numerals.

The configuration of FIG. 5 is different from the conventional device shown in FIG. 1 in that it has a state change storage unit 507. State change storage unit 507
May be a hardware device independent of the program memory unit 5 and the data memory unit 2, or may be a different part of the same hardware device. In FIG. 5, an independent storage device is provided, and a backup battery 508 is provided so that the storage is not lost even when a power failure occurs.

In the state storage unit 507, one bit is associated with each relay in the programmable controller, and whether or not the relay has changed is stored therein. This is called a state change storage flag.

Next, the operation of this device will be described.

First, before starting the debugging of the program, a reset key (not shown) provided on the programming panel 6 is pressed to set all the flags in the state change storage unit 507 to "0" (initial state). This means that all relays are either energized or deenergized and have not experienced a change of state. In other words, the logic of the relay has not been debugged.

As the program progresses, some relays change their state, while others do not. When the status changes, the status change memory flag of that relay is set to "1".
Can be rewritten as It is performed according to the flowchart of FIG.

The flowchart of FIG. 6 calculates the operation regarding the new state of each relay, and writes the new state in the corresponding bit of the data memory unit 2. In the flowchart of FIG. 4, step 603 for state change detection, state change storage The step 604 is added. These additional parts will be described.

At decision step 603, it is determined whether the relay is changing its state or not. If the state has not changed, control is transferred to step 402 and the fourth
The operation is the same as in the case of the figure. If the state changes, in step 604, "1" is written in the state change flag of the relay.

In this way, when a new state of a relay is calculated, its change or non-change is always detected, and if a change occurs, "1" is immediately written to the state change flag corresponding to the relay.

As a result, "0" is left in the state change storage flag corresponding to the relay if the relay has not changed since the start of debugging, and "1" if it has changed.

Therefore, when the debugging is to be ended, the contents of the state change storage section are stored in the C provided on the programming panel 6.
A display on the RT (not shown) can tell which relays are not tried. That is, it can be understood that the debugging of the relay whose debugging has not been completed should be focused on.

FIG. 7 shows an example of the display, which is 10 of relays 0000 to 0099.
The state change storage flag is displayed for 0. The leftmost column and the uppermost row are headings representing the relay numbers. The leftmost column indicates the tenth digit or higher, and the uppermost column indicates the ones digit. The state change memory flag of each relay is displayed at the intersection of the row and the column. For example, relay at the intersection of 0010 and 4th row
The state change storage flag of 0014 is displayed. It is "0" in FIG.

As you proceed with the debugging, you will discover the errors contained in the program. Although the error is corrected by the change of the program, the revised part of the program needs to be verified, and the re-verified part without any change is not required. In such a situation, partial resetting of the state change flag is effective. An operator can enter a relay number on the programming panel and selectively reset the state change flag (that is, write "0"). Further, when writing a part of the program from the programming panel, it is possible to reset only the state change flag of the relay included in the part and keep the rest.

〔The invention's effect〕

As described above, according to the present invention, an unverified portion, that is, a coil that has not experienced both states of “1” and “0” in the past is relied on the memory of the verification operator. Without knowing, and by adding a test that eliminates all unverified coils,
More complete program debug processing can be performed.

[Brief description of drawings]

FIG. 1 is a block diagram showing the configuration of a general programmable controller, FIG. 2 is a flow chart showing the internal operation of the programmable controller, FIG. 3 is an explanatory diagram showing an example of a program, and FIG. 4 is a program showing in FIG. FIG. 5 is a block diagram showing a configuration example of a programmable controller for carrying out the present invention, FIG. 6 is a flow chart showing a verification procedure in the present invention, and FIG. 7 is a display of a relay state change flag. It is an explanatory view showing an example of. 1: Input part, 2: Data memory part 3: Output part, 4: Computing part 5: Program memory part 507: State change storage part 508: Battery 6: Programming panel

 ─────────────────────────────────────────────────── ─── Continuation of the front page (56) Reference JP-A-57-168307 (JP, A) JP-A-56-168129 (JP, A) JP-A-56-2008 (JP, A) JP-A 52- 40286 (JP, A) JP 52-40287 (JP, A) JP 56-168214 (JP, A) JP 56-168219 (JP, A) JP 58-39307 (JP, A) Actual development Sho 55-107603 (JP, U) Actual public Sho 59-33041 (JP, Y2)

Claims (2)

[Claims] 1. An input unit for receiving at least an external signal.
(1), an output unit (3) for outputting a signal to the outside, a program memory unit (5) for storing a program, a data memory unit (2) for holding the state of a relay, and the program memory In a method of verifying a program in a programmable controller having a calculation unit (4) that executes a program stored in a unit (5) and reads data in the data memory unit to perform a calculation, a relay in the programmable controller A 1-bit state change storage flag is associated with each of them, and a state storage unit (507) for storing whether or not the state of the corresponding relay has changed is provided. Prior to program verification, the state storage unit (507) Reset all state change memory flags to 0, read the program from the program memory (5),
Calculates whether the new state is energized or deenergized for each relay, judges whether the new state is the same as the old state, and if they are not the same, rewrites the flag of the relevant part of the state change storage unit to 1. This is performed for all relays, and the state of the state change storage flag is displayed to the outside through the output unit (3). 2. The display of the state of the state change storage flag is
The program verification method in the programmable controller according to claim 1, wherein the state change storage flags of all relays or arbitrarily designated relays are displayed on the programming panel.