WO2018042520A1 - プログラム編集装置、プログラム編集方法及びプログラム編集プログラム - Google Patents

プログラム編集装置、プログラム編集方法及びプログラム編集プログラム Download PDF

Info

Publication number
WO2018042520A1
WO2018042520A1 PCT/JP2016/075360 JP2016075360W WO2018042520A1 WO 2018042520 A1 WO2018042520 A1 WO 2018042520A1 JP 2016075360 W JP2016075360 W JP 2016075360W WO 2018042520 A1 WO2018042520 A1 WO 2018042520A1
Authority
WO
WIPO (PCT)
Prior art keywords
instruction
instructions
sequence control
program
control program
Prior art date
Application number
PCT/JP2016/075360
Other languages
English (en)
French (fr)
Inventor
知剛 小川
Original Assignee
三菱電機株式会社
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 三菱電機株式会社 filed Critical 三菱電機株式会社
Priority to KR1020197001430A priority Critical patent/KR102041772B1/ko
Priority to JP2018536560A priority patent/JP6532610B2/ja
Priority to US16/315,109 priority patent/US10990073B2/en
Priority to CN201680088675.3A priority patent/CN109643093A/zh
Priority to DE112016007069.1T priority patent/DE112016007069T5/de
Priority to PCT/JP2016/075360 priority patent/WO2018042520A1/ja
Priority to TW105134396A priority patent/TWI621066B/zh
Publication of WO2018042520A1 publication Critical patent/WO2018042520A1/ja

Links

Images

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G05B19/056—Programming the PLC
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/045—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using logic state machines, consisting only of a memory or a programmable logic device containing the logic for the controlled machine and in which the state of its outputs is dependent on the state of its inputs or part of its own output states, e.g. binary decision controllers, finite state controllers
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G05B19/054—Input/output
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/10—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using selector switches
    • G05B19/102—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using selector switches for input of programme steps, i.e. setting up sequence
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/18—Numerical control [NC], i.e. automatically operating machines, in particular machine tools, e.g. in a manufacturing environment, so as to execute positioning, movement or co-ordinated operations by means of programme data in numerical form
    • G05B19/4093—Numerical control [NC], i.e. automatically operating machines, in particular machine tools, e.g. in a manufacturing environment, so as to execute positioning, movement or co-ordinated operations by means of programme data in numerical form characterised by part programming, e.g. entry of geometrical information as taken from a technical drawing, combining this with machining and material information to obtain control information, named part programme, for the NC machine
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G06F8/315—Object-oriented languages
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G05B19/052—Linking several PLC's
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM]
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/10—Plc systems
    • G05B2219/13—Plc programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/32—Monitoring with visual or acoustical indication of the functioning of the machine
    • G06F11/323—Visualisation of programs or trace data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/51—Source to source
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]

