JP2003177804A - Method and device for generating sequence control program and program for making computer execute the same method - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To realize the parallel processing of processing to be controlled a sequence control processing to be operated normally (in a fixed cycle) and a processing to be controlled in a real time due to an emergency phenomenon. <P>SOLUTION: This sequence control program generating device for generating a program for executing sequence control processing including sequence control processing phenomena which are not subject to any temporal constraint and non-sequence control processing phenomena which are subject to real time control is provided with a program converting part 19 for generating a plurality of original programs for separately operating the sequence control processing phenomena and the non-sequence control processing phenomena based on a state transition table constituted of a plurality of cells specified by states as judgement materials and phenomena as trigger conditions in which the sequence control processing phenomena and the non-sequence control processing phenomena are described so as to be mixed and a storage part 20 for separately storing each of those generated original programs. <P>COPYRIGHT: (C)2003,JPO

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a sequence control program generation method for automatically generating a sequence control program, a program for causing a computer to execute the method, and a sequence control program generation device.

[0002]

2. Description of the Related Art Conventionally, a ladder diagram system, a sequential function chart system, a function block system, a time chart, a state transition diagram, a condition table, etc. are mainly used as a program design system used for sequence control.

These control description methods are for expressing control operations, and when actually causing the control device to perform control, the control device is based on the information described by these methods. It was necessary to develop a control language that can be decrypted and executed. Since it depends on the ability of the programmer to develop this control language, it has hindered the efficiency improvement of the control programming.

Further, in these control description methods, it is necessary to carry out a complicated design description when describing both the sequential processing and the real-time processing required for the sequence control.

Further, Patent Document 1 discloses an invention relating to a method and apparatus for automatically generating a program from a state transition table. In the present invention, the processing target described in the state transition table is only for real-time control.

[0006]

[Patent Document 1] Japanese Patent Laid-Open No. 2000-20347

[0007]

(1) The Patent Document 1
According to the invention described in (1), only the processing target real-time control described in the state transition table is targeted, but there is a problem that it is not possible to meet all the requirements of the sequence control processing.

