JP2016170707A - Control program division apparatus, control program division method, computer program, and division source code production method - Google Patents

Abstract

PROBLEM TO BE SOLVED: To provide a control program division apparatus configured to enable parallel processing of a control program, while preventing increase of traffic, a control program division method, a computer program, and a division source code production method.SOLUTION: A control program division device includes a lexical analysis section, a parsing section, a division section, and an execution entity determination section. The lexical analysis section extracts a token from a source code of a control program that generates a plurality of control signals for controlling a device, on the basis of a detection signal including environment information or state information. The parsing section parses the extracted token, to generate syntax information indicating a meaning of the source code. The division section generates a plurality of division source codes for generating the control signals, on the basis of the syntax information and the source code. The execution entity determination section determines an execution entity of the control program, on the basis of dependence of input signals of the control program generated from the division source codes.SELECTED DRAWING: Figure 1

Description

  Embodiments described herein relate generally to a control program dividing device, a control program dividing method, a computer program, and a divided source code production method.

  In order to facilitate disaster recovery, remote control technology for remotely controlling devices via a network has attracted attention. A remote control system in which such remote control is executed by a cloud server is called a cloud control system. In the cloud control system, control programs for realizing remote control are held in a plurality of cloud servers that are physically separated. In such a cloud control system, even if one base is damaged, the control program is not lost because the control program is held in the cloud server of another base. Therefore, the time required for the system restoration work at the time of a disaster can be shortened.

  By the way, the remote control system acquires information on the device to be controlled using a detection device such as a sensor. The detection device measures an event related to the device to be controlled and transmits a detection signal indicating the measurement value to the remote control system. The remote control system generates a control signal for controlling a device to be controlled using the detection signal as input information. Based on the generated control signal, the device to be controlled operates to realize remote control of the device. When such a remote control system is configured as a cloud control system, a wide area network such as the Internet may be used for transmission and reception of detection signals and control signals. In this case, when a communication delay occurs in the wide area network, the cloud control system cannot perform the response of the control signal to the detection signal within the required response time, which may reduce the system responsiveness. .

  With such a background, there is a need for a precompiler that divides a control program so that it can be executed in parallel by a plurality of devices. If such a precompiler is realized, the cloud control system can guarantee the response time of the system by dividing the control program according to the situation of the wide area network. For example, the control program can be divided into a device located on the network on the detection device side and a cloud server located on the wide area network side.

  As a technique for dividing such a program, there has conventionally been a technique for dividing a loop process so that it can be executed in parallel in a general multiprocessor compiler. However, in the conventional method, it is necessary to perform server-to-server communication for each divided loop in order to achieve data dependency matching. For this reason, depending on the processing contents and processing amount of the program to be divided, the overhead of the communication amount due to the division becomes large, and there is a possibility that the processing time is not necessarily shortened.

Japanese Patent No. 3729644

Lex & Yacc, O’Reilly & Associates (1992) ISBN 1565920007

  The problem to be solved by the present invention is to provide a control program dividing device, a control program dividing method, a computer program, and a divided source code production method that enable parallel processing of control programs while suppressing an increase in communication volume. is there.

  The control program dividing device of the embodiment includes a lexical analyzer, a syntax analyzer, a divider, and an execution subject determining unit. The lexical analysis unit is a control signal for controlling the device based on a detection signal including either environment information indicating information about an environment in which the device to be controlled is installed and state information indicating the state of the device From the source code of the control program that realizes the control process for generating a plurality of tokens, a token that is a character string of the smallest unit having meaning in the source code is extracted. The syntax analysis unit analyzes the syntax of the token extracted by the lexical analysis unit, and generates syntax information indicating the meaning of the source code. The dividing unit generates a plurality of divided source codes for generating the control signal based on the syntax information generated by the syntax analyzing unit and the source code. The execution subject determination unit determines the execution subject of the control program based on the dependency relationship of the input signals that are input when the control program generated from the divided source code is executed.

The functional block diagram which shows the function structure of the control program division | segmentation apparatus 1 of 1st Embodiment. 1 is a system configuration diagram showing a system configuration of a cloud control system 10. FIG. The flowchart which shows the flow of the process which divides | segments a control program. The figure which shows the specific example of the source code of a division | segmentation object. The figure which shows the specific example of the address information table 141. FIG. The figure which shows the specific example of the input-output signal table 142. FIG. The figure which shows the specific example of the dependency table 143. FIG. The figure which shows the specific example of the tree information 144. FIG. The figure which shows the specific example of the divided | segmented source code. The figure which shows the specific example of the corresponding | compatible information table 145. FIG. The functional block diagram which shows the function structure of the control program division | segmentation apparatus 1a of 2nd Embodiment. The functional block diagram which shows the function structure of the control program division | segmentation apparatus 1b of a modification. The functional block diagram which shows the function structure of the control program division | segmentation apparatus 1c of a modification.

  Hereinafter, a control program dividing device, a control program dividing method, a computer program, and a divided source code production method according to embodiments will be described with reference to the drawings.