Definitions

  • the present invention relates to a program editing apparatus, a program editing method, and a program editing program.
  • Patent Document 1 discloses a software PLC (Programmable Logic Controller) programming device.
  • the software PLC programming device of Patent Document 1 converts a sequence control program generated by a user using a PLC instruction into a program using a general-purpose high-level language instruction using a conversion program. Then, the software PLC programming device generates a binary code (hereinafter also simply referred to as binary) for a general-purpose CPU (Central Processing Unit) using a general-purpose compiler from the converted program. This enables sequence control by a general-purpose computer.
  • binary code hereinafter also simply referred to as binary
  • Patent Document 1 a sequence control program using a PLC instruction is converted into a high-level language program by a conversion program, and a binary is generated from the converted program by a compiler.
  • the sequence control program is changed to a high-level language program while maintaining the instruction execution order described in the sequence control program, and a binary is generated. For this reason, the instruction execution order is not always efficient, and the execution time of sequence control when executing the binary may not be within the desired time. In such a case, there is a problem that the user has to correct the sequence control program again so that the required time for executing the sequence control is within the desired required time.
  • the main object of the present invention is to solve the above problems. More specifically, the main object of the present invention is to generate a more efficient sequence control program that can obtain a result equal to the sequence control program from the sequence control program generated by the user.
  • a program editing apparatus provides: A relation analysis unit for analyzing a relation between an argument and a return value of instructions of a plurality of instructions included in the sequence control program which is a control program written in a language for sequence control; Program editing that performs at least one of changing the instruction execution order of the plurality of instructions and dividing the sequence control program in units of instructions based on the relationship between arguments and return values between instructions analyzed by the relation analysis unit Part.
  • a result equal to the sequence control program can be obtained from the sequence control program generated by the user by changing the instruction execution order in the sequence control program and / or dividing the sequence control program.
  • a sequence control program can be generated.
  • FIG. 2 is a diagram illustrating a functional configuration example of a programming device and a hardware configuration example of a PLC device according to Embodiment 1.
  • FIG. FIG. 3 is a diagram illustrating a hardware configuration example of the programming device according to the first embodiment. The figure which shows the process sequence of the PLC apparatus which concerns on Embodiment 1.
  • FIG. 3 is a diagram illustrating a functional configuration example of a sequence control program optimization unit according to the first embodiment.
  • FIG. 3 is a diagram illustrating an example of a sequence control program according to the first embodiment.
  • FIG. 3 is a flowchart showing processing for analyzing a dependency relationship between instructions according to the first embodiment.
  • FIG. 6 is a diagram illustrating an example of inter-variable dependency information according to the first embodiment.
  • FIG. 4 is a diagram illustrating an example of instruction information according to the first embodiment.
  • FIG. FIG. 3 is a flowchart showing processing for changing an instruction execution order according to the first embodiment.
  • FIG. 3 is a flowchart showing processing for dividing the sequence control program according to the first embodiment.
  • FIG. 3 is a diagram illustrating an example of an equivalent optimization sequence control program according to the first embodiment.
  • FIG. 3 is a diagram illustrating an example of an equivalent optimization sequence control program according to the first embodiment.
  • FIG. 5 is a diagram illustrating a functional configuration example of a programming device according to a second embodiment and a hardware configuration example of a PLC device.
  • FIG. *** Explanation of configuration *** FIG. 1 shows a functional configuration example of a programming device 400 and a hardware configuration example of a PLC device 401 according to the present embodiment.
  • the programming device 400 is an example of a program editing device.
  • the operation performed in the programming device 400 is an example of a program editing method.
  • the program that realizes the operation performed by the programming device 400 is an example of a program editing program.
  • the programming device 400 includes a sequence control program optimization unit 300, a high-level language conversion unit 301, and a compiler 302.
  • the PLC device 401 includes a processor 500, an I / O (Input / Output) device 501, a memory 503, a storage device 504, and a bus 505.
  • the sequence control program optimization unit 300 acquires the sequence control program 200 from the user 100 and generates an equivalent optimized sequence control program 201 from the sequence control program 200. Then, the sequence control program optimization unit 300 outputs the generated equivalent optimization sequence control program 201 to the high-level language conversion unit 301.
  • the sequence control program 200 is a control program written in a sequence control language.
  • the sequence control program 200 includes a plurality of PLC instructions (hereinafter also simply referred to as instructions).
  • FIG. 5 shows an example of the sequence control program 200. Details of FIG. 5 will be described later.
  • the sequence control program 200 is generated by the user 100.
  • the user 100 is a person who causes the PLC device 401 to perform sequence control.
  • the equivalent optimization sequence control program 201 is a sequence control program optimized by the sequence control program optimization unit 300. Specifically, the equivalent optimization sequence control program 201 is obtained by dividing the sequence control program 200 by the sequence control program or the instruction unit in which the instruction execution order of a plurality of PLC instructions in the sequence control program 200 is changed. It is a sequence control program.
  • the high-level language conversion unit 301 acquires the equivalent optimization sequence control program 201 from the sequence control program optimization unit 300 and generates the high-level language program 202 from the equivalent optimization sequence control program 201. Then, the high-level language conversion unit 301 outputs the generated high-level language program 202 to the compiler 302.
  • the high-level language program 202 is a control program written in a general-purpose high-level language.
  • the high-level language program 202 is a control program written in C language, for example.
  • the compiler 302 acquires the high-level language program 202 from the high-level language conversion unit 301 and generates the binary 203 from the high-level language program 202.
  • the binary 203 is binary code that can be executed by the PLC device 401.
  • the PLC device 401 executes the binary 203 to perform sequence control.
  • the type of PLC device 401 is not limited.
  • the PLC device 401 includes, for example, the processor 500, the I / O device 501, the memory 503, the storage device 504, and the bus 505.
  • the programming device 400 and the PLC device 401 do not necessarily include all the elements illustrated in FIG. 1, and may include elements other than the elements illustrated in FIG. 1.
  • FIG. 2 shows a hardware configuration example of the programming device 400 according to the present embodiment.
  • the programming device 400 is a computer in which a processor 1500, an I / O device 1501, a memory 1503, a storage device 1504, and a user interface device 1506 are connected to a bus 1505.
  • the storage device 1504 stores programs that realize the functions of the sequence control program optimization unit 300, the high-level language conversion unit 301, and the compiler 302 shown in FIG. These programs are loaded from the storage device 1504 to the memory 1503 and executed by the processor 1500. That is, the processor 1500 performs operations of the sequence control program optimization unit 300, the high-level language conversion unit 301, and the compiler 302. FIG.
  • the user interface device 1506 acquires the sequence control program 200 from the user 100.
  • the I / O device 1501 outputs the set value and the binary 203 generated by the compiler 302 to the PLC device 401.
  • FIG. 3 shows a processing sequence example of the PLC device 401.
  • the PLC device 401 executes an input process 900.
  • the PLC device 401 acquires a setting value necessary for executing the binary 203 from the I / O device 1501 of the programming device 400.
  • the PLC device 401 has already acquired the binary 203 from the I / O device 1501 before the input processing 900.
  • the PLC device 401 performs a sequence control process 901. That is, the PLC device 401 executes the binary 203 using the setting value acquired in the input process 900.
  • the PLC device 401 outputs the execution result of the sequence control processing 901 to an external device or stores it in the storage device 504 in the output processing 902.
  • the input process 900, the sequence control process 901, and the output process 902 are repeated every execution cycle 903. If the execution cycle 903 is shortened and the number of input processes 900, sequence control processes 901, and output processes 902 performed within a certain time is increased, the performance of the PLC device 401 can be improved. Further, since the behavior of the PLC device 401 is determined by the input processing 900 and the output processing 902, the PLC device 401 may perform the sequence control processing 901 as long as the input processing 900 and the output processing 902 can be matched. .
  • FIG. 4 shows a functional configuration example of the sequence control program optimization unit 300.
  • the sequence control program optimization unit 300 includes an inter-variable dependency analysis unit 310, an information storage unit 311 and a PLC instruction rearrangement division unit 312.
  • the inter-variable dependency analyzing unit 310 analyzes a relationship between an argument and a return value between PLC instructions included in the sequence control program 200 (hereinafter also referred to as a dependency relationship). Further, the inter-variable dependency analyzing unit 310 outputs inter-variable dependency information 210 indicating the dependency relationship between PLC instructions.
  • FIG. 7 is an example of intervariable dependency information 210. Details of FIG. 7 will be described later.
  • the intervariable dependency analysis unit 310 is an example of a relationship analysis unit. The process performed by the inter-variable dependency analysis unit 310 is an example of a relation analysis process.
  • the information storage unit 311 stores command information 211 and PLC device information 212.
  • the instruction information 211 for example, a combination of operators whose operational efficiency is improved by continuous execution among a plurality of operators is defined.
  • FIG. 8 shows an example of the command information 211.
  • the combination of operators described in FIG. 8 corresponds to a recommended operator combination. Specifically, a combination of ADD and ADD, a combination of ADD and SUB, a combination of SUB and ADD, and a combination of SUB and SUB correspond to recommended operator combinations.
  • the PLC device information 212 for example, for each model of the PLC device 401, the number of PLC instructions (the number of simultaneously executed instructions) that can be executed simultaneously by the PLC device 401 is defined.
  • FIG. 9 is an example of the PLC device information 212. Details of FIG. 9 will be described later.
  • the information storage unit 311 may store, as the command information 211, information of a type different from that in FIG. Further, the information storage unit 311 may store, as the PLC device information 212, information of a type different from that in FIG.
  • the PLC instruction rearrangement division unit 312 generates the equivalent optimization sequence control program 201 from the sequence control program 200 based on the inter-variable dependency information 210, the instruction information 211, and the PLC device information 212.
  • the equivalent optimization sequence control program 201 is a sequence control program that has the same processing result as the sequence control program 200 and can be executed by the PLC device 401 at a higher speed. More specifically, the PLC instruction rearrangement division unit 312 performs at least one of changing the instruction execution order of a plurality of PLC instructions in the sequence control program 200 and dividing the sequence control program 200 in units of PLC instructions. Then, the equivalent optimization sequence control program 201 is generated.
  • the PLC instruction rearranging / dividing unit 312 determines the relationship between the arguments and return values between the PLC instructions indicated in the inter-variable dependency information 210, and each PLC instruction in the sequence control program 200. Based on the included operators, two or more instructions whose operational efficiency is improved by continuous execution are designated from among a plurality of PLC instructions. Then, the PLC instruction rearrangement division unit 312 changes the instruction execution order of the plurality of PLC instructions so that two or more designated PLC instructions are continuously executed.
  • the PLC instruction rearranging / dividing unit 312 selects an arbitrary PLC instruction from a plurality of PLC instructions, and uses the return value of the PLC instruction with the return value of the selected PLC instruction (also referred to as a selected instruction) as an argument.
  • One or more PLC instructions including a PLC instruction other than the PLC instruction and an operator included in the recommended operator combination in the instruction information 211 together with an operator included in the selection instruction, and a selection instruction are designated.
  • the PLC instruction rearranging / dividing unit 312 performs a relationship between an argument between the PLC instructions indicated in the instruction information 211 and a return value, and a PLC device indicated in the PLC device information 212.
  • the sequence control program 200 is divided into the same number of divided programs as the number of simultaneously executed instructions.
  • the PLC instruction rearrangement division unit 312 selects an arbitrary PLC instruction from a plurality of PLC instructions, and the selected selection instruction and another PLC instruction using the return value of the selection instruction as an argument are included in the same division program.
  • the sequence control program 200 is divided.
  • the PLC instruction rearrangement division unit 312 is an example of a program editing unit.
  • the process performed by the PLC instruction rearranging / dividing unit 312 is an example of a program editing process.
  • FIG. 5 shows an example of the sequence control program 200.
  • FIG. 5 shows a ladder program as an example of the sequence control program 200.
  • PLC instructions 2001 to 2005 are connected to a so-called ladder 2000.
  • a PLC instruction 2001, a PLC instruction 2002, a PLC instruction 2003, a PLC instruction 2004, and a PLC instruction 2005 are executed in this order.
  • the variables 2010 to 2020 hold data as arguments that are input values of the PLC instruction or return values that are output values of the PLC instruction.
  • There are various types of PLC instructions and the data given by the argument is processed according to each type, and the processing result data is output as a return value.
  • PLC instructions 2001, 2003, and 2004 add the value of argument 1 and the value of argument 2 and output the added value as return value 1.
  • the PLC instruction 2002 multiplies the value of argument 1 and the value of argument 2 and outputs the multiplied value as a return value 1.
  • the PLC instruction 2005 divides the value of argument 1 by the value of argument 2 and outputs the divided value as a return value 1.
  • a variable used as a return value of a certain PLC instruction can also be used as an argument of a PLC instruction to be executed later.
  • the sequence control program 200 may include a PLC instruction that performs an operation other than the operations performed in the PLC instructions 2001 to 2005 shown in FIG. Further, the number of arguments and return values of the PLC instruction may be different from those shown in FIG. Further, either the argument or the return value may not exist.
  • the user 100 generates a sequence control program 200 and inputs the generated sequence control program 200 to the programming device 400.
  • the inter-variable dependency analyzing unit 310 of the sequence control program optimizing unit 300 of the programming device 400 performs the process shown in FIG. FIG. 6 shows an operation example of the inter-variable dependency analyzing unit 310.
  • FIG. 6 shows an operation example of the inter-variable dependency analyzing unit 310.
  • step S3001 the inter-variable dependence analysis unit 310 sets the values of n and m, which are variables indicating the current processing state, to 1 which is an initial value.
  • step S3002 the inter-variable dependency analysis unit 310 uses a variable used as an argument of an nth PLC instruction (hereinafter referred to as instruction n) on the sequence control program 200 and a variable used as a return value. And operator.
  • step S3003 the intervariable dependency analyzing unit 310 writes the argument variable, the return value variable, and the operator acquired in step S3002 in the intervariable dependency information 210.
  • step S3004 the inter-variable dependency analysis unit 310 uses the instruction n acquired in step S3002 as the variable used as the argument of the n + m-th PLC instruction (hereinafter referred to as instruction n + m) on the sequence control program 200. It is determined whether or not it matches the return value variable.
  • the inter-variable dependency analyzing unit 310 determines that the instruction n + m is dependent on the instruction n in step S3005.
  • the dependency information 210 is written, and the process proceeds to step S3006.
  • step S3006 the inter-variable dependency analyzing unit 310 determines whether or not the instruction n + m is the last PLC instruction of the sequence control program 200.
  • the inter-variable dependency analyzing unit 310 increments the value of the variable m by 1 in step S3007, and proceeds to step S3004.
  • the intervariable dependency analysis unit 310 determines whether or not the instruction n is the last PLC instruction of the sequence control program 200 in step S3008.
  • the inter-variable dependency analysis unit 310 ends the process.
  • the intervariable dependency analysis unit 310 increments the value of the variable n by 1 and resets the value of the variable m to 1 in step S3009. Then, the process proceeds to step S3002.
  • FIG. 7 shows an example of inter-variable dependency information 210 obtained by the inter-variable dependency analyzing unit 310 performing the process shown in FIG. 6 for the sequence control program 200 of FIG.
  • instructions 1 to 5 are instructions 1 to 5 shown in FIG.
  • In the type column an operator included in each PLC instruction is described.
  • In the argument column a variable used as an argument of each PLC instruction is described.
  • In the return value column variables used for the return value of each PLC instruction are described.
  • the dependency destination column other PLC instructions on which each PLC instruction depends are described.
  • FIG. 10 shows a process of changing the instruction execution order by the PLC instruction rearrangement division unit 312.
  • an operation example of the PLC instruction rearrangement division unit 312 will be described with reference to FIG.
  • step S3101 the PLC instruction rearranging and dividing unit 312 sets the values of the variable n, the variable m, and the variable p indicating the current processing state to 1 that is an initial value.
  • step S3102 the PLC instruction rearranging and dividing unit 312 arranges the nth PLC instruction (hereinafter referred to as instruction n) on the sequence control program 200 in the pth of the equivalent optimization sequence control program 201.
  • instruction n corresponds to a selection instruction.
  • the PLC instruction rearranging / dividing unit 312 determines whether the n + m-th PLC instruction (hereinafter referred to as instruction n + m) on the sequence control program 200 can be efficiently executed together with the instruction n. More specifically, the PLC instruction rearrangement division unit 312 refers to the instruction information 211 and determines whether the instruction n and the instruction n + m can be executed efficiently.
  • FIG. 8 shows an example of the command information 211. In the example of FIG. 8, when the operator included in the instruction n is ADD, if the operator of the instruction n + m is ADD or SUB, the instruction n and the instruction n + m can be executed efficiently.
  • the instruction n and the instruction n + m can be efficiently executed if the operator of the instruction n + m is ADD or SUB. If it does not correspond to these, the instruction n and the instruction n + m cannot be executed efficiently.
  • the PLC instruction rearranging and dividing unit 312 determines that the instruction n + m is an instruction between the instruction n + m and the instruction n on the sequence control program 200 in step S3104. It is determined whether or not there is a dependency relationship. That is, it is determined whether or not the instruction n + m has the return value of the instruction having the return value of the instruction n as an argument. Note that the PLC instruction rearrangement division unit 312 refers to the inter-variable dependency information 210 and performs the determination in step S3104.
  • the PLC instruction rearranging division unit 312 determines whether the instruction n + m is the last PLC instruction of the sequence control program 200 in step S3105. Determine if.
  • step S31008 the PLC instruction rearranging / dividing unit 312 increases the value of the variable m by 1 in step S3108, and proceeds to step S3103. If the instruction n + m is the last instruction, the PLC instruction rearranging / dividing unit 312 increments the value of the variable n and the value of the variable p by 1 in step S3109, and resets the value of the variable m to 1. The process proceeds to step S3102.
  • the PLC instruction rearrangement division unit 312 converts the instruction n + m to the equivalent optimization sequence control program 201 in step S3106. P + 1.
  • step S 3107 the PLC instruction rearranging / dividing unit 312 determines whether the instruction n is the last PLC instruction of the sequence control program 200. If the instruction n is the last instruction, the PLC instruction rearranging / dividing unit 312 ends the process. On the other hand, if the instruction n is not the last instruction, the PLC instruction rearranging / dividing unit 312 moves to step S3109.
  • FIG. 12 shows an example of the equivalent optimization sequence control program 201 obtained by the process of FIG. Compared with the sequence control program 200 of FIG. 5, in the equivalent optimization sequence control program 201 of FIG. 12, the instruction execution order of the PLC instructions is changed. Specifically, the instruction execution order is changed so that the PLC instruction 2003 is executed before the PLC instruction 2002.
  • the operator of the PLC instruction 2003 and the operator of the PLC instruction 2001 are both ADD, and the combination of ADD and ADD corresponds to the combination of operators that can be executed efficiently according to the instruction information 211 of FIG.
  • the PLC instruction 2003 does not depend on the PLC instruction 2002 between the PLC instruction 2003 and the PLC instruction 2001. For this reason, the PLC instruction 2003 is placed next to the PLC instruction 2001 in step S3106 of FIG. As a result, the equivalent optimization sequence control program 201 of FIG. 12 is obtained.
  • FIG. 11 shows a process of dividing the sequence control program by the PLC instruction rearrangement division unit 312.
  • an operation example of the PLC instruction rearrangement division unit 312 will be described with reference to FIG.
  • step S3201 the PLC instruction rearranging / dividing unit 312 sets the values of n, m, p, and t, which are variables indicating the current processing state, to 1 which is an initial value. Note that the variable t need not be set to 1.
  • the PLC instruction rearranging / dividing unit 312 acquires the number of simultaneously executed instructions of the target PLC device 401 from the PLC device information 212, and sets the acquired number of simultaneously executed instructions as a variable t.
  • the PLC device information 212 is as shown in FIG.
  • the PLC device information 212 defines how many PLC commands the PLC device 401 can execute simultaneously for each model of the PLC device 401. If the model of the PLC device 401 currently targeted is model 2, the PLC command rearranging / dividing unit 312 acquires 2 as the number of simultaneously executed instructions of the PLC device 401.
  • step S3203 the PLC instruction rearrangement division unit 312 generates t division programs that are sequence control programs to be divided. Further, the PLC instruction rearrangement division unit 312 sets numbers from 0 to t ⁇ 1 for each division program. At this point, each divided program is blank.
  • step S3204 the PLC instruction rearranging and dividing unit 312 identifies a divided program having the smallest number of PLC instructions currently arranged among t divided programs, and sets the number of the divided program as a variable p. Set to.
  • step S3205 the PLC instruction rearranging and dividing unit 312 arranges the nth PLC instruction (hereinafter referred to as instruction n) of the sequence control program 200 at the end of the pth divided program.
  • step S3206 the PLC instruction rearrangement division unit 312 determines whether the n + m-th PLC instruction (hereinafter referred to as instruction n + m) of the sequence control program 200 has a dependency relationship with the instruction n. That is, the PLC instruction rearrangement division unit 312 refers to the inter-variable dependency information 210 and determines whether or not the argument variable of the instruction n + m is the same as the return value variable of the instruction n.
  • the PLC instruction rearranging / dividing unit 312 arranges the instruction n + m at the end of the p-th divided program in step S3207.
  • the PLC instruction rearranging / dividing unit 312 determines whether or not the instruction n is the last PLC instruction of the sequence control program 200 in step S3208. If the instruction n is the last PLC instruction, the PLC instruction rearrangement division unit 312 ends the process. On the other hand, if the instruction n is not the last PLC instruction, the PLC instruction rearrangement division unit 312 moves to step S3211.
  • the PLC instruction rearrangement division unit 312 determines whether the instruction n + m is the last PLC instruction of the sequence control program 200 in step S3209. If the instruction n + m is not the last PLC instruction, the PLC instruction rearranging / dividing unit 312 increments the value of the variable m by 1 in step S3210, and proceeds to step S3206. On the other hand, if the instruction n + m is the last PLC instruction, the PLC instruction rearranging / dividing unit 312 increments the value of the variable n by 1 in step S3211, initializes the value of the variable m to 1, and proceeds to step S3204.
  • FIG. 13 shows an example of the equivalent optimization sequence control program 201 obtained by the processing of FIG.
  • the sequence control program 200 shown in FIG. 5 is divided into two programs, a divided program 1 and a divided program 2. If the PLC device 401 can execute two programs at the same time, the execution time can be shortened by executing the divided program 1 and the divided program 2 shown in FIG. 13 in parallel.
  • the sequence control program can be optimized (change of the instruction execution order, division of the sequence control program 200).
  • the PLC instruction rearrangement division unit 312 may perform only one of the change of the instruction execution order in FIG. 10 and the division of the sequence control program in FIG. 11. Further, the PLC instruction rearranging / dividing unit 312 may perform both the change of the instruction execution order in FIG. 10 and the division of the sequence control program in FIG. 11. When both the change of the instruction execution order of FIG. 10 and the division of the sequence control program of FIG. 11 are performed, the PLC instruction rearrangement division unit 312 performs the sequence control program after the change of the instruction execution order of FIG. The sequence control program of FIG. 11 may be divided. Further, the PLC instruction rearrangement division unit 312 may change the instruction execution order of FIG. 10 to the sequence control program (division program) after the division of the sequence control program of FIG. 11.
  • FIG. FIG. 14 shows a functional configuration example of the programming device 400 and a hardware configuration example of the PLC device 401 according to the present embodiment.
  • the hardware configuration example of the PLC device 401 is the same as that shown in FIG.
  • the programming device 400 presents the equivalent optimized sequence control program 201 generated by the sequence control program optimization unit 300 to the user 100. More specifically, the user interface device 1506 shown in FIG. 2 displays the equivalent optimization sequence control program 201. If the sequence control program 200 generated by the user 100 is incorrect, the equivalent optimization sequence control program 201 is also incorrect. For this reason, if the sequence control program 200 is incorrect, the PLC device 401 does not operate as desired by the user.
  • the user 100 analyzes the PLC instructions in the equivalent optimization sequence control program 201 one by one and confirms the operation of the PLC device 401. I can go.
  • the sequence control program 200 described by the PLC instruction is converted into the equivalent optimization sequence control program 201 similarly described by the PLC instruction, and the equivalent optimization sequence control program 201 is presented to the user 100. .
  • the user 100 can confirm the optimized sequence control program.
  • a processor 1500 illustrated in FIG. 2 is an IC (Integrated Circuit) that performs processing.
  • the processor 1500 is a CPU (Central Processing Unit), a DSP (Digital Signal Processor), or the like.
  • the memory 1503 is a RAM (Random Access Memory).
  • the storage device 1504 is a ROM (Read Only Memory), a flash memory, an HDD (Hard Disk Drive), or the like.
  • the I / O device 1501 is a receiver that receives data and a transmitter that transmits data.
  • the I / O device 1501 is a communication chip or a NIC (Network Interface Card).
  • the user interface device 1506 is a mouse, a keyboard, a display, or the like.
  • the storage device 1504 also stores an OS (Operating System). At least a part of the OS is loaded into the memory 1503 and executed by the processor 1500.
  • the processor 1500 executes a program that realizes the functions of the sequence control program optimization unit 300, the high-level language conversion unit 301, and the compiler 302 while executing at least a part of the OS.
  • the programming device 400 may include a plurality of processors that replace the processor 1500.
  • Information, data, signal values, and variable values indicating the processing results of the sequence control program optimization unit 300, the high-level language conversion unit 301, and the compiler 302 are stored in the memory 1503, the storage device 1504, the registers in the processor 1500, and the cache memory. Is stored in at least one of the following.
  • the programs for realizing the functions of the sequence control program optimization unit 300, the high-level language conversion unit 301, and the compiler 302 are portable storage such as a magnetic disk, a flexible disk, an optical disk, a compact disk, a Blu-ray (registered trademark) disk, and a DVD. It may be stored on a medium.
  • “part” of the sequence control program optimization unit 300 and the high-level language conversion unit 301 may be read as “circuit” or “process” or “procedure” or “processing”.
  • the programming device 400 may be realized by an electronic circuit such as a logic IC (Integrated Circuit), a GA (Gate Array), an ASIC (Application Specific Integrated Circuit), or an FPGA (Field-Programmable Gate Array).
  • the processor and the electronic circuit are also collectively referred to as a processing circuit.
  • sequence control program 100 users, 200 sequence control program, 201 equivalent optimization sequence control program, 202 high-level language program, 203 binary, 210 variable dependency information, 211 command information, 212 PLC device information, 300 sequence control program optimization unit, 301 high-level language Conversion unit, 302 compiler, 310 inter-variable dependency analysis unit, 311 information storage unit, 312 PLC instruction rearrangement division unit, 400 programming device, 401 PLC device, 500 processor, 501 I / O device, 503 memory, 504 storage device, 505 bus, 1500 processor, 1501 I / O device, 1503 memory, 1504 storage device, 1505 bus, 1506 user interface device.

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Automation & Control Theory (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computing Systems (AREA)
  • Geometry (AREA)
  • Human Computer Interaction (AREA)
  • Manufacturing & Machinery (AREA)
  • Programmable Controllers (AREA)

Abstract

変数間依存解析部（３１０）は、シーケンス制御用の言語で記述された制御プログラムであるシーケンス制御プログラムに含まれる複数の命令の命令間の引数と返り値との関係を解析する。ＰＬＣ命令並び替え分割部（３１２）は、変数間依存解析部（３１０）により解析された命令間の引数と返り値との関係に基づき、複数の命令の命令実行順序の変更及び命令単位でのシーケンス制御プログラムの分割の少なくともいずれかを行う。

Description

プログラム編集装置、プログラム編集方法及びプログラム編集プログラム
　本発明は、プログラム編集装置、プログラム編集方法及びプログラム編集プログラムに関する。
　特許文献１には、ソフトウェアＰＬＣ（Ｐｐｒｏｇｒａｍｍａｂｌｅ　Ｌｏｇｉｃ　Ｃｏｎｔｒｏｌｌｅｒ）プログラミング装置が開示されている。特許文献１のソフトウェアＰＬＣプログラミング装置は、ＰＬＣ命令を用いてユーザが生成したシーケンス制御プログラムを、変換プログラムを用いて汎用的な高級言語の命令を使用したプログラムに変換する。そして、ソフトウェアＰＬＣプログラミング装置は、変換後のプログラムから汎用コンパイラを使用して汎用ＣＰＵ（Ｃｅｎｔｒａｌ　Ｐｒｏｃｅｓｓｉｎｇ　Ｕｎｉｔ）用のバイナリコード（以下、単にバイナリともいう）を生成する。これにより、汎用的なコンピュータによるシーケンス制御が可能になる
特開平７－２９５６１２号公報
　特許文献１では、ＰＬＣ命令を用いたシーケンス制御プログラムを変換プログラムによって高級言語のプログラムに変換し、変換後のプログラムからコンパイラによってバイナリを生成する。特許文献１では、シーケンス制御プログラムに記述される命令実行順序を維持してシーケンス制御プログラムを高級言語のプログラムに変更し、バイナリを生成する。
　このため、命令実行順序が必ずしも効率化されておらず、バイナリを実行した際のシーケンス制御の実行所要時間が希望所要時間以内に収まらない場合がある。このような場合に、ユーザは、シーケンス制御の実行所要時間を希望所要時間以内に収めるように再度シーケンス制御プログラムを修正しなければないという課題がある。
　また、近年、汎用ＣＰＵはマルチコア化が進んでおり、複数のバイナリを並列して実行することができ、実行所要時間を短縮することができる。この場合、同時に実行されるバイナリの間で、処理内容が競合しないよう配慮する必要がある。しかし、所望の処理を複数のシーケンス制御プログラムに跨って記述することはユーザにとって容易ではない。また、シーケンス制御プログラムをいくつのバイナリに分割すれば最も効率的なのかはＰＬＣ装置やＰＬＣ装置内のプロセッサなどによって異なる。このため、ＰＬＣ装置を変更するたびにシーケンス制御プログラムを作り直す必要が発生するという課題がある。
　本発明は、上記の課題を解決することを主な目的とする。より具体的には、本発明は、ユーザが生成したシーケンス制御プログラムから、当該シーケンス制御プログラムと等しい結果が得られるより効率的なシーケンス制御プログラムを生成することを主な目的とする。
　本発明に係るプログラム編集装置は、
　シーケンス制御用の言語で記述された制御プログラムであるシーケンス制御プログラムに含まれる複数の命令の命令間の引数と返り値との関係を解析する関係解析部と、
　前記関係解析部により解析された命令間の引数と返り値との関係に基づき、前記複数の命令の命令実行順序の変更及び命令単位での前記シーケンス制御プログラムの分割の少なくともいずれかを行うプログラム編集部とを有する。
　本発明によれば、シーケンス制御プログラムにおける命令実行順序の変更及びシーケンス制御プログラムの分割の少なくともいずれかにより、ユーザが生成したシーケンス制御プログラムから、当該シーケンス制御プログラムと等しい結果が得られるより効率的なシーケンス制御プログラムを生成することができる。
実施の形態１に係るプログラミング装置の機能構成例及びＰＬＣ装置のハードウェア構成例を示す図。 実施の形態１に係るプログラミング装置のハードウェア構成例を示す図。 実施の形態１に係るＰＬＣ装置の処理シーケンスを示す図。 実施の形態１に係るシーケンス制御プログラム最適化部の機能構成例を示す図。 実施の形態１に係るシーケンス制御プログラムの例を示す図。 実施の形態１に係る命令間の依存関係を解析する処理を示すフローチャート図。 実施の形態１に係る変数間依存情報の例を示す図。 実施の形態１に係る命令情報の例を示す図。 実施の形態１に係るＰＬＣ装置情報の例を示す図。 実施の形態１に係る命令実行順序を変更する処理を示すフローチャート図。 実施の形態１に係るシーケンス制御プログラムを分割する処理を示すフローチャート図。 実施の形態１に係る等価最適化シーケンス制御プログラムの例を示す図。 実施の形態１に係る等価最適化シーケンス制御プログラムの例を示す図。 実施の形態２に係るプログラミング装置の機能構成例及びＰＬＣ装置のハードウェア構成例を示す図。
　以下、本発明の実施の形態について、図を用いて説明する。以下の実施の形態の説明及び図面において、同一の符号を付したものは、同一の部分または相当する部分を示す。
実施の形態１．
＊＊＊構成の説明＊＊＊
　図１は、本実施の形態に係るプログラミング装置４００の機能構成例及びＰＬＣ装置４０１のハードウェア構成例を示す。
　プログラミング装置４００は、プログラム編集装置の例である。また、プログラミング装置４００で行われる動作は、プログラム編集方法の例である。また、プログラミング装置４００で行われる動作を実現するプログラムは、プログラム編集プログラムの例である。
　図１に示すように、プログラミング装置４００は、シーケンス制御プログラム最適化部３００、高級言語変換部３０１及びコンパイラ３０２で構成される。
　ＰＬＣ装置４０１は、プロセッサ５００、Ｉ／Ｏ（Ｉｎｐｕｔ／Ｏｕｔｐｕｔ）装置５０１、メモリ５０３、記憶装置５０４及びバス５０５で構成される。
　プログラミング装置４００において、シーケンス制御プログラム最適化部３００は、ユーザ１００からシーケンス制御プログラム２００を取得し、シーケンス制御プログラム２００から等価最適化シーケンス制御プログラム２０１を生成する。そして、シーケンス制御プログラム最適化部３００は、生成した等価最適化シーケンス制御プログラム２０１を高級言語変換部３０１に出力する。
　シーケンス制御プログラム２００は、シーケンス制御用の言語で記述された制御プログラムである。シーケンス制御プログラム２００には、複数のＰＬＣ命令（以下、単に命令ともいう）が含まれる。図５は、シーケンス制御プログラム２００の一例を示す。図５の詳細は後述する。シーケンス制御プログラム２００は、ユーザ１００により生成される。ユーザ１００は、ＰＬＣ装置４０１にシーケンス制御を行わせる者である。
　等価最適化シーケンス制御プログラム２０１は、シーケンス制御プログラム最適化部３００により最適化されたシーケンス制御プログラムである。具体的には、等価最適化シーケンス制御プログラム２０１は、シーケンス制御プログラム２００内の複数のＰＬＣ命令の命令実行順序が変更されたシーケンス制御プログラム又は命令単位でシーケンス制御プログラム２００を分割して得られたシーケンス制御プログラムである。
　高級言語変換部３０１は、シーケンス制御プログラム最適化部３００から等価最適化シーケンス制御プログラム２０１を取得し、等価最適化シーケンス制御プログラム２０１から高級言語プログラム２０２を生成する。そして、高級言語変換部３０１は、生成した高級言語プログラム２０２をコンパイラ３０２に出力する。
　高級言語プログラム２０２は、汎用的な高級言語で記述された制御プログラムである。高級言語プログラム２０２は、例えばＣ言語などで記述された制御プログラムである。
　コンパイラ３０２は、高級言語変換部３０１から高級言語プログラム２０２を取得し、高級言語プログラム２０２からバイナリ２０３を生成する。
　バイナリ２０３は、ＰＬＣ装置４０１で実行可能なバイナリコードである。
　ＰＬＣ装置４０１は、バイナリ２０３を実行して、シーケンス制御を行う。
　本実施の形態では、ＰＬＣ装置４０１の種類は問わない。前述したように、ＰＬＣ装置４０１は、例えば、プロセッサ５００、Ｉ／Ｏ装置５０１、メモリ５０３、記憶装置５０４及びバス５０５で構成される。
　プログラミング装置４００及びＰＬＣ装置４０１は、図１に示す全ての要素を必ず具備していなくてもよく、また、図１に示す要素以外の要素を備えていてもよい。
　また、図２は、本実施の形態に係るプログラミング装置４００のハードウェア構成例を示す。
　プログラミング装置４００は、バス１５０５に、プロセッサ１５００、Ｉ／Ｏ装置１５０１、メモリ１５０３、記憶装置１５０４及びユーザインタフェース装置１５０６が接続されているコンピュータである。
　記憶装置１５０４には、図１に示すシーケンス制御プログラム最適化部３００、高級言語変換部３０１及びコンパイラ３０２の機能を実現するプログラムが記憶されている。
　これらプログラムは、記憶装置１５０４からメモリ１５０３にロードされて、プロセッサ１５００により実行される。つまり、プロセッサ１５００は、シーケンス制御プログラム最適化部３００、高級言語変換部３０１及びコンパイラ３０２の動作を行う。
　図２では、プロセッサ１５００がシーケンス制御プログラム最適化部３００、高級言語変換部３０１及びコンパイラ３０２の機能を実現するプログラムを実行している状態を模式的に表している。
　ユーザインタフェース装置１５０６は、ユーザ１００からシーケンス制御プログラム２００を取得する。
　Ｉ／Ｏ装置１５０１は、設定値及びコンパイラ３０２により生成されたバイナリ２０３をＰＬＣ装置４０１に出力する。
　　図３は、ＰＬＣ装置４０１の処理シーケンス例を示す。
　　まず、ＰＬＣ装置４０１は、入力処理９００を実行する。入力処理９００では、ＰＬＣ装置４０１は、バイナリ２０３の実行に必要な設定値をプログラミング装置４００のＩ／Ｏ装置１５０１から取得する。なお、ＰＬＣ装置４０１は、入力処理９００の前にバイナリ２０３をＩ／Ｏ装置１５０１から取得済みである。
　　次に、ＰＬＣ装置４０１は、シーケンス制御処理９０１を行う。つまり、ＰＬＣ装置４０１は、入力処理９００で取得した設定値を用いてバイナリ２０３を実行する。
　　次に、ＰＬＣ装置４０１は、出力処理９０２にて、シーケンス制御処理９０１の実行結果を外部装置に出力したり、記憶装置５０４に格納する。
　　入力処理９００、シーケンス制御処理９０１、出力処理９０２は実行周期９０３ごとに繰り返し行われる。
　　実行周期９０３を短くし、一定時間内に行われる入力処理９００、シーケンス制御処理９０１、出力処理９０２の回数を多くすれば、ＰＬＣ装置４０１の性能を高めることができる。
　　また、ＰＬＣ装置４０１の振る舞いは入力処理９００と出力処理９０２で決まるため、入力処理９００と出力処理９０２との整合が取れれば、ＰＬＣ装置４０１は、シーケンス制御処理９０１をどのように行ってもよい。
　図４は、シーケンス制御プログラム最適化部３００の機能構成例を示す。
　シーケンス制御プログラム最適化部３００は、変数間依存解析部３１０、情報記憶部３１１及びＰＬＣ命令並び替え分割部３１２で構成される。
　変数間依存解析部３１０は、シーケンス制御プログラム２００に含まれるＰＬＣ命令間の引数と返り値との関係（以下、依存関係ともいう）を解析する。
　また、変数間依存解析部３１０は、ＰＬＣ命令間の依存関係が示される変数間依存情報２１０を出力する。図７は、変数間依存情報２１０の一例である。図７の詳細は後述する。
　変数間依存解析部３１０は関係解析部の例である。また、変数間依存解析部３１０で行われる処理は関係解析処理の例である。
　情報記憶部３１１は、命令情報２１１とＰＬＣ装置情報２１２を記憶している。
　命令情報２１１には、例えば、複数の演算子のうち、連続実行により演算効率が向上する演算子の組み合わせが定義されている。図８は命令情報２１１の一例を示す。図８の詳細は後述するが、図８に記述されている演算子の組み合わせは、推奨演算子組み合わせに相当する。具体的には、ＡＤＤとＡＤＤ、ＡＤＤとＳＵＢの組み合わせ、ＳＵＢとＡＤＤ、ＳＵＢとＳＵＢの組み合わせが推奨演算子組み合わせに相当する。
　ＰＬＣ装置情報２１２には、例えば、ＰＬＣ装置４０１の機種ごとに、ＰＬＣ装置４０１が同時に実行できるＰＬＣ命令の数（同時実行命令数）が定義されている。図９はＰＬＣ装置情報２１２の例である。図９の詳細は後述する。
　なお、情報記憶部３１１は、ＰＬＣ命令に関する、図８とは異なる種類の情報を命令情報２１１として記憶していてもよい。
　また、情報記憶部３１１は、ＰＬＣ装置４０１に関する、図９とは異なる種類の情報をＰＬＣ装置情報２１２として記憶していてもよい。
　ＰＬＣ命令並び替え分割部３１２は、変数間依存情報２１０、命令情報２１１、ＰＬＣ装置情報２１２をもとに、シーケンス制御プログラム２００から等価最適化シーケンス制御プログラム２０１を生成する。
　等価最適化シーケンス制御プログラム２０１は、シーケンス制御プログラム２００と処理結果が同一で、ＰＬＣ装置４０１がより高速に実行できるシーケンス制御プログラムである。
　ＰＬＣ命令並び替え分割部３１２は、より具体的には、シーケンス制御プログラム２００内の複数のＰＬＣ命令の命令実行順序の変更及びＰＬＣ命令単位でのシーケンス制御プログラム２００の分割の少なくともいずれかを行って、等価最適化シーケンス制御プログラム２０１を生成する。
　ＰＬＣ命令並び替え分割部３１２は、命令実行順序の変更を行う場合は、変数間依存情報２１０に示されるＰＬＣ命令間の引数と返り値との関係と、シーケンス制御プログラム２００内の各ＰＬＣ命令に含まれる演算子とに基づき、連続実行により演算効率が向上する２以上の命令を複数のＰＬＣ命令の中から指定する。そして、ＰＬＣ命令並び替え分割部３１２は、指定した２以上のＰＬＣ命令が連続して実行されるように複数のＰＬＣ命令の命令実行順序の変更を行う。
　例えば、ＰＬＣ命令並び替え分割部３１２は、複数のＰＬＣ命令から任意のＰＬＣ命令を選択し、選択したＰＬＣ命令（選択命令ともいう）の返り値を引数とするＰＬＣ命令の返り値を引数とするＰＬＣ命令以外のＰＬＣ命令であって選択命令に含まれる演算子とともに命令情報２１１において推奨演算子組み合わせに含まれる演算子が含まれる１以上のＰＬＣ命令と、選択命令とを指定する。
　また、ＰＬＣ命令並び替え分割部３１２は、シーケンス制御プログラム２００の分割を行う場合は、命令情報２１１に示されるＰＬＣ命令間の引数と返り値との関係と、ＰＬＣ装置情報２１２に示されるＰＬＣ装置４０１で同時に実行できる命令数（同時実行命令数）とに基づき、シーケンス制御プログラム２００を同時実行命令数と同数の分割プログラムに分割する。
　例えば、ＰＬＣ命令並び替え分割部３１２は、複数のＰＬＣ命令から任意のＰＬＣ命令を選択し、選択した選択命令と、選択命令の返り値を引数とする他のＰＬＣ命令とが同じ分割プログラムに含まれるように、シーケンス制御プログラム２００を分割する。
　ＰＬＣ命令並び替え分割部３１２は、プログラム編集部の例である。また、ＰＬＣ命令並び替え分割部３１２で行われる処理はプログラム編集処理の例である。
　図５は、シーケンス制御プログラム２００の一例を示す。図５は、シーケンス制御プログラム２００の例としてラダープログラムを示す。
　図５のシーケンス制御プログラム２００では、いわゆるラダー２０００に、ＰＬＣ命令２００１～２００５が接続されている。図５のシーケンス制御プログラム２００では、ＰＬＣ命令２００１、ＰＬＣ命令２００２、ＰＬＣ命令２００３、ＰＬＣ命令２００４、ＰＬＣ命令２００５の順に実行される。
　変数２０１０～２０２０は、ＰＬＣ命令の入力値である引数又はＰＬＣ命令の出力値である返り値としてデータを保持する。
　ＰＬＣ命令には様々な種類があり、それぞれの種類に応じて、引数で与えられたデータを処理して、処理結果のデータを返り値として出力する。たとえばＰＬＣ命令２００１、２００３、２００４は引数１の値と引数２の値とを加算し、加算値を返り値１として出力する。ＰＬＣ命令２００２は引数１の値と引数２の値とを乗算し、乗算値を返り値１として出力する。ＰＬＣ命令２００５は引数１の値を引数２の値で除算し、除算値を返り値１として出力する。
　あるＰＬＣ命令の返り値として使用した変数を、のちに実行するＰＬＣ命令の引数として使用することもできる。また、シーケンス制御プログラム２００には、図５に示すＰＬＣ命令２００１～２００５で行われる演算以外の演算が行われるＰＬＣ命令が含まれていてもよい。また、ＰＬＣ命令の引数及び返り値の数は、図５に示すものと異なっていてもよい。また、引数及び返り値のいずれかが存在しなくてもよい。
＊＊＊動作の説明＊＊＊
　次に、本実施の形態の係る動作例を説明する。
　ユーザ１００はシーケンス制御プログラム２００を生成し、生成したシーケンス制御プログラム２００をプログラミング装置４００に入力する。ここでは、ユーザ１００が図５のシーケンス制御プログラム２００を生成したものとする。
　プログラミング装置４００のシーケンス制御プログラム最適化部３００の変数間依存解析部３１０は、図６に示す処理を行って変数間依存情報２１０を得る。
　図６は、変数間依存解析部３１０の動作例を示す。
　以下、図６を参照して変数間依存解析部３１０の動作例を説明する。
　ステップＳ３００１では、変数間依存解析部３１０は、現在の処理の状態を示す変数であるｎとｍの値を初期値である１に設定する。
　次に、ステップＳ３００２では、変数間依存解析部３１０は、シーケンス制御プログラム２００上のｎ番目のＰＬＣ命令（以下、命令ｎという）の引数に用いられている変数と返り値に用いられている変数と演算子とを取得する。
　次に、ステップＳ３００３では、変数間依存解析部３１０は、ステップＳ３００２で取得した引数の変数と返り値の変数と演算子とを変数間依存情報２１０に書き込む。
　次に、ステップＳ３００４では、変数間依存解析部３１０は、シーケンス制御プログラム２００上のｎ＋ｍ番目のＰＬＣ命令（以下、命令ｎ＋ｍという）の引数に用いられている変数が、ステップＳ３００２で取得した命令ｎの返り値の変数に一致するか否かを判定する。
　命令ｎ＋ｍ番目の引数に用いられている変数が命令ｎの返り値の変数と一致すれば、変数間依存解析部３１０は、ステップＳ３００５において、命令ｎ＋ｍが命令ｎに依存していることを変数間依存情報２１０に書き込み、ステップＳ３００６に移る。
　ステップＳ３００６では、変数間依存解析部３１０は、命令ｎ＋ｍがシーケンス制御プログラム２００の最後のＰＬＣ命令であるかどうかを判定する。
　命令ｎ＋ｍがシーケンス制御プログラム２００の最後のＰＬＣ命令でなければ、変数間依存解析部３１０は、ステップＳ３００７において、変数ｍの値を１つ増やし、ステップＳ３００４に移る。
　一方、命令ｎ＋ｍがシーケンス制御プログラム２００の最後のＰＬＣ命令であれば、変数間依存解析部３１０は、ステップＳ３００８において、命令ｎがシーケンス制御プログラム２００の最後のＰＬＣ命令であるかどうかを判定する。
　命令ｎがシーケンス制御プログラム２００の最後のＰＬＣ命令であれば、変数間依存解析部３１０は処理を終了する。
　一方、命令ｎがシーケンス制御プログラム２００の最後のＰＬＣ命令でなければ、変数間依存解析部３１０は、ステップＳ３００９において、変数ｎの値を１つ増やし、また、変数ｍの値を１に再設定し、ステップＳ３００２に移る。
　図７は、図５のシーケンス制御プログラム２００について、変数間依存解析部３１０が図６に示す処理を行って得られた変数間依存情報２１０の例を示す。
　図７において、命令１～命令５は、図５に示す命令１～命令５である。
　種類の欄には、各ＰＬＣ命令に含まれる演算子が記述される。
　引数の欄には、各ＰＬＣ命令の引数に用いられる変数が記述される。
　返り値の欄には、各ＰＬＣ命令の返り値に用いられる変数が記述される。
　依存先の欄には、各ＰＬＣ命令が依存している他のＰＬＣ命令が記述される。
　図１０は、ＰＬＣ命令並び替え分割部３１２による命令実行順序を変更する処理を示す。
　以下、図１０を参照してＰＬＣ命令並び替え分割部３１２の動作例を説明する。
　ステップＳ３１０１では、ＰＬＣ命令並び替え分割部３１２は、現在の処理の状態を示す変数ｎと変数ｍと変数ｐの値を初期値である１に設定する。
　次に、ステップＳ３１０２では、ＰＬＣ命令並び替え分割部３１２は、シーケンス制御プログラム２００上のｎ番目のＰＬＣ命令（以下、命令ｎという）を、等価最適化シーケンス制御プログラム２０１のｐ番目に配置する。なお、命令ｎは選択命令に相当する。
　次に、ステップＳ３１０３では、ＰＬＣ命令並び替え分割部３１２は、シーケンス制御プログラム２００上のｎ＋ｍ番目のＰＬＣ命令（以下、命令ｎ＋ｍという）は命令ｎとともに効率よく実行できるか否かを判定する。
　より具体的には、ＰＬＣ命令並び替え分割部３１２は、命令情報２１１を参照して、命令ｎと命令ｎ＋ｍとが効率よく実行できるか否かを判定する。
　図８は命令情報２１１の例を示す。図８の例では、命令ｎに含まれる演算子がＡＤＤである場合に、命令ｎ＋ｍの演算子がＡＤＤ又はＳＵＢであれば、命令ｎと命令ｎ＋ｍは効率よく実行できる。同様に、命令ｎに含まれる演算子がＳＵＢである場合に、命令ｎ＋ｍの演算子がＡＤＤ又はＳＵＢであれば、命令ｎと命令ｎ＋ｍは効率よく実行できる。これらに該当しない場合は、命令ｎと命令ｎ＋ｍは効率よく実行できない。
　命令ｎと命令ｎ＋ｍとを効率よく実行できる場合は、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３１０４において、シーケンス制御プログラム２００上で、命令ｎ＋ｍが、命令ｎ＋ｍと命令ｎとの間にある命令と依存関係にあるか否かを判定する。つまり、命令ｎ＋ｍが、命令ｎの返り値を引数とする命令の返り値を引数としているか否かを判定する。なお、ＰＬＣ命令並び替え分割部３１２は、変数間依存情報２１０を参照して、ステップＳ３１０４の判定を行う。
　命令ｎ＋ｍが、命令ｎ＋ｍと命令ｎとの間にある命令と依存関係にある場合は、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３１０５において、命令ｎ＋ｍが、シーケンス制御プログラム２００の最後のＰＬＣ命令かどうかを判定する。
　命令ｎ＋ｍが最後の命令でなければ、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３１０８において、変数ｍの値を１つ増やし、ステップＳ３１０３に移る。
　また、命令ｎ＋ｍが最後の命令であれば、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３１０９において、変数ｎの値と変数ｐの値をそれぞれ１つ増やし、変数ｍの値を１に再設定し、ステップＳ３１０２に移る。
　ステップＳ３１０４において、命令ｎ＋ｍが、命令ｎ＋ｍと命令ｎとの間にある命令と依存関係にない場合は、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３１０６において、命令ｎ＋ｍを等価最適化シーケンス制御プログラム２０１のｐ＋１番目に配置する。
　次に、ステップＳ３１０７において、ＰＬＣ命令並び替え分割部３１２は、命令ｎがシーケンス制御プログラム２００の最後のＰＬＣ命令かどうかを判定する。
　命令ｎが、最後の命令であれば、ＰＬＣ命令並び替え分割部３１２は処理を終了する。
　一方、命令ｎが最後の命令でなければ、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３１０９に移る。
　図１２は、図１０の処理により得られた等価最適化シーケンス制御プログラム２０１の一例を示す。
　図５のシーケンス制御プログラム２００と比較すると、図１２の等価最適化シーケンス制御プログラム２０１では、ＰＬＣ命令の命令実行順序が変更されている。具体的にはＰＬＣ命令２００３がＰＬＣ命令２００２よりも先に実行されるように命令実行順序が変更されている。
　ＰＬＣ命令２００３の演算子とＰＬＣ命令２００１の演算子はともにＡＤＤであり、ＡＤＤとＡＤＤとの組み合わせは、図８の命令情報２１１によれば、効率よく実行できる演算子の組み合わせに該当する。そして、ＰＬＣ命令２００３は、ＰＬＣ命令２００３とＰＬＣ命令２００１との間にあるＰＬＣ命令２００２に依存していない。
　このため、ＰＬＣ命令２００３は図１０のステップＳ３１０６にてＰＬＣ命令２００１の次に配置される。この結果、図１２の等価最適化シーケンス制御プログラム２０１が得られる。
　図１１は、ＰＬＣ命令並び替え分割部３１２によるシーケンス制御プログラムを分割する処理を示す。
　以下、図１１を参照してＰＬＣ命令並び替え分割部３１２の動作例を説明する。
　ステップＳ３２０１では、ＰＬＣ命令並び替え分割部３１２は、現在の処理の状態を示す変数であるｎとｍとｐとｔの値を初期値である１に設定する。なお、変数ｔは１に設定しなくてもよい。
　ステップＳ３２０２では、ＰＬＣ命令並び替え分割部３１２は、ＰＬＣ装置情報２１２から、対象となるＰＬＣ装置４０１の同時実行命令数を取得し、取得した同時実行命令数を変数ｔに設定する。
　前述したように、ＰＬＣ装置情報２１２は図９に示す通りである。ＰＬＣ装置情報２１２では、ＰＬＣ装置４０１の機種ごとに、ＰＬＣ装置４０１が何個のＰＬＣ命令を同時に実行できるかが定義されている。
　ＰＬＣ命令並び替え分割部３１２は、現在対象としているＰＬＣ装置４０１の機種が機種２であれば、当該ＰＬＣ装置４０１の同時実行命令数として２を取得する。
　次に、ステップＳ３２０３では、ＰＬＣ命令並び替え分割部３１２は、分割先となるシーケンス制御プログラムである分割プログラムをｔ個生成する。また、ＰＬＣ命令並び替え分割部３１２は、各分割プログラムに０番からｔ－１番までの番号を設定する。
　なお、この時点では、各分割プログラムは空白である。
　次に、ステップＳ３２０４では、ＰＬＣ命令並び替え分割部３１２は、ｔ個の分割プログラムのなかで、現在配置されているＰＬＣ命令数が最も少ない分割プログラムを特定し、当該分割プログラムの番号を変数ｐに設定する。
　次に、ステップＳ３２０５では、ＰＬＣ命令並び替え分割部３１２は、シーケンス制御プログラム２００のｎ番目のＰＬＣ命令（以下、命令ｎという）を、ｐ番目の分割プログラムの最後尾に配置する。
　次に、ステップＳ３２０６では、ＰＬＣ命令並び替え分割部３１２は、シーケンス制御プログラム２００のｎ＋ｍ番目のＰＬＣ命令（以下、命令ｎ＋ｍという）が、命令ｎと依存関係があるかを判定する。つまり、ＰＬＣ命令並び替え分割部３１２は、変数間依存情報２１０を参照して、命令ｎ＋ｍの引数の変数が命令ｎの返り値の変数と同じかどうかを判定する。
　命令ｎ＋ｍが命令ｎと依存関係があれば、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３２０７において、命令ｎ＋ｍを、ｐ番目の分割プログラムの最後尾に配置する。
　次に、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３２０８において、命令ｎが、シーケンス制御プログラム２００の最後のＰＬＣ命令であるかどうかを判定する。
　命令ｎが最後のＰＬＣ命令ならば、ＰＬＣ命令並び替え分割部３１２は処理を終了する。
　一方、命令ｎが最後のＰＬＣ命令でなければ、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３２１１に移る。
　ステップＳ３２０６において命令ｎ＋ｍが命令ｎと依存関係になければ、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３２０９において、命令ｎ＋ｍが、シーケンス制御プログラム２００の最後のＰＬＣ命令であるかどうかを判定する。
　命令ｎ＋ｍが最後のＰＬＣ命令でなければ、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３２１０において、変数ｍの値を１つ増やし、ステップＳ３２０６に移る。
　一方、命令ｎ＋ｍが最後のＰＬＣ命令であれば、ＰＬＣ命令並び替え分割部３１２は、ステップＳ３２１１において、変数ｎの値を１つ増やし、変数ｍの値を１に初期化し、ステップＳ３２０４に移る。
　図１３は、図１１の処理により得られた等価最適化シーケンス制御プログラム２０１の一例を示す。
　図１３では、図５に示すシーケンス制御プログラム２００が分割プログラム１と分割プログラム２の２つに分割されている。
　ＰＬＣ装置４０１が同時に２つのプログラムを実行可能であれば、図１３に示す分割プログラム１と分割プログラム２を並行して実行することにより、実行所要時間の短縮化が図られる。
　以上のように、本実施の形態に係るプログラミング装置４００では、シーケンス制御プログラムの最適化（命令実行順序の変更、シーケンス制御プログラム２００の分割）を行うことができる。
　ＰＬＣ命令並び替え分割部３１２は、図１０の命令実行順序の変更及び図１１のシーケンス制御プログラムの分割のいずれか一方のみを行ってもよい。また、ＰＬＣ命令並び替え分割部３１２は、図１０の命令実行順序の変更と図１１のシーケンス制御プログラムの分割の両者を行ってもよい。図１０の命令実行順序の変更と図１１のシーケンス制御プログラムの分割の両者を行う場合は、ＰＬＣ命令並び替え分割部３１２は、図１０の命令実行順序の変更を行った後のシーケンス制御プログラムに図１１のシーケンス制御プログラムの分割を行ってもよい。また、ＰＬＣ命令並び替え分割部３１２は、図１１のシーケンス制御プログラムの分割を行った後のシーケンス制御プログラム（分割プログラム）に図１０の命令実行順序の変更を行ってもよい。
＊＊＊実施の形態の効果の説明＊＊＊
　本実施の形態によれば、シーケンス制御プログラムにおける命令実行順序の変更及びシーケンス制御プログラムの分割の少なくともいずれかにより、ユーザが生成したシーケンス制御プログラムから、当該シーケンス制御プログラムと等しい結果が得られるより効率的なシーケンス制御プログラムを生成することができる。
　このため、ユーザはＰＬＣ装置の構成などにとらわれることなく、所望の処理のみを記述すれば、最も高速にシーケンス制御が可能なプログラムを得ることができる。
実施の形態２．
　図１４は、本実施の形態に係るプログラミング装置４００の機能構成例及びＰＬＣ装置４０１のハードウェア構成例を示す。
　ＰＬＣ装置４０１のハードウェア構成例は、図１に示したものと同じであるため、説明を省略する。
　本実施の形態では、プログラミング装置４００は、シーケンス制御プログラム最適化部３００により生成された等価最適化シーケンス制御プログラム２０１をユーザ１００に提示する。より具体的には、図２に示すユーザインタフェース装置１５０６が等価最適化シーケンス制御プログラム２０１を表示する。
　ユーザ１００が生成したシーケンス制御プログラム２００が誤っていた場合は、等価最適化シーケンス制御プログラム２０１も誤ったものとなる。このため、シーケンス制御プログラム２００が誤っていた場合は、ＰＬＣ装置４０１はユーザの望む通りには動作しない。
　本実施の形態では、等価最適化シーケンス制御プログラム２０１がユーザ１００に提示されるため、ユーザ１００は等価最適化シーケンス制御プログラム２０１内のＰＬＣ命令を１つずつ解析してＰＬＣ装置４０１の動作を確認してゆくことができる。
　本実施の形態では、ＰＬＣ命令で記述されたシーケンス制御プログラム２００を、同様にＰＬＣ命令で記述された等価最適化シーケンス制御プログラム２０１に変換し、等価最適化シーケンス制御プログラム２０１をユーザ１００に提示する。これにより、ユーザ１００がＰＬＣ命令のみを理解し、高級汎用言語を理解していない場合でも、ユーザ１００は、最適化されたシーケンス制御プログラムを確認することができる。
　以上、本発明の実施の形態について説明したが、これら２つの実施の形態を組み合わせて実施しても構わない。
　あるいは、これら２つの実施の形態のうち、１つを部分的に実施しても構わない。
　あるいは、これら２つの実施の形態を部分的に組み合わせて実施しても構わない。
　なお、本発明は、これらの実施の形態に限定されるものではなく、必要に応じて種々の変更が可能である。
＊＊＊ハードウェア構成の説明＊＊＊
　最後に、プログラミング装置４００のハードウェア構成の補足説明を行う。
　図２に示すプロセッサ１５００は、プロセッシングを行うＩＣ（Ｉｎｔｅｇｒａｔｅｄ　Ｃｉｒｃｕｉｔ）である。
　プロセッサ１５００は、ＣＰＵ（Ｃｅｎｔｒａｌ　Ｐｒｏｃｅｓｓｉｎｇ　Ｕｎｉｔ）、ＤＳＰ（Ｄｉｇｉｔａｌ　Ｓｉｇｎａｌ　Ｐｒｏｃｅｓｓｏｒ）等である。
　メモリ１５０３は、ＲＡＭ（Ｒａｎｄｏｍ　Ａｃｃｅｓｓ　Ｍｅｍｏｒｙ）である。
　記憶装置１５０４は、ＲＯＭ（Ｒｅａｄ　Ｏｎｌｙ　Ｍｅｍｏｒｙ）、フラッシュメモリ、ＨＤＤ（Ｈａｒｄ　Ｄｉｓｋ　Ｄｒｉｖｅ）等である。
　Ｉ／Ｏ装置１５０１は、データを受信するレシーバー及びデータを送信するトランスミッターであり、例えば、通信チップ又はＮＩＣ（Ｎｅｔｗｏｒｋ　Ｉｎｔｅｒｆａｃｅ　Ｃａｒｄ）である。
　ユーザインタフェース装置１５０６は、マウス、キーボード、ディスプレイ等である。
　記憶装置１５０４には、ＯＳ（Ｏｐｅｒａｔｉｎｇ　Ｓｙｓｔｅｍ）も記憶されている。
　そして、ＯＳの少なくとも一部がメモリ１５０３にロードされ、プロセッサ１５００により実行される。
　プロセッサ１５００はＯＳの少なくとも一部を実行しながら、シーケンス制御プログラム最適化部３００、高級言語変換部３０１及びコンパイラ３０２の機能を実現するプログラムを実行する。
　プロセッサ１５００がＯＳを実行することで、タスク管理、メモリ管理、ファイル管理、通信制御等が行われる。
　また、プログラミング装置４００は、プロセッサ１５００を代替する複数のプロセッサを備えていてもよい。
　また、シーケンス制御プログラム最適化部３００、高級言語変換部３０１及びコンパイラ３０２の処理の結果を示す情報やデータや信号値や変数値が、メモリ１５０３、記憶装置１５０４、プロセッサ１５００内のレジスタ及びキャッシュメモリの少なくともいずれかに記憶される。
　また、シーケンス制御プログラム最適化部３００、高級言語変換部３０１及びコンパイラ３０２の機能を実現するプログラムは、磁気ディスク、フレキシブルディスク、光ディスク、コンパクトディスク、ブルーレイ（登録商標）ディスク、ＤＶＤ等の可搬記憶媒体に記憶されてもよい。
　また、シーケンス制御プログラム最適化部３００及び高級言語変換部３０１の「部」を、「回路」又は「工程」又は「手順」又は「処理」に読み替えてもよい。
　また、プログラミング装置４００は、ロジックＩＣ（Ｉｎｔｅｇｒａｔｅｄ　Ｃｉｒｃｕｉｔ）、ＧＡ（Ｇａｔｅ　Ａｒｒａｙ）、ＡＳＩＣ（Ａｐｐｌｉｃａｔｉｏｎ　Ｓｐｅｃｉｆｉｃ　Ｉｎｔｅｇｒａｔｅｄ　Ｃｉｒｃｕｉｔ）、ＦＰＧＡ（Ｆｉｅｌｄ－Ｐｒｏｇｒａｍｍａｂｌｅ　Ｇａｔｅ　Ａｒｒａｙ）といった電子回路により実現されてもよい。
　なお、プロセッサ及び上記の電子回路を総称してプロセッシングサーキットリーともいう。
　１００　ユーザ、２００　シーケンス制御プログラム、２０１　等価最適化シーケンス制御プログラム、２０２　高級言語プログラム、２０３　バイナリ、２１０　変数間依存情報、２１１　命令情報、２１２　ＰＬＣ装置情報、３００　シーケンス制御プログラム最適化部、３０１　高級言語変換部、３０２　コンパイラ、３１０　変数間依存解析部、３１１　情報記憶部、３１２　ＰＬＣ命令並び替え分割部、４００　プログラミング装置、４０１　ＰＬＣ装置、５００　プロセッサ、５０１　Ｉ／Ｏ装置、５０３　メモリ、５０４　記憶装置、５０５　バス、１５００　プロセッサ、１５０１　Ｉ／Ｏ装置、１５０３　メモリ、１５０４　記憶装置、１５０５　バス、１５０６　ユーザインタフェース装置。

Claims (9)

  1. 　シーケンス制御用の言語で記述された制御プログラムであるシーケンス制御プログラムに含まれる複数の命令の命令間の引数と返り値との関係を解析する関係解析部と、
    　前記関係解析部により解析された命令間の引数と返り値との関係に基づき、前記複数の命令の命令実行順序の変更及び命令単位での前記シーケンス制御プログラムの分割の少なくともいずれかを行うプログラム編集部とを有するプログラム編集装置。
  2. 　前記プログラム編集部は、
    　前記関係解析部により解析された命令間の引数と返り値との関係と、各命令に含まれる演算子とに基づき、前記複数の命令の命令実行順序の変更を行う請求項１に記載のプログラム編集装置。
  3. 　前記プログラム編集部は、
    　前記関係解析部により解析された命令間の引数と返り値との関係と、各命令に含まれる演算子とに基づき、連続実行により演算効率が向上する２以上の命令を前記複数の命令の中から指定し、指定した２以上の命令が連続して実行されるように前記複数の命令の命令実行順序の変更を行う請求項２に記載のプログラム編集装置。
  4. 　前記プログラム編集装置は、更に、
    　連続実行により演算効率が向上する演算子の組み合わせが推奨演算子組み合わせとして定義される命令情報を記憶する情報記憶部を有し、
    　前記プログラム編集部は、
    　前記複数の命令から任意の命令を選択し、
    　選択した選択命令の返り値を引数とする命令の返り値を引数とする命令以外の命令であって前記選択命令に含まれる演算子とともに前記命令情報において前記推奨演算子組み合わせに含まれる演算子が含まれる１以上の命令と、前記選択命令とを指定する請求項３に記載のプログラム編集装置。
  5. 　前記プログラム編集部は、
    　前記関係解析部により解析された命令間の引数と返り値との関係と、ＰＬＣ（Ｐｐｒｏｇｒａｍｍａｂｌｅ　Ｌｏｇｉｃ　Ｃｏｎｔｒｏｌｌｅｒ）装置で同時に実行できる命令数である同時実行命令数とに基づき、命令単位での前記シーケンス制御プログラムの分割を行う請求項１に記載のプログラム編集装置。
  6. 　前記プログラム編集部は、
    　前記シーケンス制御プログラムを前記同時実行命令数と同数の分割プログラムに分割する請求項５に記載のプログラム編集装置。
  7. 　前記プログラム編集部は、
    　前記複数の命令から任意の命令を選択し、選択した選択命令と、前記選択命令の返り値を引数とする他の命令とが同じ分割プログラムに含まれるように、前記シーケンス制御プログラムを分割する請求項６に記載のプログラム編集装置。
  8. 　コンピュータが、シーケンス制御用の言語で記述された制御プログラムであるシーケンス制御プログラムに含まれる複数の命令の命令間の引数と返り値との関係を解析し、
    　前記コンピュータが、解析された命令間の引数と返り値との関係に基づき、前記複数の命令の命令実行順序の変更及び命令単位での前記シーケンス制御プログラムの分割の少なくともいずれかを行うプログラム編集方法。
  9. 　シーケンス制御用の言語で記述された制御プログラムであるシーケンス制御プログラムに含まれる複数の命令の命令間の引数と返り値との関係を解析する関係解析処理と、
    　前記関係解析処理により解析された命令間の引数と返り値との関係に基づき、前記複数の命令の命令実行順序の変更及び命令単位での前記シーケンス制御プログラムの分割の少なくともいずれかを行うプログラム編集処理とをコンピュータに実行させるプログラム編集プログラム。
PCT/JP2016/075360 2016-08-30 2016-08-30 プログラム編集装置、プログラム編集方法及びプログラム編集プログラム WO2018042520A1 (ja)

Priority Applications (7)

Application Number Priority Date Filing Date Title
KR1020197001430A KR102041772B1 (ko) 2016-08-30 2016-08-30 프로그램 편집 장치, 프로그램 편집 방법 및 기억 매체에 기억된 프로그램 편집 프로그램
JP2018536560A JP6532610B2 (ja) 2016-08-30 2016-08-30 プログラム編集装置、プログラム編集方法及びプログラム編集プログラム
US16/315,109 US10990073B2 (en) 2016-08-30 2016-08-30 Program editing device, program editing method, and computer readable medium
CN201680088675.3A CN109643093A (zh) 2016-08-30 2016-08-30 程序编辑装置、程序编辑方法及程序编辑程序
DE112016007069.1T DE112016007069T5 (de) 2016-08-30 2016-08-30 Programmeditiervorrichtung, programmeditierverfahren und programmeditierprogramm
PCT/JP2016/075360 WO2018042520A1 (ja) 2016-08-30 2016-08-30 プログラム編集装置、プログラム編集方法及びプログラム編集プログラム
TW105134396A TWI621066B (zh) 2016-08-30 2016-10-25 程式編集裝置、程式編集方法以及程式編集程式產品

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2016/075360 WO2018042520A1 (ja) 2016-08-30 2016-08-30 プログラム編集装置、プログラム編集方法及びプログラム編集プログラム

Publications (1)

Publication Number Publication Date
WO2018042520A1 true WO2018042520A1 (ja) 2018-03-08

Family

ID=61300369

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2016/075360 WO2018042520A1 (ja) 2016-08-30 2016-08-30 プログラム編集装置、プログラム編集方法及びプログラム編集プログラム

Country Status (7)

Country Link
US (1) US10990073B2 (ja)
JP (1) JP6532610B2 (ja)
KR (1) KR102041772B1 (ja)
CN (1) CN109643093A (ja)
DE (1) DE112016007069T5 (ja)
TW (1) TWI621066B (ja)
WO (1) WO2018042520A1 (ja)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP7024679B2 (ja) * 2018-10-05 2022-02-24 オムロン株式会社 開発支援プログラム、開発支援装置、および開発支援方法
JP7183877B2 (ja) * 2019-03-13 2022-12-06 オムロン株式会社 グラフ表示装置、グラフ表示方法、及びグラフ表示プログラム
AT522186B1 (de) * 2019-05-20 2020-09-15 Dipl Ing Dipl Ing Fh Markus Gruber Computerimplementiertes Verfahren zur rechnergestützten Erzeugung eines ausführbaren Steuerungsprogramms zur Steuerung und/oder Regelung eines technischen Prozesses
CN111401400B (zh) * 2020-02-12 2023-06-20 杭州电子科技大学 一种可编程控制器视觉功能块fbd的内部变量优化方法

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002099312A (ja) * 2000-09-22 2002-04-05 Mitsubishi Electric Corp プログラマブルコントローラおよび制御プログラム開発支援装置
JP2007272679A (ja) * 2006-03-31 2007-10-18 Mitsubishi Electric Corp ラダープログラム最適化装置および最適化プログラム

Family Cites Families (62)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5481741A (en) * 1986-04-14 1996-01-02 National Instruments Corporation Method and apparatus for providing attribute nodes in a graphical data flow environment
JP2927484B2 (ja) * 1989-01-25 1999-07-28 株式会社日立製作所 プログラムの自動生成方法及び装置
US5119318A (en) * 1989-04-17 1992-06-02 Del Partners L.P. Expert control system for real time management of automated factory equipment
JPH0762826B2 (ja) * 1991-02-27 1995-07-05 ディジタル イクイップメント コーポレイション 多言語最適化コンパイラ内のフォールディングメカニズムを構成する方法
JPH07295612A (ja) 1994-04-21 1995-11-10 Japan Steel Works Ltd:The 高級言語シーケンス命令プログラム生成装置および汎用シーケンサ
US5790874A (en) * 1994-09-30 1998-08-04 Kabushiki Kaisha Toshiba Information processing apparatus for reducing power consumption by minimizing hamming distance between consecutive instruction
JP3422124B2 (ja) * 1995-03-30 2003-06-30 マツダ株式会社 プログラム作成装置
US6085156A (en) * 1998-03-20 2000-07-04 National Instruments Corporation Instrumentation system and method having instrument interchangeability
US5963726A (en) * 1998-03-20 1999-10-05 National Instruments Corporation Instrumentation system and method including an improved driver software architecture
US6405145B1 (en) * 1998-03-20 2002-06-11 National Instruments Corporation Instrumentation system and method which performs instrument interchangeability checking
US6198480B1 (en) * 1998-10-07 2001-03-06 Wonderware Corporation Object-oriented tag browser
JP2001282574A (ja) 2000-03-30 2001-10-12 Oki Electric Ind Co Ltd 処理時間情報を含む図式表現プログラムの表現方法
US8302072B2 (en) * 2000-06-05 2012-10-30 National Instruments Corporation System and method for programmatically generating a graphical program based on a sequence of motion control, machine vision, and data acquisition (DAQ) operations
JP2002091512A (ja) 2000-09-12 2002-03-29 Meidensha Corp シーケンサのプログラミング支援装置
US7213207B2 (en) * 2000-12-20 2007-05-01 National Instruments Corporation System and method for accessing registers of a hardware device in a graphical program
US8104017B2 (en) * 2001-10-25 2012-01-24 The Mathworks, Inc. Traceability in a modeling environment
US8522196B1 (en) * 2001-10-25 2013-08-27 The Mathworks, Inc. Traceability in a modeling environment
US20030182601A1 (en) * 2002-03-19 2003-09-25 Scott Richardson System and method for integrating hardware switching operations into test executive software
JP3912278B2 (ja) * 2002-12-20 2007-05-09 株式会社日立製作所 組込みコントローラ及び組込みコントローラ開発ツール
AU2003272890A1 (en) * 2003-03-10 2004-09-30 Catena Corporation Static analysis method for lyee-oriented software
US20050086635A1 (en) * 2003-10-20 2005-04-21 Pegasus Technologies, Inc. Visual programming system and method
JP4254954B2 (ja) * 2004-03-29 2009-04-15 独立行政法人科学技術振興機構 データ処理装置
JP4388427B2 (ja) * 2004-07-02 2009-12-24 オークマ株式会社 スクリプト言語で記述されたプログラムを呼出し可能な数値制御装置
JP4438552B2 (ja) * 2004-07-29 2010-03-24 株式会社ジェイテクト 安全ｐｌｃ、シーケンスプログラム作成支援ソフトウェア及びシーケンスプログラムの判定方法
GB0418066D0 (en) * 2004-08-13 2004-09-15 Ibm A prioritization system
CN100507775C (zh) * 2006-03-13 2009-07-01 富士电机系统株式会社 可编程控制器的编程设备
US7954059B2 (en) * 2006-07-24 2011-05-31 National Instruments Corporation Automatic conversion of text-based code having function overloading and dynamic types into a graphical program for compiled execution
US7975233B2 (en) * 2006-07-24 2011-07-05 National Instruments Corporation Automatic conversion of a textual language into a graphical program representation
US20090308734A1 (en) * 2008-06-17 2009-12-17 Schneider Automation Inc. Apparatus and Method for Wafer Level Arc Detection
KR100952557B1 (ko) * 2008-06-19 2010-04-12 한국전력공사 발전소용 시뮬레이터 시스템의 화면정보 제어, 저장, 복원장치 및 방법
CN101364098B (zh) * 2008-09-12 2010-07-28 南京航空航天大学 一种将梯形图转换为指令表程序及解释执行的方法与系统
US8713528B1 (en) * 2008-10-06 2014-04-29 The Mathworks, Inc. Verification of computer-executable code generated from a model
CN101859135B (zh) * 2009-04-07 2012-07-18 西门子（中国）有限公司 对分布式自动化系统进行控制的方法和装置
US8055816B2 (en) * 2009-04-09 2011-11-08 Micron Technology, Inc. Memory controllers, memory systems, solid state drives and methods for processing a number of commands
JP5655448B2 (ja) 2010-09-09 2015-01-21 富士電機株式会社 Ｐｌｃシステム、その開発支援装置
JP2012083934A (ja) 2010-10-12 2012-04-26 Mitsubishi Electric Corp スキャンタイム見積り装置、スキャンタイム見積りプログラム及び記録媒体
JP2012118715A (ja) 2010-11-30 2012-06-21 Fuji Electric Co Ltd Ｐｌｃシステム、その開発支援装置、プログラム
JP2012145987A (ja) 2011-01-07 2012-08-02 Hitachi Ltd ソフトウェア性能問題指摘方法
JP5252014B2 (ja) * 2011-03-15 2013-07-31 オムロン株式会社 制御装置、制御システム、ツール装置および収集指示プログラム
JP4905597B1 (ja) * 2011-03-15 2012-03-28 オムロン株式会社 コントローラサポート装置、その装置において実行されるためのコントローラサポートプログラム、およびそのプログラムを格納する記録媒体
US8819499B2 (en) * 2011-06-09 2014-08-26 At&T Mobility Ii Llc Sending network reject/error codes from a terminal adaptor to terminal equipment through an at command interface
JP5867088B2 (ja) 2012-01-05 2016-02-24 富士電機株式会社 組込み機器用ソフトウェア作成支援装置およびプログラム
JP5942446B2 (ja) * 2012-02-01 2016-06-29 オムロン株式会社 サポート装置およびサポートプログラム
CN103885376A (zh) * 2012-12-19 2014-06-25 施耐德电器工业公司 可编程逻辑控制器及其事件驱动编程方法
JP6167532B2 (ja) * 2013-01-25 2017-07-26 オムロン株式会社 制御装置および制御装置の動作方法
WO2014118918A1 (ja) * 2013-01-30 2014-08-07 三菱電機株式会社 数値制御装置
EP2781977B1 (en) * 2013-03-20 2016-10-12 Siemens Aktiengesellschaft Method and system for managing distributed computing in automation systems
DE112013007000B4 (de) * 2013-05-20 2020-09-10 Mitsubishi Electric Corporation Überwachungssteuerungsvorrichtung
JP5619328B1 (ja) * 2013-11-20 2014-11-05 三菱電機株式会社 シーケンスプログラム作成支援装置
CN103941627B (zh) * 2014-01-08 2017-09-08 东南大学 一种基于plc编程中sfc到梯形图的转换方法
JP6595181B2 (ja) * 2014-01-09 2019-10-23 パナソニック インテレクチュアル プロパティ コーポレーション オブ アメリカ 照明制御システムに関連した店舗業務のための情報表示方法、照明制御方法
KR101860252B1 (ko) * 2014-02-12 2018-05-21 미쓰비시덴키 가부시키가이샤 작화 장치 및 제어 시스템
CN103760965B (zh) 2014-02-21 2016-08-17 中南大学 一种能量受限嵌入式系统的算法源程序节能优化方法
US20150332167A1 (en) * 2014-05-13 2015-11-19 Tokyo Electron Limited System and method for modeling and/or analyzing manufacturing processes
TW201606644A (zh) * 2014-08-05 2016-02-16 拓連科技股份有限公司 具有自動調整功能之程式產生方法及系統，及其電腦程式產品
WO2016151398A1 (en) * 2015-03-23 2016-09-29 Societal Innovations Ipco Limited System and method for configuring a platform instance at runtime
CN107835964B (zh) * 2015-06-24 2020-09-11 西门子公司 控制情境化以及关于控制的推理
US10552450B2 (en) * 2016-08-05 2020-02-04 International Business Machines Corporation Distributed graph databases that facilitate streaming data insertion and low latency graph queries
US10380188B2 (en) * 2016-08-05 2019-08-13 International Business Machines Corporation Distributed graph databases that facilitate streaming data insertion and queries by reducing number of messages required to add a new edge by employing asynchronous communication
US10394891B2 (en) * 2016-08-05 2019-08-27 International Business Machines Corporation Distributed graph databases that facilitate streaming data insertion and queries by efficient throughput edge addition
US10303582B2 (en) * 2016-10-25 2019-05-28 International Business Machines Corporation Facilitating debugging serverless applications via graph rewriting
JP6370503B1 (ja) * 2017-04-17 2018-08-08 三菱電機株式会社 プログラム作成装置

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002099312A (ja) * 2000-09-22 2002-04-05 Mitsubishi Electric Corp プログラマブルコントローラおよび制御プログラム開発支援装置
JP2007272679A (ja) * 2006-03-31 2007-10-18 Mitsubishi Electric Corp ラダープログラム最適化装置および最適化プログラム

Also Published As

Publication number Publication date
CN109643093A (zh) 2019-04-16
US20200012250A1 (en) 2020-01-09
TW201807569A (zh) 2018-03-01
DE112016007069T5 (de) 2019-03-28
JPWO2018042520A1 (ja) 2018-12-06
US10990073B2 (en) 2021-04-27
TWI621066B (zh) 2018-04-11
KR102041772B1 (ko) 2019-11-07
JP6532610B2 (ja) 2019-06-19
KR20190011810A (ko) 2019-02-07

Similar Documents

Publication Publication Date Title
CN111626430B (zh) 一种数据处理方法及相关产品
WO2018042520A1 (ja) プログラム編集装置、プログラム編集方法及びプログラム編集プログラム
WO2019226384A1 (en) Semantic comparison of computer compiler traces
JP4822817B2 (ja) コンパイルシステム
US10915305B2 (en) Reducing compilation time for computer software
US9841953B2 (en) Pluggable components for runtime-image generation
JP6950665B2 (ja) エンジニアリング装置、エンジニアリング装置の制御方法及びプログラム
US9977663B2 (en) Technologies for optimizing sparse matrix code with field-programmable gate arrays
US8448151B2 (en) Method for binarizing initial script on operating system and operating method of binary script
US5964861A (en) Method for writing a program to control processors using any instructions selected from original instructions and defining the instructions used as a new instruction set
JP5884657B2 (ja) プログラム、テストケース生成方法およびテストケース生成装置
US10445074B2 (en) Method of optimally compiling PLC command
JP2006301989A (ja) 計算機言語によるプログラムをブロック図から自動生成する方法と装置とプログラム
JP2009169864A (ja) コンパイル方法およびコンパイルプログラム
US20230107200A1 (en) Program generation apparatus, program generation method and program
US11221844B2 (en) Automated application partitioning system
JP6175306B2 (ja) 制御プログラム分割装置、制御プログラム分割方法及びその記録媒体
CN113010161A (zh) 视图转换方法、视图转换装置和存储介质
JP4141443B2 (ja) プログラム生成装置
US10120664B2 (en) Incremental build generation
Gad NumPyCNNAndroid: A Library for Straightforward Implementation of Convolutional Neural Networks for Android Devices
US9304770B2 (en) Method and system adapted for converting software constructs into resources for implementation by a dynamically reconfigurable processor
JP5208589B2 (ja) コンパイル装置、コンパイラ、コンパイル方法
CN116719530A (zh) 提高代码性能方法、装置、计算机设备及存储介质
CN118034660A (zh) 针对大语言模型融合算子的图编译方法、装置及存储介质

Legal Events

Date Code Title Description
WWE Wipo information: entry into national phase

Ref document number: 2018536560

Country of ref document: JP

121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 16915081

Country of ref document: EP

Kind code of ref document: A1

ENP Entry into the national phase

Ref document number: 20197001430

Country of ref document: KR

Kind code of ref document: A

122 Ep: pct application non-entry in european phase

Ref document number: 16915081

Country of ref document: EP

Kind code of ref document: A1