(2) According to the invention described in the patent document 1, it is possible to convert the judgment situation and the input information into a source program which can be interpreted by the CPU according to the state transition table defined at the time of real-time control design. is there. However, in the conventional description method of the state transition table, since the state transition table only defines the switching of processing, when automatically generating a program, for example, the cell (specified by state II and event 3 in FIG. 3 ( II-3) In order to convert the abstract description of “operation start processing” into a source program that can be interpreted by the CPU,
It is necessary to supplement the instruction with a program in C language, which can be interpreted by the CPU according to the definition as shown in FIG. 4, and then perform automatic conversion.

(3) Further, when the past design information is used at the time of new development or modification of the sequence control process, conventionally, all of the sequence control process could not be converted into a source program which can be interpreted by the CPU. It was necessary to design while referring to both the description data of the state transition table and the source program.

(4) According to the invention described in the patent document 1, at the stage of designing with the state transition table, the information to be input into the state transition table is input in real time, and the operation is performed from the definition of the state transition table. The result could be automatically written as a timing diagram. In this case, the timing diagram was constructed by writing it on a desk and writing it in a state transition table by a human. Such a method is apt to be erroneous in description and inefficient.

(5) In the contradiction verification of the sequence control processing described by the state transition table, in the invention described in the above publication, only the operation test by simulating the real time by the simulation can be carried out, and at the design stage. Could not be verified.

(6) In the case of performing detailed sequence control from a plurality of sensor operating states using a state transition table, conventionally, the state transition table is converted into a source program, and the target device is disconnected from the automatic program generation device. Was stored in a fixed recording medium, and when the sequence control execution unit was operating, the source program was referenced from the storage medium and executed. Therefore, the sequence control processing cannot be freely changed during operation.

In view of the above problems, it is an object of the present invention to enable parallel processing of processing that requires control in real time due to an urgent event and sequential control processing that operates steadily (fixed cycle). And An object of the present invention is to obtain one that can convert all of the sequence control processing designed by the state transition table into a source program that can be interpreted by a CPU. An object of the present invention is to obtain a sequence control program generation method capable of automatically verifying a design, a program that causes a computer to execute the method, and a sequence control program generation device when the validity of sequence control processing is confirmed.
The purpose is to reduce the sequence processing execution time and generate a speed-up program. To obtain the one that can freely change the sequence control process during operation. The purpose is to obtain what can be tested by visualizing the state transition table operation of the sequence control execution unit on the target device on the display unit. An object of the present invention is to obtain a sequence control program generation method for automatically generating highly reliable (safety) sequence information processing, a program for causing a computer to execute the method, and a sequence control program generation device.

[0014]

In order to achieve the above object, the invention according to claim 1 is a sequence including a sequence control processing event not subject to time constraint and an out-of-order control processing event requiring real-time control. In a sequence control program generation method for generating a program that executes control processing,
It is composed of a plurality of cells specified by the state as a judgment material and the event as the trigger condition, based on the state transition table in which the sequential control processing event and the non-sequential control processing event are described in a mixed manner, The method is characterized by including a program conversion step of generating a sequence control processing event and the non-sequential control processing event into a plurality of source programs that operate separately, and a storage step of separately storing each generated source program.

According to the first aspect of the present invention, it is possible to perform parallel processing of the non-sequential control processing event that requires control in real time and the sequential control processing event that operates steadily.

The invention according to claim 2 provides the invention according to claim 1.
In the sequence control program generation method described in
The out-of-order control process event is an input event in the timing diagram data, and is an in-cell process that combines output conditions with events and states, and the program conversion step is a process at a predetermined timing in the timing diagram data. , The states required for combination judgment in the input conditions are extracted from the states described in the input unit, the states transitioning from the in-cell processing result are extracted from the states described in the input unit, and the timing diagram data is transitioned Characterized by assigning to a table.

According to the second aspect of the invention, the source program can be easily generated from the design information of the state transition table accompanied by the order control processing.

The invention according to claim 3 is the same as claim 1
Alternatively, in the sequence control program generation method according to the second aspect, the program conversion step executes a conversion process into a machine language program, and in the conversion process, input / output memory addresses of various processes necessary for sequence control are processed for each process. It is characterized by fixing.

According to the third aspect of the present invention, it is possible to generate the machine language for the data necessary for the sequence control processing and all the sequence control processing only by the state transition table and the control specification notation.

The invention according to claim 4 is the same as that of claim 3
In the sequence control program generation method described in
The program conversion step is characterized in that, in the conversion process, input / output memory addresses for contact input / output process, measurement value input / output process, and communication process, which are various processes required for sequence control, are fixed for each process.

According to the fourth aspect of the present invention, the data necessary for the subroutine processing can be given.

The invention according to claim 5 provides the invention according to claim 3.
Alternatively, in the sequence control program generation method according to the fourth aspect, the program conversion step generates the primitive program from a sequence control process described by a control specification notation according to the law of Boolean algebra.

According to the invention of claim 5, since the design data is downsized, the processing time for executing the sequence control processing can be reduced and a high-speed program can be generated.

The invention according to claim 6 is the same as claim 3
In the method for generating a sequence control program according to any one of 1 to 5, when registering the state transition table data, it is stored in advance based on a storage address and output information of control output information mathematically written in a specific cell. Search the output information defined in other cells that are defined, compare if the input conditions defined for the process definition with the same output condition are the same, and compare the output information under the different input conditions. The processing is further characterized by further including a verification step of determining that a design contradiction has occurred.

According to the invention of claim 6, it is possible to automatically verify the design.

The invention according to claim 7 provides the invention according to claim 1.
The sequence control program generating method described in any one of 1 to 6 is characterized in that the storing step transfers each generated source program to a target device connected to a network.

According to the invention of claim 7, execution verification of the program can be performed by the target device connected to the network.

The invention according to claim 8 is the same as claim 1.
In the sequence control program generation method according to any one of 1 to 7, when performing an operation test of the sequence control program executed by the target device connected to the network, a state transition table stored in the target device is stored. It further comprises a display step of displaying the information via the network.

According to the invention of claim 8, it is possible to confirm the operation of the generated source program.

The invention according to claim 9 relates to claim 1
The sequence control program generation method according to any one of 1 to 8 above, wherein the program conversion step is performed by using the state transition table for the main sequence control process and the state transition table for the fail safe sequence control process. Generates each source program, checks the output consistency of the sequence control processing result obtained by each state transition table of the main sequence processing and fail safe sequence control processing, and when the verification result is correct, the main sequence control It is characterized in that the processing result is output.

According to the invention of claim 9, erroneous output can be prevented in advance when the output consistency verification result is incorrect.

Since the invention according to claim 10 is a program for causing a computer to execute the method described in any one of claims 1 to 9, the operation of any one of claims 1 to 9 is performed. It can be executed by a computer.

Further, the invention according to claim 11 is a sequence control for generating a program for executing a sequence control process including a sequence control process event not subject to time constraint and an out-of-order control process event requiring real-time control. In the program generation device, a state transition table composed of a plurality of cells specified by a state as a judgment factor and an event as a trigger condition, and described by mixing the sequential control processing event and the non-sequential control processing event. A program conversion means for generating the sequence control processing event and the non-sequential control processing event into a plurality of source programs that operate separately, and a storage means for separately storing the generated source programs. It is characterized by

According to the eleventh aspect of the present invention, it is possible to perform the parallel processing of the non-sequential control processing event which requires control in real time and the sequential control processing event which operates steadily.

Further, in the invention according to claim 12, in the sequence control program generating device according to claim 11, the non-sequential control processing event is an input event in the timing diagram data, and the output condition is an event and a state. Is the in-cell processing combined with, the program conversion means extracts the processing at a predetermined timing in the timing diagram data, and extracts the state required for the combination determination in the input condition from the state described in the input unit, It is characterized in that the transition state from the in-cell processing result is extracted from the states described in the input section and the timing diagram data is assigned to the state transition table.

According to the twelfth aspect of the present invention, the source program can be easily generated from the design information of the state transition table accompanied by the order control processing.

The invention according to claim 13 is the sequence control program generating device according to claim 11 or 12, wherein the program converting means executes conversion processing into a machine language program, and in the conversion processing,
It is characterized in that the input / output memory addresses of various processes required for sequence control are fixed for each process.

According to the thirteenth aspect of the present invention, it is possible to generate the machine language for the data necessary for the sequence control processing and all the sequence control processing only by the state transition table and the control specification notation.

Further, the invention according to claim 14 is the sequence control program generating device according to claim 13, wherein the program converting means is a contact input / output process which is various processes necessary for sequence control in the conversion process. It is characterized in that the input / output memory addresses of the measurement value input / output processing and communication processing are fixed for each processing.

According to the fourteenth aspect of the present invention, the data required for the subroutine processing can be given.

According to a fifteenth aspect of the present invention, in the sequence control program generating apparatus according to the thirteenth or fourteenth aspect, the program conversion means is based on a sequence control process described by a control specification notation, and a Boolean algebra The source program is generated by.

According to the fifteenth aspect of the present invention, since the design data is miniaturized, the processing time for executing the sequence control processing can be reduced and a high speed program can be generated.

The invention according to claim 16 is, in the sequence control program generator according to any one of claims 13 to 15, mathematically represented in a specific cell when registering the state transition table data. Based on the storage address of the control output information and the output information, the output information defined in another cell stored in advance is searched, and the input condition defined for the process definition having the same output condition is also the same. It is characterized by further comprising a verification means for comparing whether or not the output information is the same under different input conditions and determining that a design contradiction has occurred.

According to the sixteenth aspect of the present invention, it is possible to automatically verify the design.

According to a seventeenth aspect of the present invention, in the sequence control program generation device according to any one of the eleventh to sixteenth aspects, the storage means connects each generated source program to a network. It is also characterized in that it is transferred to the target device.

According to the seventeenth aspect of the present invention, the execution verification of the program can be performed by the target device connected to the network.

The invention according to claim 18 is the sequence control program generating apparatus according to any one of claims 11 to 17, wherein an operation test of the sequence control program executed by the target device connected to the network is performed. When performing, the display device further comprises display means for displaying information of the state transition table stored in the target device via the network.

According to the eighteenth aspect of the invention, it is possible to confirm the operation of the generated source program.

The invention according to claim 19 is the sequence control program generating device according to any one of claims 11 to 18, wherein the program converting means is:
The state transition table for the main sequence control processing and the state transition table for the fail safe sequence control processing are used to generate each of the above-mentioned source programs, and each state transition of the sequence control processing for the main sequence processing and the fail safe is performed. An output consistency check of the sequence control processing result obtained from the table is performed, and when the verification result is correct, the main sequence control processing result is output.

According to the nineteenth aspect of the present invention, erroneous output can be prevented in advance when the result of verifying the output consistency is incorrect.

[0051]

BEST MODE FOR CARRYING OUT THE INVENTION Preferred embodiments of a sequence control program generation device, a sequence control program generation method, and a program for causing a computer to execute the method will be described in detail below with reference to the accompanying drawings. To do.

FIG. 1 shows an embodiment of a sequence control program generation device 9 according to the present invention. The sequence control program generation device 9 includes a man-machine interface 10, a state transition table editor 14, a timing diagram editor 15, a state transition table generation unit 16, and a storage unit 1.
7, design knowledge database 18, program conversion unit 1
9, source program storage unit 20, processing simulation unit 2
3, an input / output simulation unit 24 and a real-time generation unit 25.

The man-machine interface 10 is
The display unit 11, the keyboard 12, and the mouse 13 are included. This man-machine interface 10
May include a sound input / output device (a set type of a microphone and an earphone, a headphone type, etc.) in addition to a light pen, a stylus pen, and the like.

The source program storage unit 20 comprises a storage unit 21 for order control processing and a storage unit 22 for out-of-order control processing.

The sequence control program generator 9 of the present invention is also coupled to the target device 27 via a network 26 such as a LAN. The target device 27 includes a program storage unit 28, a sequence control execution unit 29, and a state transition table operation state generation unit 30.

The man-machine interface 10 is
By operating the keyboard 12, the mouse 13, the voice input / output device, etc. while observing the display of the display unit 11, FIG.
Data necessary for designing a state transition table including a sequence control process description part a and an unordered control process description part b as shown in FIG. , Input the transition destination, etc. Also,
Timing information necessary for designing the state transition table, for example, timing data as shown in FIG. 9, is operated by operating the keyboard 12, the mouse 13, the voice input / output device, etc., by using the timing diagram editor 15. input. By moving the cursor with the cursor key of the keyboard 12 or the mouse 13 and operating the click or return key in the display area of the cell where the state and the event of the state transition table displayed on the display unit 11 intersect, the cell Is input, and the real-time operation result is displayed on the display unit 11 by the sequence control execution unit 29 supplied from the process simulation unit 23.

The state transition table editor 14 creates a state transition table composed of a description part a of the order control process and a description part b of the unordered control process based on the data input through the man-machine interface 10. More specifically, as shown in FIG. 2, a display editor unit 32 for exchanging signals with the display unit 11 and determining XY coordinates is shown in FIG.
And an input editor section 33 for exchanging with the keyboard 12, mouse 13, voice input / output device, etc., and output information of another cell is searched from output information of a specific cell, and the same process definition is input. The consistency check unit 35 for comparing the conditions to confirm whether or not the design of the sequence control process is valid, and the sequence control process using the control specification notation are used for design data using the law of Boolean algebra. To reduce the processing time of the sequence control processing and to store the data input from the display editor unit 32 and the input editor unit 33 for generating a speed-up program. The data registration execution unit 34 for executing registration in the unit 17 and the design knowledge stored in the design knowledge database 18 for function expansion and new sequence control processing. Tested in originating stage, and a test-reference unit 37 for referring.

The timing diagram editor 15 is for creating a sequence timing diagram in the sequence control design based on the data inputted through the man-machine interface 10. More specifically, as shown in FIG. Exchange of signals to the display unit 11 and X-
A display editor section 38 for judging the Y coordinate, an input editor section 39 for exchanging with the keyboard 12, the mouse 13, a voice input / output device, etc., and a function for expanding design knowledge stored in the design knowledge database 18 An inspection / reference unit 40 for inspecting and referencing at the development stage of a new sequence control process.

The state transition table generation section 16 has a state transition table conversion section 41 for converting the timing diagram shown in FIG. 9 into a state transition table shown in FIG. 10, and output information of a specific cell. From the output information of other cells from the cell, comparing the input conditions with respect to the same process definition to confirm the validity of the design of the sequence control process, and the control specification. The sequence control processing using the notation reduces the design control data by using the rule of Boolean algebra to reduce the effective processing time of the sequence control processing and a Boolean algebra processing unit 44 for generating a high-speed program. , A data registration execution unit 42 that executes registration of data input from the state transition table conversion unit 41 in the storage unit 17.

The timing diagram editor 15 and the state transition table generator 16 correspond to the state transition table editor 14.

The storage unit 17 stores the state transition table designed and edited by the state transition table editor 14 and the state transition table created by the state transition table generation unit 16 based on the sequence timing diagram. . When the state transition table data is registered in the storage unit 17, the control specification notation is used as described above, and the sequence control process using this control specification notation further applies the rule of Boolean algebra. By using this to downsize the design data, the sequence control process execution time is reduced and a high-speed program is generated.

The design knowledge database 18 is composed of a large-capacity storage medium, and the state transition table and the control specification notation make it possible to design only by the specification definition.
The design technology and knowledge data in the storage unit 17 are stored and managed. The design technology and knowledge data stored in the design knowledge database 18 are again stored in the state transition table editor 1
4 and instructions from the timing diagram editor 15 are read by the search / reference units 37 and 40, so that search and reference can be easily performed in the function expansion of the existing sequence processing or in the development stage of new sequence control processing. . This can greatly improve productivity and
Know-how can be accumulated as electronic data.

The program conversion unit 19 stores the data stored in the storage unit 17 for each cell, that is, the state transition table designed and edited by the state transition table editor 14, and the sequence in the state transition table generation unit 16. Based on the state transition table created based on the timing chart, all the designed sequence control processes are converted into a source program that can be interpreted by the CPU in the order of the sequential control process and the non-sequential control process. For example, in FIG. 5, the sequence control process described in the cell (II-3) where the state (II) and the event (3) intersect is as shown in FIG.
Decomposing into contact output processing call N, processing a subroutine, fixedly defining a memory storage address of information necessary for processing this subroutine, and
A design symbol X for describing a condition judgment for calling a subroutine and a design symbol Y for describing information and a memory storage address are used as a control specification notation method. Therefore, all sequence control processing designed with the state transition table
It becomes possible to convert it into a source program that can be interpreted by the CPU. These separately operable source programs are separated and converted into two, and the source program storage unit 20 stores the sequential control processing storage unit 21 and the unordered control processing storage unit 2.
Store in 2.

The target device 27 is used when finely performing sequence control from a plurality of sensor operating states according to a state transition table. The sequence control program generating device 9 according to the present invention and the network 26 such as a LAN are connected to each other. The source program is executed by copying the generated source program to the sequence control execution unit 29 in the target device 27 by connecting the source program via the source program.

Since the source program of the sequence control execution unit 29 of the target device 27 can be freely created and changed by the state transition table editor 14, it is generated by the program conversion unit 19 and stored in the source program storage unit 20. Storage unit 21 for order control processing and storage unit 2 for unordered control processing
2, and the target device 27 stores the network 26
The sequence control execution unit 29 can be operated by temporarily copying the source program to the program storage unit 28 via the. Further, since the copy can be freely generated via the network 26, it is possible to change the sequence control processing which is already in operation. Furthermore, the operation result of the sequence control execution unit 29 on the target device 27 is stored in the state transition table operation state generation unit 30, and LA
The operation result can be visualized and tested on the display unit 11 via N26. A specific example will be described later.

The processing simulating section 23, the input / output simulating section 24, and the real-time generating section 2 for simulating
The configuration and the action of No. 5 are described in Japanese Patent Application Laid-Open No.
The technical contents are the same as the invention described in Japanese Patent Application Laid-Open No. 000-20347. The sequence control program generation program executed by the sequence control program generation device of the present embodiment is a file in an installable format or an executable format, such as a CD-ROM, a floppy (R) disk (FD), or a DVD. It is provided by being recorded in a computer-readable recording medium. The sequence control program generation program of the present embodiment may be stored in a computer connected to a network such as the Internet and provided by being downloaded via the network. Further, the sequence control program generation program of this embodiment may be configured to be distributed via a network.

Next, the operation of the sequence control program generation method and apparatus 9 according to the present invention will be described with reference to the drawings. (1) In the state transition table, the row direction represents “states” (I), (II), (III), ... As judgment factors, and the column direction represents “event” (1) as a trigger condition,
(2), (3), ...

However, in the state transition table, the processing target to be described heretofore has been only for the real-time control. But,
The sequence control process is required to include a sequence control process that is not subject to time restrictions and an out-of-order control process that requires real-time control.

Therefore, in the present invention, in the example shown in FIG.
In the state transition table, the description part a of the sequence control process is described in the column (1) of the "event", and the description part b of the non-sequence control process is described in the columns (2) and (3) of the "event". It is characterized by doing. Note that the state transition table shown in FIG. 3 is an example, and in a more complicated sequence control process, each description part a and b may be a plurality of columns.

This state transition table is displayed on the display unit 11 of the man-machine interface 10 and is designed by the state transition table editor 14 by operating the keyboard 12 and mouse 13. The design information is stored in the storage unit 17 as a diagram. It is stored in the form of 5. The same applies to other cells.

FIG. 21 is an explanatory diagram showing an example of a state transition table when sequence processing is not involved, and FIG.
It is a flow chart which shows the processing procedure of the program generated from the state transition table of No. 1. 22 is an explanatory diagram showing an example of the state transition table when the sequence processing is involved, and FIG. 24 is a flowchart showing the processing procedure of the program generated from the state transition table of FIG.

As shown in FIG. 24, when sequence processing is performed as in the state transition table of FIG. 22 (SEQ portion), processing programs for the sequence control processing portion and the real-time control processing portion are generated. I understand.

(2) When designing the sequence control process using the state transition table, in order to determine in which state the process is to be distributed, state extraction is determined from a timing diagram as shown in FIG. The method is effective.

Therefore, conventionally, the timing diagram was designed on the desk, but in the present invention, the timing diagram editor 15 converts the design data.

That is, for example, in the timing data shown in FIG. 9, the condition described in the input section is an event input to the state transition table, and the condition described in the output section is executed from the combination result of the event and the state. Processing in the cell (II-3) to be performed, the processing at the timing T is “GI_050
"03: 1-> GO_03001: 1". Also, the state required for combination determination under the input unit condition is the input unit ST, and the state transitioning from the in-cell processing result is the output unit S.
Let T be assigned to the data described in the state transition table editor 14. The process of allocating the data of these timing diagrams to the state transition table data is executed by the state transition table conversion unit 41 of the state transition table generation unit 16, and like the state transition table editor 14 shown in FIG. Storage unit 17 in the form
Be stored in.

FIG. 25 is a flow chart showing the procedure of conversion processing from the control specification in the mathematical notation shown in FIG. 6 to the flow chart notation shown in FIG. First, the syntax of the notation of the control specification is analyzed (step S2501). Then, the left side number of the symbol "->" is written into the unit number memory and the relay number memory from the designated processing information storage address Y (step S2502).

Then, the information acquisition function process is written with the unit number and the relay number as arguments (step S250).
3). Then, the comparison process of whether the return value extracted from the process information: 1 by the information acquisition function process is the true value (1) is written (step S2504). Then, when the comparison processing is the true value (1), the processing information storage address Y of the unit number = 3 and the relay number = 1 is determined (external output register), and the right side of “−>”: 1 output A process for writing 1 to the external output register is written from the information (step S2505). As a result, the program of the flowchart shown in FIG. 7 is generated.