(First embodiment)
FIG. 1 is a functional block diagram illustrating a functional configuration of the control program dividing device 1 according to the first embodiment.
The control program dividing device 1 includes a CPU (Central Processing Unit), a memory, an auxiliary storage device, and the like connected by a bus, and executes a divided program. The control program dividing device 1 functions as a device including an input unit 11, a lexical analyzer 12, a syntax analyzer 13, a storage unit 14, a dividing unit 15, and a divided program output unit 16 by executing the dividing program. Note that all or a part of each function of the control program dividing device 1 may be realized by using hardware such as an application specific integrated circuit (ASIC), a programmable logic device (PLD), or a field programmable gate array (FPGA). Good. The division program may be recorded on a computer-readable recording medium. The computer-readable recording medium is, for example, a portable medium such as a flexible disk, a magneto-optical disk, a ROM, a CD-ROM, or a storage device such as a hard disk built in the computer system. The division program may be transmitted via a telecommunication line.

  The input unit 11 inputs the source code of the program to be divided into its own device. For example, the input unit 11 may include a communication interface for connecting to a network such as a LAN, and may be configured to acquire a file in which source code is described from another device. Further, for example, the input unit 11 includes a device that reads information from a recording medium such as a CD-ROM or a flash memory, and is configured to acquire a file in which source code is described from these recording media. Also good. Further, for example, the input unit 11 may be configured to include an input device such as a keyboard and a mouse, and may be configured to acquire characters input using these input devices as source code. The input unit 11 outputs the acquired source code to the lexical analyzer 12.

  The lexical analysis unit 12 acquires the source code from the input unit 11. The lexical analyzer 12 analyzes the source code and obtains a token string. A token string is a character string of the smallest unit that has meaning in source code. A program that performs such lexical analysis is generally called a lexical analyzer. The program Lex described in Non-Patent Document 1 is a program that automatically generates a lexical analyzer based on a token rule of a programming language (hereinafter simply referred to as “language”). For example, the lexical analyzer 12 inputs a file in which token rules in the acquired source code language are defined to the program Lex, and generates a lexical analyzer of the source code to be analyzed. The lexical analyzer 12 acquires a token string from the source code by executing a lexical analyzer generated using the acquired source code as an input. The lexical analysis unit 12 outputs the acquired token string to the syntax analysis unit 13.

  The syntax analysis unit 13 performs source code syntax analysis based on the token string output from the lexical analysis unit 12. A program that performs such parsing is generally called a parser. The program Yacc described in Non-Patent Document 1 is a program that automatically generates a parser based on the syntax rules of the language. For example, the syntax analysis unit 13 inputs a file in which syntax rules in the language of the acquired source code are defined to the program Yacc, and generates a parser for the source code to be analyzed. The syntax analysis unit 13 executes the parser generated by using the acquired token sequence as input, thereby performing syntax analysis of the token sequence.

  In general, source code is classified into a declaration part and an instruction part. The declaration part is a description related to the definition of variables and functions to be handled, and the instruction part is a description related to specific processing using the variables and functions defined in the declaration part. The syntax analysis unit 13 obtains information indicating the configuration of the source code as an analysis result by performing syntax analysis. The syntax analysis unit 13 stores the acquired analysis result in the storage unit 14.

  The storage unit 14 is configured using a storage device such as a magnetic hard disk device or a semiconductor storage device. The storage unit 14 stores the analysis result (syntax information) of the source code acquired by the syntax analysis unit 13.

  The dividing unit 15 divides the source code into source code for generating individual control signals based on the analysis result of the syntax analysis unit 13. The dividing unit 15 outputs the divided source code to the divided program output unit 16.

  The division program output unit 16 outputs the divided source codes output from the division unit 15 as separate text files.

  Hereinafter, a process in which the control program dividing device 1 of the embodiment divides the source code of the control program will be described in detail. First, the configuration of a cloud control system that executes a control program will be described.