(3) The program conversion unit 19 converts the design information in the form as shown in FIG. 5 and the design information in the form as shown in FIG. 10 stored in the storage unit 17 into an order control process and an out-of-order control process. Two source programs that can be operated separately are generated, and are separately stored in the storage unit 21 for the order control process and the storage unit 22 for the unordered control process in the atomic program storage unit 20. At this time, the conversion by the program conversion unit 19 is converted into a source program composed of a subroutine as shown in FIG.
Stored in 0.

By the method and apparatus of the present invention as described above,
It enables parallel processing of processing that requires real-time control due to an urgent event and sequential control processing that operates steadily (fixed cycle), and also enables automatic generation of programs from timing diagrams. Furthermore, when the program is converted into a source program, the data of the source program is converted into LSI program data, which can be applied as an automatic tool for LSI circuit design.

(4) Conventionally, in the description of the state transition table, the state transition table defines only process switching. for that reason,
In automatically generating the program, it was necessary to execute the program as a procedure for converting into a machine language.

The present invention relates to procedures necessary for converting into a machine language, such as memory operations and function calls,
For example, by fixing the input / output memory numbers for contact input / output processing, measurement value input / output processing, and communication processing necessary for sequence control, and giving the data necessary for subroutine processing, as shown in FIG. Macro notation is possible.

Specifically, FIG. 8A shows an example of the definition of the storage address of the most simplified memory. The following is
FIG. 8B shows a contact input / output processing example, FIG. 8C shows a measured value input / output processing example, and FIG. 8D shows a communication processing. Shows an example of.

As described above, all the sequence control processes can be automatically generated in the machine language only by the control specifications mathematically described by the program conversion unit 19 as the state transition table. Makes it possible to design, and makes it easy to manage the design technology in the design knowledge database 18. The design knowledge data stored in the design knowledge database 18 can be easily inspected and referred to at the function expansion of the existing sequence control process or the development stage of the new sequence control process, so that the productivity can be greatly improved and the know-how can be obtained. It can be stored as electronic data.

(5) As described above, all sequence control processing enables automatic generation of a machine language using only the state transition table and control specification notation, and makes it easy to manage the design technology in the design knowledge database 18. ing.

However, in the present invention, the sequence control process using the control specification notation is further reduced by using the rule of Boolean algebra to downsize the design data as shown in FIG. Reduce processing time,
It is possible to generate a speed-up program. Such simplification processing is performed by the Boolean algebra processing unit 36 of the state transition table editor 14 and the Boolean algebra processing unit 44 of the state transition table generation unit 16, and after the simplification processing is performed, it is stored. It is stored in the unit 17.