FIG. 2 is a system configuration diagram illustrating a system configuration of the cloud control system 10.
The cloud control system 10 includes detection devices 20-1 to 20-3, controlled devices 30-1 and 30-2, communication devices 40-1 and 40-2, and a server 50. The communication devices 40-1 and 40-2 communicate with the server 50 via the wide area network 60.

  The detection devices 20-1 and 20-2 acquire a detection signal related to the controlled device 30-1. The detection devices 20-1 and 20-2 transmit the acquired detection signal to the communication device 40-1. Similarly, the detection device 20-3 acquires a detection signal related to the controlled device 30-2. The detection device 20-3 transmits the acquired detection signal to the communication device 40-2.

  The controlled device 30-1 acquires a control signal from the communication device 40-1. The controlled device 30-1 operates its own device based on the acquired control signal. Similarly, the controlled device 30-2 acquires a control signal from the communication device 40-2. The controlled device 30-2 operates its own device based on the acquired control signal.

  The communication device 40-1 acquires detection signals from the detection devices 20-1 and 20-2. The communication device 40-1 transmits the acquired detection signal to the server 50. Further, the communication device 40-1 acquires from the server 50 a control signal generated based on the transmitted detection signal. The communication device 40-1 transmits the acquired control signal to the controlled device 30-1.

  Similarly, the communication device 40-2 acquires a detection signal from the detection device 20-3. The communication device 40-2 transmits the acquired detection signal to the server 50. Further, the communication device 40-2 acquires a control signal generated based on the transmitted detection signal from the server 50. The communication device 40-2 transmits the acquired control signal to the controlled device 30-2.

  The server 50 is a cloud server that can execute control processing. The control process is a process for generating a control signal based on the detection signal. The control process is realized by executing a control program. The server 50 acquires detection signals from the communication devices 40-1 and 40-2. The server 50 performs a process corresponding to each acquired detection signal, and generates a control signal corresponding to each detection signal. The server 50 transmits the generated control signal to the corresponding communication device 40-1 or 40-2.

  The server 50 is the main execution subject of the control process, but this control process can also be executed in the communication devices 40-1 and 40-2. Normally, the communication devices 40-1 and 40-2 transmit a detection signal to the server 50, and the server 50 executes a control process. On the other hand, the communication devices 40-1 and 40-2 suppress a decrease in the responsiveness of the system by executing control processing on the own device as necessary. In this case, the communication devices 40-1 and 40-2 do not transmit a detection signal to the server 50.

  Hereinafter, for the sake of simplicity, the detection devices 20-1 to 20-3 are referred to as the detection device 20 unless otherwise specified. Similarly, controlled devices 30-1 and 30-2 are referred to as controlled device 30. Similarly, the communication devices 40-1 and 40-2 are referred to as the communication device 40.

  In such a cloud control system 10, the detection device 20 acquires environmental information or state information for the corresponding controlled device 30. The environment information is information related to the environment where the controlled device 30 is installed, and is information indicating, for example, brightness, temperature, presence / absence of people, the number of people, and the like. The state information is information related to the state of the controlled device 30 and is information indicating, for example, ON or OFF of the switch, current, voltage, pressure, flow rate, weight, speed, and the like. The detection device 20 transmits a detection signal indicating the acquired information to the communication device 40. The environment information and the state information may be any other information as long as it can be used for control of the controlled apparatus 30.

  Further, the controlled device 30 to be controlled by the cloud control system 10 may be any device. For example, the controlled device 30 may be a device that automatically controls a manufacturing factory or a plant. The controlled device 30 may be a device installed indoors such as a house or a facility, or may be a device installed outdoors such as a road or a park. The controlled device 30 may be a device that is fixedly installed at a predetermined place, or a device that is installed on a moving body such as an airplane or an automobile. Specific examples of devices that can be the controlled device 30 include motors, valves, pumps, lighting devices, air conditioning devices, and traffic lights.

  In the case of the cloud control system 10 of the example of FIG. 2, the control signal of the controlled device 30-1 is generated based on the detection signals acquired by the detection devices 20-1 and 20-2. Normally, the control processing based on these two detection signals is executed by the server 50. However, if this control processing can be divided into the communication device 40-1 and the server 50 and processed in parallel, the control for the input of the detection signal is performed. The response time required for signal output can be shortened. For the purpose of shortening the response time, the control program dividing device 1 of the embodiment divides the control program by the following method.

FIG. 3 is a flowchart showing a flow of processing for dividing the control program.
First, the input unit 11 acquires the source code of the control program to be divided (step S101). The input unit 11 outputs the acquired source code to the lexical analyzer 12. For example, the input unit 11 acquires the source code shown in FIG.