For example, FIG. 11A shows a simplification example by inverse transformation of the distribution rule of Boolean algebra, and FIG.
FIG. 11 shows a simplified example of the absorption rule of Boolean algebra.
(C) shows a simplified example according to De Morgan's law.

(6) The present invention is not limited to the control processing example as shown in FIGS. 3 and 9, but the dew condensation state is judged from the temperature sensor and the humidity sensor as shown in FIG. The intelligent sensor can be easily created even in the state transition table when the intrusion detection is judged by the change of the temperature sensor and the vibration sensor.

(7) A case of confirming the validity of the design of the sequence control process will be described.

When the state transition table data is registered in the storage unit 17, for example, it is defined on the right side of the condition judgment (->) in FIG. 6 showing the processing condition of the cell (II-3) shown in FIG. Based on the storage address of the output information and the output information, the output information defined in the other cells is stored in the design knowledge database 18 from the data stored in the search / reference unit 37 of the state transition table editor 14 and the timing diagram editor 15. And the consistency check unit 35 of the state transition table editor 14 to check whether the input conditions defined on the left side of the condition judgment (->) regarding the same process definition are searched. The consistency check unit 43 of the state transition table generation unit 16 makes a comparison. Then, in the process in which the output information is the same under different input conditions, it is determined that a design contradiction has occurred, and display is performed on the display unit 11 to automatically verify the design.

In this way, the efficiency of design verification and the illegal operation of sequence control processing are prevented in the design stage.

(8) In the case where the sequence control is finely performed from a plurality of sensor operating states as shown in FIG. 12 by the state transition table, conventionally, the state transition table is converted into a source program and the automatic program generation device is used. Was stored in a fixed recording medium of the disconnected target device, and was executed by referring to the source program from the recording medium when the sequence control execution unit operates.

In the present invention, in the case where the process is determined from a plurality of sensor operation information as shown in FIG. 12 by the state transition table and the sequence control is executed, as shown in FIG. 1, the sequence control program of the present invention is used. Since the generation device 9 and the target device 27 are connected by the network 26 such as a LAN, the source program of the sequence control execution unit 29 of the target device 27 is stored in the state transition table editor 14 of the sequence control program generation device 9. Can be created freely. That is, the program conversion unit 19 generates two source programs capable of separately operating the order control process and the out-of-order control process, and stores the source control program storage unit 21 of the source program storage unit 20 and the unordered control process, respectively. Separately stored in the storage unit 22, the target device 27 copies the source program to the program storage unit 28 of the target unit 27 via the network 26, and causes the sequence control execution unit 29 to reload the source program. . In this way, the sequence control process can be freely changed during operation.

(9) In the operation test of the sequence control program executed by the target device 27, the sequence control program generating device 9 and the target device 2 of the present invention.
7 is connected to a network 26 such as a LAN, so that the sequence control execution unit 29 of the target device 27 is connected.
The input event and the state given to the state transition table process are stored in the state transition table operation state generation unit 30 and the stored information is copied as time information to the process simulation unit 23 via the network 26. State transition table editor 1 for design using state transition table and control specification notation
4 and the timing diagram editor 15, the state transition table operation of the sequence control execution unit 29 of the target device 27 can be displayed on the display unit 11 while the description format at the time of design is maintained, and the actual operation can be visually confirmed.

(10) The technique using the state transition table and the control specification notation according to the present invention can also be used for a dual (N-duplex) processing of a computer.

Conventionally, the computer duplication (N duplication) processing is effective against a hardware failure, but when the software design is erroneous,
Even if the computer is duplicated, the same error is derived, so that the validity cannot be verified.

FIG. 13 shows a sequence control for main sequence processing and a sequence control for fail-safe different from the main sequence, for example, when verifying whether the execution instruction obtained by the sequence control processing is appropriate. The process is defined, the program conversion unit 19 generates a sequence control source program, the target device 27 causes the sequence control execution unit 29 to operate each of the sequence control processes for the main sequence process and the fail safe, and the transition table is used. An output consistency check of the obtained sequence control processing result is also executed by the sequence control execution unit 29,
The program is generated so that the main sequence control processing result is output only when the verification result is correct. The technology of the present invention including the control specification notation described above is
It can be used as it is in FIG.

That is, a state transition table for the main sequence control processing as shown on the left side of FIG. 13 and a state transition table for the fail safe sequence control processing as shown on the right side are designed, and The design information is stored in the storage unit 17 in the same form as in FIG. 5, converted by the program conversion unit 19 into a source program as shown in FIG. 4, and stored in the source program storage unit 20. All sequence control processing enables automatic generation of a machine language only with a state transition table and control specification notation, and a design knowledge database 18 manages design technology. Further, as shown in FIG. 11, the sequence control processing using the control specification notation is subjected to simplification processing of the design data using the law of Boolean algebra, and then stored in the storage unit 17.

With such a structure, when the target device 27 operates as shown in FIG.
The sequence control execution unit 29 determines the consistency of the output result of each cell of each motor operation in the state transition table of the main sequence control process and the state transition table of the fail sale sequence control process. If the matching is matched, the motor operation is started, and if the matching is not matched, an incorrect output result is output and an incorrect message is displayed on the display unit 11.

Therefore, the verification as to whether or not the execution instruction obtained by the sequence control processing is appropriate can be checked not only from a software design error but also from the viewpoint of safe operation.

[0100]

EXAMPLE The operation of the above-described development apparatus will be described by taking a concrete apparatus development as an example. This is shown as an example of program development incorporated in the dam gate control device. First of all, the dam gate control device has a function to keep the amount of stored water constant to prevent the dam from breaking (constant water level control), and the water level of the dam is affected by power generation and securing of water according to human system instructions. There is a function (constant discharge control) that discharges constantly without.

FIG. 14 is a flow chart showing the program design of the dam sluice control device. This program operates on a programmable controller generally used as a control device, the program is started when the power is turned on, and the processes from step S1401 to step S1407 are cyclically executed.

Attention is now focused on the processing of S1404 in FIG. The process of S1404 is a constant water level control process for keeping the amount of water stored in the dam constant so that the dam does not collapse. Figure 15 shows
It is a flowchart of a constant water level control process.

In the process of S1404, the current water level is compared with the set water level for keeping constant, and step S15 of FIG.
If the automatic operation is started in 02, the discharge value is acquired from the constant table defined in advance according to the topography of the dam and the nature of the river (step S1503).

Thereafter, the target discharge amount and the current discharge amount are compared (step S1504), and if the target discharge amount is equal to or larger than the current discharge amount, the discharge increase limit amount (α) set in the river and the current discharge amount are added. This value is set as the drainage control target discharge amount (step S1505), and the drainage gate is controlled to open until the drainage control target discharge amount and the current discharge amount are equal (step S1506).