FIG. 4 is a diagram illustrating a specific example of the source code to be divided.
In the source code 100 of FIG. 4, the description of the range indicated by reference numeral 110 is a declaration part, and the description of the range indicated by reference numeral 120 is an instruction part. Further, in the declaration unit 110, a variable of the input / output signal is declared in the range indicated by reference numeral 111, a temporary variable is declared in the range indicated by reference numeral 112, and a function name is declared in the range indicated by reference numeral 113. The instruction unit 120 describes input / output of each function declared in the declaration unit 113. In FIG. 4, in order to simplify the description, detailed processing of each function is omitted. The source code of each function may be described in a file different from the source code 100.

  In the source code 100, “X1”, “X2” and “X3” are variables indicating an input signal, that is, a detection signal, and “Y1” and “Y2” are variables indicating an output signal, that is, a control signal. “T1” and “T2” are temporary variables. The function “POU1” is a function that receives the detection signal “X1” and outputs a temporary variable “T1”. The function “POU2” is a function that receives the temporary variable “T1” and outputs the control signal “Y1”. The function “POU3” is a function that receives the detection signal “X3” and outputs a temporary variable “T2”. The function “POU4” is a function that receives the temporary variable “T2” and the detection signal “X2” and outputs the control signal “Y2”.

Returning to the description of FIG.
The lexical analysis unit 12 acquires the source code from the input unit 11. The lexical analysis unit 12 performs lexical analysis of the acquired source code (step S102). The lexical analysis unit 12 stores the token string acquired by the lexical analysis in the syntax analysis unit 13. The syntax analysis unit 13 acquires a token string from the lexical analysis unit 12. The syntax analysis unit 13 performs syntax analysis on the acquired token string (step S103). The syntax analysis unit 13 stores the analysis result in the storage unit 14. Specifically, the syntax analysis unit 13 stores the analysis results as an address information table 141, an input / output signal table 142, a dependency table 143 (dependency information), and tree information 144.

FIG. 5 is a diagram showing a specific example of the address information table 141.
The address information table 141 has an address information record for each variable name. The address information record has items of variable name and address information. The variable name represents a variable name corresponding to the detection signal and the control signal. The address information is identification information of a device that holds the value of the variable indicated by the variable name. The address information record is generated based on the contents of the declaration unit 111. In the declaration unit 111, address information of each variable is described. For example, in the case of the variable “X1”, the address information is “% IW60.1”. The address information is delimited by “.” (Hereinafter referred to as “dot”), and the value before the dot represents the type of the variable and the type of the communication device 40 that holds the value of the variable. A value after the dot represents a memory address in one communication device 40. In the case of the example of FIG. 3, “% IW” and “% QW” indicate the types of variables, “% IW” indicates a detection signal, and “% QW” indicates a control signal. The numerical value between the variable type and the dot indicates the type of the communication device 40, “60” indicates the communication device 40-1, and “70” indicates the communication device 40-2. The syntax analysis unit 13 generates an address information record based on the variable name and the type of the communication device 40 and registers it in the address information table 141.

FIG. 6 is a diagram showing a specific example of the input / output signal table 142.
The input / output signal table 142 has an input / output signal record for each variable name. The input / output signal record has items of variable name and signal type. The variable name represents a variable name corresponding to the detection signal, the control signal, and the temporary variable. Indicates the type of signal corresponding to the variable indicated by the variable name. As described with reference to FIG. 5, the declaration unit 111 defines address information of each variable corresponding to the detection signal and the control signal. The type of signal corresponding to each variable is identified by this address information. In the declaration part 112, a temporary variable is defined. The syntax analysis unit 13 generates an input / output signal record based on the contents of the declaration unit 111 and the declaration unit 112 and registers the input / output signal record in the input / output signal table 142.

FIG. 7 is a diagram illustrating a specific example of the dependency table 143.
The dependency table 143 has a dependency record for each variable name. The dependency record includes items of variable name, signal type, direct dependency, indirect dependency, and necessity of cooperation. The variable name represents a variable name corresponding to the control signal and the temporary variable. The signal type represents the type of signal corresponding to the variable indicated by the variable name. The direct dependency represents a variable input to a function that outputs the value of the variable indicated by the variable name. On the other hand, indirect dependency represents a variable used to acquire a variable indicated by direct dependency. The variable indicated by the direct dependency may be obtained through input / output of multiple functions, but here, for simplicity of explanation, the variable indicated by the indirect dependency is the variable indicated by the direct dependency. Suppose that it represents a variable that is input to the output function. The necessity of cooperation indicates whether or not cooperation with another apparatus is required for obtaining the variable indicated by the variable name. By holding such a dependency table 143, it is possible to refer to the dependency of the detection signal and the temporary variable on the control signal in a short time.

  Based on the contents of the command unit 120, the syntax analysis unit 13 first generates a dependency record having a value other than the item of necessity / unnecessity for cooperation and registers it in the dependency table 143. The item of necessity / unnecessity for cooperation is registered by the subsequent division unit 15.