On the other hand, if the target discharge amount is smaller than the current discharge amount, a value obtained by subtracting the discharge increase limit amount (α) set in the river from the current discharge amount is set as the drainage control target discharge amount (step S1507), and drainage control is performed. It is a process of controlling to open the drainage gate until the target discharge amount and the present discharge amount are equal (step S1508).

In the above process, in order to interrupt the drainage gate operation urgently, the automatic operation must be canceled, but the automatic operation state confirmation is executed only in step S1502, and once the drainage gate operation is started. I kept running the drain gate motor until I received the drain gate operation completion under the operating conditions. In particular, the condition that the emergency stop operation of the floodgate control can be accepted only during the process of step S1502 in FIG. 15 cannot be understood unless the design document is confirmed over time.

Therefore, the state transition table is used in order to clearly design the real-time control that requires immediate execution such as an emergency stop in the whole process. FIG. 16 is an explanatory diagram showing an example of a state transition table for clearly designing such real-time control. As shown in the program description example of FIG. 17, the program is written so that the real-time processing can be easily confirmed from the design document, and the execution of the program is switched preferentially during the automatic operation cancellation processing (emergency stop). By doing so, it became possible to clearly specify in the design of important control related to safety. Further, the design information is created by the state transition table editor 14 of FIG. 1 using the man-machine interface 10, the display unit 11, the keyboard 12, and the mouse 13 of FIG. 1, and the Boolean algebra processing unit 36 of FIG. Generate a sequence control program from the state transition table. FIG. 18 is a flowchart showing an example of the processing procedure of the generated sequence control program.

As shown in FIG. 19, the control specifications executed by the state transition table shown in FIG. 16 are such that relays and transistors are made conductive by giving DO data to be controlled to the device driver section in a primitive programming language such as conventional C language. It was giving an electric signal to the state.

However, in order to pass the data to the driver, a method of securing a memory area for passing the data in the program and giving the address of the head memory of the secured area to the driver is generally used. It was necessary to secure the memory, initialize the memory contents, and describe the data set according to the rules of the programming language, and it was not possible to easily create a program without skill.

19a), the memory address to be passed to the driver is converted into an address by the character information of FIG. 19b) separately from the address managed by the computer.
The relationship between the address of character information and the address managed by the computer was defined. After that, the Boolean algebra processing unit 36 shown in FIG.
A sequence control program for operating a computer is generated from the control specification description data.

The correspondence between the address of the character information and the memory address to be passed to the driver is that the address is changed for each device driver function operated as shown in FIG. DI to enter
Data is transferred to the function, the AD function of inputting analog displacement as digital data, the DA function of converting digital data to analog and outputting, and the function of inputting / outputting to / from the RS232C or LAN. As a result, an output program to the device driver is automatically generated from the control specifications mathematically described, and the sequence control program required for the function of FIG. 16 is generated by the Boolean algebra processing unit 36 of FIG. In the sequence control program generation by the Boolean algebra processing unit 36 of FIG. 2, the description for operating the relay controlling the sluice is described as shown in FIG. 20a) so that the Boolean algebra processing unit 36 of FIG.
The sequence control program shown in FIG. 20c) is generated by the conversion rule shown in b).

Further, since the control specification can be described in the same format as the mathematical formula, whether the respective rules of the Boolean algebra shown in FIG. 11 can be applied or not is determined by the address of the character information and the logical operation formula shown in FIG. By comparing with the Boolean algebra processing unit 36 and utilizing the fact that the redundant description can be simplified by the Boolean algebra, the redundant and bloated program by human thought is simplified,
By reducing the number of program steps from FIG. 17a) to FIG. 17b), the processing speed can be increased.

Further, in the design verification by the Boolean algebra processing unit 36 in FIG. 2, it is confirmed whether the addresses of the character information to be processed on the right side of the control specification-> are not defined to be the same. If so, it is assumed that the same relay is output twice under different conditions, and the design verification is automatically verified by the state transition table editor 14 of FIG. 1 and the man-machine interface 1 shown in FIG. 1 is an invalid design description.
Warning output from 0.

The design description according to the control specification is compiled by the program conversion unit 19 in FIG. 1 through a procedure of simplification by Boolean algebra and consistency verification of the logic specification description to generate a source program. After that, the sequence control source program and the unordered control source program are copied to the program storage unit 28 in the target device 27 connected to the sequence control program generator main body by the LAN 26, and then copied to the target device 27 after the copying is completed. By starting execution of the source program for sequence control (order control processing part) a in FIG. 18 and the source program for non-order control (real-time control processing part) b in FIG. 18, the operation of the process designed in FIG. 16 is performed. Start.

After the start, the sequence control processing portion a of FIG. 18 is processed at a constant cycle. When the DI state of the automatic operation cancellation process (emergency stop) is input from the driver via the address by the character information during the sequence control process, the sequence control process part a is activated and the DO of the water gate opening control of FIG. 20a) is started. Execute the output. When this processing ends, the processing of the sequence control processing portion a in FIG. 18 is restarted at a constant cycle, and an emergency operation for ensuring safety is accurately executed from the target device.

The execution states of the target of the sequence control source program (sequence control processing part) a and the non-sequence control source program (real time control processing part) b of FIG.
The processing of the sequence control processing part a or the real-time control processing part b is executed, and in each case, the number of rows and columns of the state transition table are recorded in the state transition table operation state generation unit 30 of FIG. The process simulation unit 23 of FIG. 1 periodically reads the information about how many rows and columns of the target device are executed on the display unit 11 via the man-machine interface 10 of FIG. The states are overlapped and displayed in different colors as in the screen display example of FIG.
The developer confirms the color-changed information and conducts an execution test of the designed state transition table.

After performing the execution test and confirming the operation according to the design, the design information is reused at the time of the subsequent sequence control program improvement and function addition, and similar development, and the design information is input only for the changed portion. In order to improve the production efficiency, all the state transition table design information such as the number of states, the number of input events, and the character information described in the control specifications stored in the storage unit 17 is input to the state transition table by the man-machine interface 10. It is saved in the design knowledge database 18 by the editor 14.

As a result, when the sequence control program is modified, functions are added, or similar development is performed, a keyword such as the number of states, the number of input events, and the character information described in the control specification is input from the man-machine interface 10 to change the state. From the process by the table editor 14 to the design knowledge database 1
When the same information is found as a part of the same information as the input instruction as a result of searching the information in 8, the number of states, the number of input events, and the character information described in the control specification stored in the design knowledge database are used. Display output is performed on the display unit of the man-machine interface 10.

[0119]