FIG. 8 is a diagram illustrating a specific example of the tree information 144.
Tree information 144 is information indicating the tree structure of the source code. The tree structure of the source code is a tree structure showing the dependency of tokens in the source code. The syntax analysis unit 13 generates a token tree structure based on tokens indicating the start and end of each section in the source code. For example, in the example of the source code 100 of FIG. 4, the token indicating the start of the source code is “PROGRAM POU0”, and the token indicating the end is “END_PROGRAM”. The token indicating the start of the declaration unit 111 is “VAR”, and the token indicating the end is “END_VAR”. The same applies to tokens representing the start and end of the declaration units 112 and 113. Based on such tokens representing the start and end of the section, the tree structure of the source code 100 is represented as shown in FIG.

Returning to the description of FIG.
When the syntax analysis of the source code is performed by the syntax analysis unit 13, the dividing unit 15 divides the source code to be divided into source codes for generating individual control signals based on the analysis result of the syntax analyzing unit 13 ( Step S104). Specifically, the dividing unit 15 divides the source code by referring to the tree information 144 and extracting tokens necessary for generating individual control signals from tokens constituting the tree structure. At this time, the dividing unit 15 refers to the dependency table 143 and extracts tokens related to variables indicated by the direct dependency and the indirect dependency. In this way, by extracting the tokens necessary for generating the control signal for each control signal, it is possible to divide the source code to be divided into source codes for generating individual control signals. By such division, the source code 100 in the example of FIG. 4 is divided into, for example, two source codes as shown in FIG.

FIG. 9 is a diagram illustrating a specific example of the divided source code.
The source codes 100-1 and 100-2 are the source codes 100 that are divided when each variable necessary for generating each control signal has the dependency indicated by the dependency table 143 in the example of FIG. The source code 100-1 is a source code for generating the control signal “Y1”. Due to the dependency shown by the dependency table 143, the functions “POU3” and “POU4” are not necessary for generating the control signal “Y1”. Therefore, the dividing unit 15 generates the source code 100-1 by extracting tokens other than the tokens 1441 and 1442 from the tree structure indicated by the tree information 144. The source code 100-2 is a source code for generating the control signal “Y2”. Due to the dependency shown by the dependency table 143, the functions “POU1” and “POU2” are not necessary for generating the control signal “Y2”. Therefore, the dividing unit 15 generates the source code 100-2 by extracting tokens other than the tokens 1443 and 1444 from the tree structure indicated by the tree information 144.

Returning to the description of FIG.
The dividing unit 15 (dividing unit and execution subject determining unit) divides the source code and then generates a control program (hereinafter, “divided source code”) based on the divided source code (hereinafter, “divided source code”). A device that is the execution subject of the program is determined (step S105). Specifically, the dividing unit 15 determines either the communication device 40 or the server 50 as an execution subject of the divided program by determining whether or not cooperation is necessary for each dependency record in the dependency table 143. The details of the process for determining the execution subject of the divided program are as follows.

  The dividing unit 15 refers to the address information table 141 and the dependency table 143, and acquires the variable name of each dependency record, the address information of the variable indicated by the direct dependency and the indirect dependency. When all the acquired address information is the same, the dividing unit 15 determines that the cooperation with other apparatuses is “unnecessary” in the process of generating the control signal indicated by the variable name. On the other hand, when the acquired address information includes a plurality of pieces of address information, the dividing unit 15 determines that the cooperation with other apparatuses is “necessary” in the process of generating the control signal indicated by the variable name.

  For example, in the dependency table 143 of the example of FIG. 7, the generation of the control signal “Y1” depends on the temporary variable “T1” and the detection signal “X1”. The variable “T1” depends on the detection signal “X1”. In this case, according to the address information table 141 in the example of FIG. 5, both the address information of the detection signal “X1” and the control signal “Y1” is “60”. Therefore, in this case, the dividing unit 15 determines that the necessity of cooperation of the control process for generating the control signal “Y1” is “unnecessary”.

Further, for example, in the dependency table 143 in the example of FIG. 7, the generation of the control signal “Y2” depends on the temporary variable “T2” and the detection signals “X2” and “X3”. The variable “T2” depends on the detection signal “X3”. In this case, according to the address information table 141 in the example of FIG. 5, the address information of the detection signal “X2” is “60”, and the address information of the detection signal “X3” and the control signal “Y2” are both “70”. It is. Therefore, in this case, the dividing unit 15 determines that the necessity of cooperation of the control process for generating the control signal “Y2” is “necessary”.
The dividing unit 15 registers the necessity of cooperation determined in this way in each dependency record.

  The dividing unit 15 determines the execution subject of the divided program based on the necessity of cooperation determined in this way. For example, when the necessity of cooperation is determined as in the dependency table 143 in the example of FIG. 7, the dividing unit 15 determines the execution subject of the divided program “necessary” for cooperation as the server 50. The division program in this case is a control program generated based on the source code 100-2. Further, the dividing unit 15 determines the communication program 40-1 as the execution subject of the divided program whose cooperation is “unnecessary”. The division program in this case is a control program generated based on the source code 100-1. The dividing unit 15 stores information (hereinafter referred to as “corresponding information”) indicating the correspondence between the execution subject of the divided program determined as described above and the divided source code in the storage unit 14. For example, when the source code 100 is divided as in the example of FIG. 9, the dividing unit 15 stores the correspondence information as the correspondence information table 145 as in the example of FIG. By storing such correspondence information, the control program dividing device 1 can automatically execute the control program in parallel by a plurality of devices.

  Subsequently, the divided program output unit 16 determines the file name of each divided source code divided by the dividing unit 15 and outputs each divided source code as a file with the determined file name. For example, the division program output unit 16 combines the program name of the source code of the division source (“POU0” in the example of FIG. 4) and the variable name of the control signal generated by each division source code. Determine the file name of the code. For example, when determining the file name of the source code 100-1, the divided program output unit 16 refers to the dependency table 143 and acquires the variable name “Y1” of the control signal (step S106). The division program output unit 16 combines the source code name “POU0” of the division source and the variable name “Y1” of the control signal, and determines, for example, the file name “POU0_Y1” as the file name of the source code 100-1 ( Step S107). The divided program output unit 16 outputs the source code 100-1 as text with the determined file name “POU0_Y1” (step S108). Similarly, the division program output unit 16 outputs the source code 100-2 as text with a file name “POU0_Y2”.

  When the divided program output unit 16 performs such file output, it is possible to determine from the file name of the divided source code which control signal the divided source code generates.

  The control program dividing apparatus 1 according to the first embodiment configured as described above executes control processing in cooperation with a control process that can be executed by one communication device 40 and a plurality of communication devices 40. The control program is divided into control processes. If the control program is divided in this way, the communication device 40 executes control processing that can be executed by one communication device 40, and the server 50 executes control processing that is executed in cooperation with a plurality of communication devices 40. be able to. With such a division of the control program, the cloud control system can process the control program in parallel while suppressing an increase in the communication amount in the control process.

  Hereinafter, modified examples of the control program dividing device 1 of the first embodiment will be described.

  The functional units included in the control program dividing device 1 may be implemented in any control device that can execute control processing, including the communication device 40 and the server 50. In this case, these functional units may be configured as a precompiler that operates before the control device executes the control program.

  In the above embodiment, the programming language of the control program is assumed to be a programming language compliant with the international standard IEC61131-3. However, the programming language of the control program can be equivalent to the above lexical analysis and syntax analysis. Any other programming language can be used. For example, it may be based on the international standard IEC61499, which is an extension of the above standard, or may be a high-level language such as C, COBOL, or FORTRAN.

  It is unknown how many input / output signals are present in the source code until the reading of the source code is completed. Therefore, the various tables from which the syntax analysis unit 13 outputs the analysis results may be tables that can dynamically add records.

  When dividing the source code, the dividing unit 15 may adjust the output of the token based on the tree information 144 so that the token is displayed at a position corresponding to the dependency indicated by the tree structure. For example, the dividing unit 15 may set an indent corresponding to the tree structure in the divided source code. When the dividing unit 15 outputs the divided source code in which the indent is set, the user can obtain a divided source code with high visibility.

(Second Embodiment)
FIG. 11 is a functional block diagram showing a functional configuration of the control program dividing device 1a of the second embodiment.
The control program dividing device 1a of the second embodiment is different from the control program dividing device 1 of the first embodiment in that it further includes a compiler 17. Each functional unit of the control program dividing apparatus 1a other than the compiler 17 is the same as that of the control program dividing apparatus 1. Therefore, in FIG. 11, the functional units other than the compiler 17 are denoted by the same reference numerals as those in FIG.

  The compiler 17 (compile unit) is a compiler that generates an execution module from source code. The compiler 17 obtains a divided source code file from the divided program output unit 16. The compiler 17 compiles the obtained divided source code and generates a divided program. The compiler 17 may be a compiler such as gcc, g ++, cc, or MinGW, or may be a dedicated compiler for embedded devices.

  Hereinafter, modified examples of the control program dividing device 1a of the second embodiment will be described.