As described above, claims 1 and 1
According to the invention of No. 1, the following effects can be obtained. The sequence control process is required to include a sequence control process that is not subject to time constraints and an out-of-order control process that requires real-time control. However, in the present invention, the processing target described in the state transition table is actually By describing not only the non-sequential control process description part of the time control but also the sequence control process description part required for the sequence control, all the requirements of the sequence control process can be met only by the state transition table.

Further, according to the inventions of claims 2 and 12, the following effects are exhibited. When designing the sequence control process with the state transition table, a method of determining the extraction of the state from the timing diagram is effective in order to determine which state the state transition table allocates the process to. Therefore, in the present invention, design data is created by the timing diagram editor 15. This makes it possible to handle the design that was conventionally performed on the desk as electronic data, and it is possible to digitize the information necessary for manufacturing the sequence control process.

According to the inventions of claims 3, 4, 13, and 14, the following effects can be obtained. Regarding the procedures required to convert to machine language, such as memory operations and function calls, fix the input / output memory addresses required for sequence control, such as contact input / output processing, measured value input / output processing, and communication processing. As a result, by giving the data necessary for the subroutine processing, the macro notation of the control specifications mathematically described is enabled. Therefore,
The program conversion unit 19 performs all sequence control processing.
In, the machine language can be automatically generated only by the state transition table and the control specification notation, the design can be made only by the specification definition, and the design technology can be easily managed in the design knowledge database 18. Further, the design knowledge data stored in the design knowledge database 18 can be easily inspected / referenced in the function expansion of the existing sequence control processing or in the development stage of the new sequence control processing, so that the productivity is greatly improved and It becomes possible to accumulate know-how as electronic data.

According to the invention of claims 5 and 15, the following effects can be obtained. By reducing the design data of the sequence control processing using the control specification notation by using the law of Boolean algebra, it is possible to reduce the processing time for executing the sequence control processing and generate a high-speed program. . Such simplification processing is performed by the Boolean algebra processing unit 36 of the state transition table editor 14 and the Boolean number processing unit 44 of the state transition table generation unit 16, and then the storage unit 1
Stored in 7.

According to the inventions according to claims 6 and 16, the following effects can be obtained. When registering the state transition table data, the search / reference unit 40 searches from the data in which the output information defined in another cell is stored, based on the storage address of the output information and the output information, and the same. The consistency check units 35 and 43 compare whether the input conditions are the same for the following process definitions. Then, in the process in which the output information is the same under different input conditions, it is determined that a design contradiction has occurred, and display is performed on the display unit 11 to automatically verify the design. Therefore, it is possible to improve the efficiency of design verification and prevent the illegal operation of the sequence control process in the design stage.

According to the inventions of claims 7 and 17, the following effects can be obtained. The source program of the sequence control execution unit 29 of the target device 27 connected by the LAN 26 can be freely created by the state transition table editor 14 of the sequence control program generation device 9. That is, the program conversion unit 19 generates two source programs capable of separately operating the order control processing and the non-order control processing, and stores the order control processing storage unit 21 and the non-order control processing of the atomic program storage unit 20, respectively. Separately stored in the storage unit 22, the target device 27 via the LAN 26,
The source program is copied to the program storage unit 28 of the target device 27, and the sequence control execution unit 29 reloads the source program. In this way
The sequence control process can be freely changed during operation.

According to the inventions of claims 8 and 18, the following effects can be obtained. In the operation test of the sequence control program executed by the target device 27, by connecting the target device 27 with the LAN 26,
The input event and the state given to the state transition table process by the sequence control execution unit 29 of the target device 27 are stored in the state transition table operation state generation unit 30, and this stored information is sent to the process simulation unit 23 via the LAN 26 for a time. By copying the information as the information, the state transition table editor 14 and the timing diagram editor 15 can maintain the state of the sequence control execution unit 29 of the target device 27 for the design using the state transition table and the control specification notation in the description format at the time of design. The transition table operation is displayed on the display unit 11 so that the actual operation can be visually confirmed.

According to the inventions of claims 9 and 19, the following effects can be obtained. When verifying whether the execution instruction obtained by the sequence control processing is valid, the sequence control processing for the main sequence processing and the fail safe sequence control processing are defined, and the program conversion unit 19 generates the sequence control source program. And target device 2
7, the sequence control unit 29 operates each of the sequence control processes for the main sequence process and the fail-safe process, and the output consistency check of the sequence control process result obtained by the transition table is also performed by the sequence control execution unit 2
The program can be generated so that the main sequence control processing result is output only when the verification result is correct. Therefore, it is possible to check whether or not the execution instruction obtained by the sequence control processing is appropriate from the viewpoint of software design error and safe operation.

Further, according to the invention of claim 10,
There is an effect that the operation according to any one of claims 1 to 9 can be executed by a computer.

[Brief description of drawings]

FIG. 1 is a block diagram showing an embodiment of a sequence control program generation device according to the present invention.

FIG. 2 is a detailed block diagram of a main part in FIG.

FIG. 3 is an explanatory diagram of a state transition table according to the present invention in which a sequence control processing event a and an unordered control processing event b are described in a mixed manner.

FIG. 4 is an explanatory diagram of an example in which the program of the cell (II-3) in FIG. 3 is described in C language or the like.

FIG. 5 is an explanatory diagram when the same state transition table as in FIG. 2 is used as a control specification notation.

FIG. 6 is an explanatory diagram of control specification notation of cell (II-3) in FIG. 5.

7 is an explanatory diagram of a flow chart notation of a cell (II-3) in FIG.

8A and 8B are explanatory diagrams showing examples of different control specification notation, in which (A) is a definition example of a memory storage address, and (B) is
Contact input / output processing example, (C) is the measured value input / output processing example,
(D) shows an example of communication processing.

9 is an explanatory diagram of a timing diagram of a cell (II-3) in the state transition table of FIG. 2.

10 is an explanatory diagram of a state transition table converted from the timing chart of FIG.

FIG. 11 shows an example of reducing the design data by using the rule of Boolean algebra in the sequence control process using the control specification notation shown in FIG. 5, and (a) shows the inverse of the distribution rule of Boolean algebra. Explanatory diagram showing simplified example by conversion, (b)
Is an explanatory diagram showing a simplified example by the absorption rule of Boolean algebra,
(C) is an explanatory view showing a simplified example according to De Morgan's law.

FIG. 12 is an explanatory diagram showing an example in which a state transition table and control specification notation can be used when determining a fire state from a temperature sensor, a smoke detection sensor, and a current sensor.

FIG. 13 is an explanatory diagram illustrating an example of checking the output consistency between the main sequence control process and the fail-safe (accident prevention) sequence control process.

FIG. 14 is a flowchart showing a program design example of a dam sluice control device.

FIG. 15 is a flowchart showing a procedure of a constant water level control process as an example.

FIG. 16 is an explanatory diagram showing an example of a state transition table of constant water level control processing.