[First Modification]
When the communication device 40 and the server 50 operate on the same OS (Operating System) or CPU, the control program dividing device 1a may include the compiler 17 corresponding to the environment. When operating with an OS or CPU different from 50, or when the OS or CPU differs between the plurality of communication devices 40, the compiler 17 corresponding to the plurality of environments is required. In such a case, the control program dividing device 1a may include a compiler 17 corresponding to a plurality of environments.

FIG. 12 is a functional block diagram illustrating a functional configuration of a control program dividing device 1b according to a modification.
The control program dividing device 1b of the modification is different from the control program dividing device 1a of the second embodiment in that it further includes an environment determining unit 171 and a compiler switching unit 172.
The environment determination unit 171 acquires system information indicating the system environment such as the type of OS and the type of CPU from the communication device 40 and the server 50. The environment determination unit 171 determines the system environment of the communication device 40 or the server 50 that is the execution subject of the control program based on the system information. The environment determination unit 171 notifies the determination result to the compiler switching unit 172.

  The compiler switching unit 172 (compiler control unit) changes the compiler 17 to a compiler corresponding to the system environment in which the control program is executed based on the determination result notified from the environment determination unit 171.

[Second Modification]
In general, a compiler has a compiler option for optimizing an execution module according to the type of OS or the type of CPU. Therefore, the modified control program dividing device 1b may be configured to switch the compiler option according to the type of OS or the type of CPU.

FIG. 13 is a functional block diagram illustrating a functional configuration of a control program dividing device 1c according to a modification.
The modified control program dividing apparatus 1c is different from the modified control program dividing apparatus 1b in that an environment determining unit 171c is provided instead of the environment determining unit 171 and a compiler option switching unit 173 is further provided.
The environment determination unit 171c notifies the compiler switching unit 172 and the compiler option switching unit 173 of the determination result of the system environment.

  The compiler option switching unit 173 (compiler control unit) changes the compiler option of the compiler 17 to a compiler option corresponding to the system environment in which the control program is executed based on the determination result notified from the environment determination unit 171c.

  For example, the compiler option switching unit 173 may be configured to automatically add an option for designating a CPU type or an option not using a floating-point register based on the determination result of the system environment. Further, the compiler option switching unit 173 may add an option for switching the endian according to the CPU type. In addition, the compiler option switching unit 173 adds an option for optimizing the execution module so that the execution speed is given priority to a CPU with low performance and the file size is given priority to a CPU with a small memory cache. May be. Note that the above-described switching of compilers and switching of compiler options are merely examples, and the calibration of the embodiment is not limited to the range shown here. Such switching of compilers and switching of compiler options may be applied to switching of other generally available compilers and compiler options.

  By performing such switching of compilers and switching of compiler options, the control program dividing apparatus 1c can generate control programs corresponding to various architectures of the apparatus that is the main execution body of the control program.

  According to at least one embodiment described above, a lexical analyzer that extracts a token from the source code of the control program, and a syntax analyzer that analyzes the syntax of the extracted token and generates syntax information indicating the meaning of the source code A division unit for generating a plurality of divided source codes for generating individual control signals based on the syntax information and the source code, and execution for determining the execution subject of the control program based on the dependency relationship of the input signals By having the subject determination unit, it is possible to enable parallel processing of control programs while suppressing an increase in communication volume.

  Although several embodiments of the present invention have been described, these embodiments are presented by way of example and are not intended to limit the scope of the invention. These embodiments can be implemented in various other forms, and various omissions, replacements, and changes can be made without departing from the spirit of the invention. These embodiments and their modifications are included in the scope and gist of the invention, and are also included in the invention described in the claims and the equivalents thereof.

DESCRIPTION OF SYMBOLS 1, 1a, 1b, 1c ... Control program division | segmentation apparatus, 10 ... Cloud control system, 11 ... Input part, 12 ... Lexical analysis part, 13 ... Syntax analysis part, 14 ... Memory | storage part, 141 ... Address information table, 142 ... Input Output signal table, 143 ... dependency table, 144 ... tree information, 1441 to 1444 ... token, 145 ... correspondence information table, 15 ... division unit, 16 ... divided program output unit, 17 ... compiler, 171, 171c ... environment discrimination unit , 172 ... Compiler switching unit, 173 ... Compiler option switching unit, 20, 20-1 to 20-3 ... Detection device, 30, 30-1, 30-2 ... Controlled device, 40, 40-1, 40-2 ... communication device, 50 ... server, 60 ... wide area network, 100, 100-1, 100-2 ... source code, 110, 111, 12,113 ... the declaration part, 120 ... command section

Claims (11)

Control for generating a plurality of control signals for controlling the device based on a detection signal including any one of environment information indicating information about an environment in which the device to be controlled is installed and state information indicating the state of the device A lexical analyzer that extracts a token, which is a character string of the smallest unit having meaning in the source code, from the source code of a control program that realizes processing;
Analyzing the syntax of the token extracted by the lexical analyzer, and generating syntax information indicating the meaning of the source code;
A dividing unit that generates a plurality of divided source codes that generate the control signal based on the syntax information generated by the syntax analysis unit and the source code;
An execution subject determination unit that determines an execution subject of the control program based on a dependency of an input signal that becomes an input when the control program generated from the divided source code is executed;
A control program dividing device comprising: The syntax analysis unit generates syntax information including tree information indicating a tree structure of the token and dependency information indicating a dependency relationship between an input signal of the source code and another signal;
The dividing unit generates the divided source code by extracting a token necessary for generating each control signal from the tree information based on the dependency information.
The control program dividing device according to claim 1. The division unit generates the divided source code so that a token included in the divided source code is displayed at a position corresponding to the tree structure when the divided source code is displayed.
The control program dividing device according to claim 2. The execution subject determination unit determines that the device is an execution subject of the divided source code when the dependency of the input signal of the divided source code is a relationship closed to one device, and the input signal of the divided source code If the dependency relationship is related to a plurality of devices, another device that can communicate with the plurality of devices is determined as an execution subject of the divided source code.
The control program dividing device according to any one of claims 1 to 3. Based on the identification information of the control signal generated by the division program and the identification information of the source code before the division, the file name of each division source code is determined, and each division source code is determined by the decided file name. A split program output unit for outputting a file;
The control program dividing device according to any one of claims 1 to 4. A compiling unit that compiles the divided source code and generates an executable control program;
The control program dividing device according to any one of claims 1 to 5. The compiling unit has a plurality of compilers according to the type of the operating system or CPU of the device that is the execution subject of the control program,
A compiler control unit that switches a compiler used by the compiling unit to a compiler corresponding to the operating system or CPU of the device that is the execution body of the control program, based on information about the operating system or CPU of the device that is the execution body of the control program Further comprising
The control program dividing device according to claim 6. The compiler control unit determines the compiler option of the compiler used by the compiling unit based on the information related to the operating system or CPU of the device that is the execution subject of the control program, and the operating system or CPU of the device that is the execution subject of the control program. Switch to the appropriate compiler option,
The control program dividing device according to claim 7. Control for generating a plurality of control signals for controlling the device based on a detection signal including any one of environment information indicating information about an environment in which the device to be controlled is installed and state information indicating the state of the device A lexical analysis step for extracting a token, which is a character string of the smallest unit having meaning in the source code, from the source code of a control program that realizes processing;
Analyzing the syntax of the token extracted in the lexical analysis step and generating syntax information indicating the meaning of the source code;
A dividing step of generating a plurality of divided source codes for generating the control signal based on the syntax information generated in the parsing step and the source code;
An execution subject determination step of determining an execution subject of the control program based on a dependency relationship of an input signal that becomes an input when the control program generated from the divided source code is executed;
A control program dividing method comprising: Control for generating a plurality of control signals for controlling the device based on a detection signal including any one of environment information indicating information about an environment in which the device to be controlled is installed and state information indicating the state of the device A lexical analysis step for extracting a token, which is a character string of the smallest unit having meaning in the source code, from the source code of a control program that realizes processing;
Analyzing the syntax of the token extracted in the lexical analysis step and generating syntax information indicating the meaning of the source code;
A dividing step of generating a plurality of divided source codes for generating the control signal based on the syntax information generated in the parsing step and the source code;
An execution subject determination step of determining an execution subject of the control program based on a dependency relationship of an input signal that becomes an input when the control program generated from the divided source code is executed;
A computer program for causing a computer to execute. Control for generating a plurality of control signals for controlling the device based on a detection signal including any one of environment information indicating information about an environment in which the device to be controlled is installed and state information indicating the state of the device A lexical analysis step for extracting a token, which is a character string of the smallest unit having meaning in the source code, from the source code of a control program that realizes processing;
Analyzing the syntax of the token extracted in the lexical analysis step and generating syntax information indicating the meaning of the source code;
A dividing step of generating a plurality of divided source codes for generating the control signal based on the syntax information generated in the parsing step and the source code;
A method for producing divided source code.

Images