17A is an explanatory diagram showing a description example before compression of a processing program, and FIG. 17B is an explanatory diagram showing a description example after compression.

FIG. 18 is a flowchart showing an example of a processing procedure of a sequence control program generated by the sequence control program generation device according to the present embodiment.

FIG. 19 a) is an explanatory diagram showing a description example of a program regarding a memory message, b) is an explanatory diagram showing a description example of a memory address conversion, and c) is an explanatory diagram showing a driver selection definition example. is there.

20A) is an explanatory diagram showing a description example for operating a relay for controlling a floodgate, and FIG. 20B is an explanatory diagram showing a conversion rule.

FIG. 21 is an explanatory diagram showing an example of a state transition table when sequence processing is not involved.

FIG. 22 is an explanatory diagram showing an example of a state transition table when sequence processing is involved.

23 is a flowchart showing a processing procedure of a program generated from the state transition table of FIG.

24 is a flowchart showing a processing procedure of a program generated from the state transition table of FIG.

FIG. 25 is a flowchart showing a procedure of conversion processing from the control specification in mathematical notation shown in FIG. 6 to the flowchart notation shown in FIG. 7.

[Explanation of symbols]

9 Sequence control program generator 10 Man-machine interface 11 Display 12 keyboard 13 mice 14 State transition table editor 15 Timing diagram editor 16 State transition table generator 17 Memory 18 Design knowledge database 19 Program converter 20 Primitive program memory 21 Storage unit for sequence control processing 22 Storage unit for out-of-order control processing 23 Process simulation part 24 Input / output simulation section 25 Real-time generator 26 network 27 Target device 28 Program Storage Department 29 Sequence control execution unit 30 State transition table Operating state generator

Claims (19)

[Claims] 1. A sequence control program generation method for generating a program that executes a sequence control process including a sequence control process event that is not subject to time constraints and an unordered control process event that requires real-time control. Of the sequence control process event and the non-sequential control process event are described in a mixed state, the sequence control process is configured by a plurality of cells specified by the state and the event as the trigger condition. Sequence control program generation, comprising: a program conversion step of generating an event and the non-sequential control processing event into a plurality of source programs that operate separately; and a storage step of separately storing each generated source program. Method. 2. The out-of-order control processing event is an input event in the timing diagram data, and is an in-cell processing in which an output condition is combined with an event and a state, and the program conversion step is performed in the timing diagram data. Extract the processing at a predetermined timing, extract the state required for combination judgment in the input condition from the state described in the input unit, and extract the state transitioning from the in-cell processing result from the state described in the input unit, the timing The sequence control program generation method according to claim 1, wherein the diagram data is assigned to a state transition table. 3. The program converting step executes conversion processing into a machine language program, and in the conversion processing, input / output memory addresses of various processing required for sequence control are fixed for each processing. The sequence control program generation method according to claim 1. 4. In the program conversion step, in the conversion processing, input / output memory addresses for contact input / output processing, measurement value input / output processing, and communication processing, which are various processing required for sequence control, are fixed for each processing. The sequence control program generation method according to claim 3. 5. The sequence control program according to claim 3, wherein the program conversion step generates the primitive program from a sequence control process described by a control specification notation according to a Boolean law. Generation method. 6. When registering state transition table data, an output defined in another cell stored in advance based on a storage address and output information of control output information mathematically written in a specific cell. Search information and compare whether the input conditions defined for the process definition with the same output condition are also the same, and determine that the process with the same output information under different input conditions has a design contradiction 6. The method according to claim 3, further comprising a verification step of
A method for generating a sequence control program according to any one of 1. 7. The sequence control program generation according to claim 1, wherein the storing step transfers each generated source program to a target device connected to a network. Method. 8. When performing an operation test of a sequence control program executed by a target device connected to a network, a display step of displaying information of a state transition table stored in the target device via the network is further provided. The sequence control program generation method according to claim 1, further comprising: 9. The program converting step generates each of the source programs from a state transition table for main sequence control processing and a state transition table for fail safe sequence control processing, The output consistency check of the sequence control processing result obtained by each state transition table of the fail safe sequence control processing is performed, and when the verification result is correct, the main sequence control processing result is output. Item 9. A sequence control program generation method according to any one of items 1 to 8. 10. A program for causing a computer to execute the method according to any one of claims 1 to 9. 11. A sequence control program generation device for generating a program for executing a sequence control process including a sequence control process event that is not subject to a time constraint and an out-of-order control process event that requires real-time control. Of the sequence control process event and the non-sequence control process event are described in a mixed state, and the sequence control process is configured by a plurality of cells specified by the state of and the event as the trigger condition. A sequence control program, comprising: a program conversion means for generating an event and the unordered control processing event into a plurality of source programs for operating separately; and a storage means for storing each generated source program separately. Generator. 12. The out-of-order control processing event is an input event in the timing diagram data, and is an in-cell process in which an output condition is combined with an event and a state, and the program conversion means is used in the timing diagram data. Extract the processing at a predetermined timing, extract the state required for combination judgment in the input condition from the state described in the input unit, extract the state transitioning from the in-cell processing result from the state described in the input unit, the timing The sequence control program generation device according to claim 11, wherein the figure data is assigned to a state transition table. 13. The program conversion means executes a conversion process into a machine language program, and fixes input / output memory addresses of various processes necessary for sequence control in each process in the conversion process. 12. The sequence control program generation device according to item 12. 14. The program conversion means fixes, in each conversion process, input / output memory addresses for contact input / output process, measurement value input / output process, and communication process, which are various processes required for sequence control in the conversion process. The sequence control program generation device according to claim 13. 15. The sequence control program according to claim 13, wherein the program conversion means generates the primitive program from a sequence control process described by a control specification notation according to the law of Boolean algebra. Generator. 16. When registering state transition table data, an output defined in another cell stored in advance based on a storage address and output information of control output information mathematically written in a specific cell. Search information and compare whether the input conditions defined for the process definition with the same output condition are also the same, and determine that the process with the same output information under different input conditions has a design contradiction 14. The verification means for further comprising:
15. The sequence control program generation device according to any one of 15. 17. The sequence control program generation according to claim 11, wherein the storage unit transfers each generated source program to a target device connected to a network. apparatus. 18. A display means for displaying information of a state transition table stored in the target device via the network when performing an operation test of a sequence control program executed by the target device connected to the network. The sequence control program generation device according to any one of claims 11 to 17, characterized by being provided. 19. The program conversion means generates each of the source programs from a state transition table for main sequence control processing and a state transition table for fail safe sequence control processing, The output consistency check of the sequence control processing result obtained by each state transition table of the fail safe sequence control processing is performed, and when the verification result is correct, the main sequence control processing result is output. Item 11-18
The sequence control program generation device according to any one of 1.