JPH05289858A - Software synthesizing device - Google Patents

Abstract

PURPOSE:To generate a program which can synthesize program parts operated periodically by integrating them into an optimal position, and satisfies a request in respect of both the function and the performance. CONSTITUTION:In the device constituted so that by using providing means 3, 4 for providing parts of an event and an operation by a software(sw) and program(PG) parts operated periodically, necessary parts are obtained from the providing means by analyzing (sw) specifications described in accordance with a state transition model containing a time conception, and also, with regard to the contents of the (sw) specifications, the skeleton of control structure is formed, and moreover, a PG is synthesized by using the skeleton concerned and the parts obtained from the providing means by a synthesizing means 6, this device is constituted so that to the PG parts operated periodically, a period required for its operation and information of an execution time derived by a utilized processing routine are added, and provided with an optimizing means 1 for obtaining an optimal combination for integrating parts for satisfying an operating condition requested by the parts, based on the operation period and information of the execution time with regard to the PG parts to be used, and to the synthesizing means, a function for synthesizing the parts obtained from the providing means by an optimal combination is added.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a software synthesizer for generating software for controlling equipment.

[0002]

2. Description of the Related Art In the field of device control by software, it is difficult to use an operating system (OS) due to hardware restrictions, and therefore the structure of programs varies depending on the creator.

Therefore, there is no consistent support for software development, and the development depends on individual ability. In order to overcome such a situation, the specifications are described by a state transition model that expresses the behavior of the process, and the prepared program parts (event parts of software that represent various events by event and various operations by operation) A software synthesizer for directly interpreting and executing specifications to generate a program is proposed and used by synthesizing the operation parts of the represented software) according to this state transition model.

This software synthesizing apparatus interprets the specifications of given software and extracts program components corresponding to events (actions) and actions (actions) of the specifications from a database and synthesizes them to generate a program. However, periodically operating program components that realize services for operating these program components, such as input / output management and time counting, are appropriately set according to the required operation period. Need to be integrated into a periodic flow.

The incorporation of such program parts is
It has to meet the periodic requirement and consider the balance of the flow as a whole. Therefore, this requires manual labor, but if the specifications become complicated, that is, the number of program parts increases. , The amount of work itself increases, the complexity of optimization work to balance the flow,
A great deal of labor and time are required to perform sufficient optimization.

[0006]

When a software specification is given according to a state transition model, necessary ones are taken out from various program parts prepared in advance, and these are matched with this state transition model. There is a device that synthesizes and generates a program.

On the other hand, program parts that operate periodically,
For example, input / output management, time counting, and the like need to be incorporated in appropriate periodic flows according to the required operation period.

The incorporation of such program parts is
It has to meet the periodic requirements and take into account the balance of the flows as a whole, and thus this is manpower dependent.

Therefore, in the prior art, the number of program components is used to determine which periodic processing flow is to incorporate a program component that operates periodically to realize a service for an event or an action. If there are many,
It was a very complicated task.

Moreover, if the program parts are not properly incorporated, the operation cycle does not meet the requirements and the function cannot be realized, or the respective periodic flows cannot be balanced, the load is concentrated, and the performance is reduced. Will result in an insufficient program.

Therefore, the object of the present invention is to
It is an object of the present invention to realize a software synthesizing device capable of automatically synthesizing program components that operate periodically and incorporating optimum positions, and thus generating a program that satisfies requirements in terms of both function and performance.

[0012]

In order to achieve the above object, the present invention is configured as follows. That is, the software specification includes a concept of time, using a part providing means for providing event parts of software representing various events by event, operation parts of software representing various operations by operation, and program parts that perform cyclic operation. Based on the software specifications described according to the state transition model,
By analyzing this, the necessary parts are obtained from the part providing means, and the skeleton of the control structure is formed with respect to the contents of the software specification, and this skeleton and the parts obtained from the part providing means are used by the program synthesizing means. In a device for synthesizing a program by adding operation cycle information required for the operation and execution time information required for a processing routine in which the program part is used, A combination of built-in parts that satisfy the operating cycle of the part and the operating time required by the processing routine in which the part is used, based on the operating cycle information and the execution time information The optimization means for searching for A structure in which an additional function of program synthesizing more components obtained from said component providing means.

[0013]

In such a configuration, the software component is provided using the software event component that represents various events by event, the software operation component that represents various operations by action, and the cyclically operating program component. Based on the software specification that describes the specification according to the state transition model including the concept of time, this is analyzed to obtain the necessary parts from the part providing means, and the content of the software specification forms the skeleton of the control structure. At the same time, the program synthesizing means synthesizes the program by using this skeleton and the parts obtained from the parts providing means. And add the required execution time information in the processing routine in which the program part is used. According to the operation cycle information and the execution time information, the optimizing means determines, based on the operation cycle information and the execution time information, the operation cycle condition of the part and the operation time condition of the processing routine in which the part is used. Search for a combination of built-in components that meets the requirements. And
The program synthesizing means program-synthesizes the parts obtained from the parts providing means by the combination under the optimum combination condition searched by the optimizing means.

In the present invention, the specifications of the control software are described in a pseudo language based on the state transition model, and the events (actions) and actions (actions) appearing in the specifications are programmed as program parts. It is realized as. The operation cycle information and the execution time information are added to the program parts that operate cyclically. Interpretation and execution of specifications is performed using software specifications and parts. At this time, in order to realize events and actions, parts corresponding to them and program parts (process parts) that periodically provide services are provided. Will be needed.

Since the cycle of the service required for the process component is known in advance, the control software will be synthesized if it is incorporated into the routine of the required periodic operation in the skeleton of the specification execution program. Each cyclic processing flow has a constraint on how long each of them has to finish executing a series of processes, and if it does not satisfy this constraint, it cannot function as control software.

Therefore, in the present invention, the synthesis of the process parts is optimized by searching for a combination of parts arrangements that satisfies the requirements concerning the parts and the constraints of the periodic processing flow.

As shown in FIG. 2, the process components are arranged in the cyclic flow (processing routine) of the program skeleton (skeleton) according to the request of the processing cycle. In that case, it may happen that the size of the incorporated process component is too large to finish the flow in a limited time.

At this time, the process components on the flows that cannot meet the constraints are moved between the flows within a range that satisfies the service cycle request, that is, at a faster cycle that is a divisor of the original cycle. This realizes optimization of program composition. Therefore, according to the present invention, it is possible to realize a software synthesizing apparatus capable of automatically synthesizing and synthesizing cyclically operating program parts at optimal positions, and capable of synthesizing programs satisfying both functional and performance requirements. it can.

[0019]

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS An embodiment of the present invention will be described below with reference to the drawings. In the present invention, the specifications of the control software are described in a pseudo language based on the state transition model. In addition, by implementing the events and actions that appear in the specifications as program parts and preparing them, the specifications of the control software are interpreted, and the necessary program parts are selected and combined to achieve control that meets the specifications. Generate software.

At this time, in order to realize the event or action appearing in the specifications of the control software, it is not enough to select and use a program component corresponding to it, and a program component that periodically provides a service is required. Become. Hereinafter, such a part is referred to as a process part.

Since the cycle of the service required for such a process component is known in advance, the control software can be synthesized by incorporating it into the flow of the required cycle of the skeleton of the specification execution program. Become. However, each cyclic processing flow has a constraint that it must complete a series of processes within what time, and if it does not satisfy this constraint, it cannot function as control software.

Therefore, in the present invention, the synthesis of the process parts is optimized by calculating and finding the combination of the parts arrangements that satisfy the requirements concerning the parts and satisfying the constraint of the periodic processing flow, and rearranging the combination to the optimum arrangement. To do.

FIG. 1 is a block diagram showing the system configuration of the optimum synthesis apparatus of the present invention. In the figure, 1 is an optimization unit, 2 is a software specification, 3 is an event, an action component group, 4 is a process component group, 5 is periodic processing flow information, 6 is a synthesis unit, 7 is a skeleton of a specification execution program, Reference numeral 8 is a specification execution program.

The software specification 2 describes the specifications of the program to be generated in a pseudo language and is prepared by the programmer. The event / action component group 3 is prepared by individually preparing various events and actions as program modules, and is, for example, a module described in a pseudo language, and is stored in a database in a searchable manner.

The process component group 4 is various process components that are program components that periodically provide services.
This is also a module described in a pseudo language and is stored in the database.

The specification execution program skeleton 7 generates a skeleton of a control structure formed by converting a description of a software specification based on a state transition into a procedural program code, or a specification related to control from a software specification. It is configured as a state transition table, and the program code conversion processing using the software specification 2 is separately provided as a skeleton, or a functional means for program code conversion processing is prepared and obtained. Periodic processing flow information 5
Holds information on the required execution time of the periodic processing flow that is the installation destination.

The optimizing unit 1 decodes a given software specification 2 described in a pseudo language, obtains necessary events and actions from the software specification 2, and determines program parts corresponding to the events and actions as event and action parts group 3 The process parts group 4 is searched for a process part that provides a service for realizing the searched part.

Each part cycle request is described in the process part group 4, and the optimizing unit 1 uses the execution time restriction information based on the request information and the execution time restriction information on the cyclic processing flow obtained from the cyclic processing flow information 5. Optimization is performed by arranging the process parts so that the combination satisfies the above conditions. The synthesis unit 6 synthesizes the specification execution program 8 by using the specification execution program skeleton 7 and various parts.

In such a configuration, when the software specification 2 of the control program written in the pseudo language is given to the optimizing unit 1, the optimizing unit 1 decodes the given software specification 2 and the software The required event and action are obtained from the specification 2, and the corresponding program part is searched from the event and action part group 3 and the process part that provides the service for realizing the searched part is searched from the process part group 4. ..

Since each part cycle request is described in the process part group 4, the optimizing unit 1 uses the request time information and the execution time constraint information about the cycle process flow obtained from the cycle process flow information 5. The optimization is performed by arranging the process parts so that the combination satisfies the execution time constraint.

After the optimization is completed, next, in the synthesizing section 6, the specification execution program skeleton 7 and various parts are used.
The specification execution program 8 is synthesized. That is, the synthesis unit 6 incorporates various parts into the skeleton of the specification execution program to generate the program.

FIG. 2 conceptually shows the operation of the optimizing unit 1. Explaining with reference to the figure, the process components retrieved from the process component group 4 are first arranged in each flow according to their respective cycle requests.

Next, in order to eliminate the portion where the flow constraint is not satisfied, the program parts are moved in the direction of faster cycle between the flows, and an arrangement that satisfies the cycle request and the execution time constraint is searched for.

The optimizing unit 1 will be described with reference to the flowchart of FIG.
An example of the optimization processing algorithm in the above is explained, but it is also possible to perform a different processing to obtain another arrangement. (Define an evaluation scale for the configuration of the specification execution unit, and perform optimization in a precise sense. It is also possible to do).

First, all the process parts to be combined in S11 are virtually placed on the flow as requested. If the execution time constraints of all flows are satisfied at this stage (S12), the optimization ends (S13).

If the flow is not satisfied, the flow with the latest cycle is found out from those flows (S1).
4). If the found flow is the fastest in the periodic processing flow of the software synthesizer (S1
5) Further, no matter how the optimization is performed, it is not possible to satisfy the request for the cycle of the process component, and the optimization is terminated (S16). If the found flow is not the fastest flow, one part not yet moved in the flow is found (S17), and the flow moves to the one level faster flow (S18).

If the movement is at a high level, the periodic requirement is always satisfied, so that the suitability is not lost. After the movement, it is confirmed again whether the execution time constraints of all the flows are satisfied, and the same processing is repeated until the end.

As described above, the present invention uses the component providing means for providing the event component of software which represents various events by event, the operating component of software which represents various actions by operation, and the program component which periodically operates, by using software. Based on a software specification that describes the specifications of the software according to a state transition model that includes the concept of time, and obtains the necessary parts from the parts providing means by analyzing the software specification. While the program is formed, the program is synthesized by the program synthesizing means using the skeleton and the parts obtained from the parts providing means. Information and the execution time information required for the processing routine in which the program part is used According to the operation cycle information and the execution time information, the optimizing means determines, based on the operation cycle information and the execution time information, the operation cycle condition of the part and the operation time condition of the processing routine in which the part is used. Search for a combination of built-in components that meets the requirements. And
The program synthesizing means program-synthesizes the parts obtained from the parts providing means by the combination under the optimum combination condition searched by the optimizing means.

In the present invention, the specifications of the control software are described in a pseudo language based on the state transition model, and the events (actions) and actions (actions) appearing in the specifications are programmed as program parts. The operation cycle information and the execution time information are added to the cyclically operating program parts. Interpretation and execution of specifications is performed using software specifications and parts. At this time, in order to realize events and actions, parts corresponding to them and program parts (process parts) that periodically provide services are provided. Will be needed.

Since the process parts know the required service cycle in advance, the control software will be synthesized by incorporating them into the routines of the required cyclic operation in the skeleton of the specification execution program. Each cyclic processing flow has a constraint on how long each of them has to finish executing a series of processes, and if it does not satisfy this constraint, it cannot function as control software.

Therefore, in the present invention, the synthesis of the process parts is optimized by searching for a combination of parts arrangements that satisfies the requirements concerning the parts and the constraints of the periodic processing flow. As described above, each process component is arranged in the cyclic flow (processing routine) of the program skeleton (skeleton) according to the request of the processing cycle.
It may happen that the size of the process components incorporated is too large to finish the flow in a constrained time.

At this time, the process components on the flows that cannot meet the constraints are moved between the flows within a range that satisfies the service cycle request, that is, at a faster cycle that is a divisor of the original cycle. This realizes optimization of program composition.

According to the present invention, at the synthesizing stage in which necessary parts are installed in accordance with the software specifications, an installation position of a program part which operates periodically for servicing an event or action part appearing in the specification of state transition is selected. The purpose is to optimize the program to be synthesized in terms of both function and performance. Specify the operation cycle requirements of the program parts that operate cyclically in advance, and set the cyclic processing flow that is the installation destination. By specifying the execution time of the requirement, the operation cycle of the component is satisfied,
In addition, it is possible to automatically search for a combination of embedded parts that satisfies the operation time of the cyclic processing flow. Therefore, according to the present invention, a program part that operates periodically is automatically installed in an optimum position and synthesized. Is possible, functional side,
It is possible to realize a software synthesizing device capable of synthesizing a program that satisfies requirements in terms of performance. The present invention has been described above,
Moreover, the present invention is not limited to the embodiments shown in the drawings, and can be appropriately modified and carried out within the scope of the invention.

[0044]

As described in detail above, according to the present invention,
It is possible to automatically synthesize a control program that satisfies the required functions and is also optimal in terms of performance, which greatly improves the productivity and reliability of control software development.

[Brief description of drawings]

FIG. 1 is a block diagram showing an embodiment of the present invention.

[Figure 2] Process parts are program skeletons (skeleton)
FIG. 6 is a diagram for explaining a state of being arranged in the periodic flow (processing routine) of FIG.

FIG. 3 is a flowchart illustrating an algorithm example of optimization processing.

[Explanation of symbols]

1 ... Optimizer, 2 ... Software specification, 3 ... Event,
Action component group, 4 ... Process component group, 5 ... Periodic processing flow information, 6 ... Synthesizing unit, 7 ... Specification execution program skeleton, 8 ... Specification execution program.

Claims (1)

[Claims] 1. A software specification part for providing event parts of software representing various events by event, operation parts of software representing various operations by operation, and program parts that perform cyclic operation, and software specifications are set according to time. Based on the software specification described according to the state transition model including the concept, this is analyzed to obtain the necessary parts from the parts providing means, and the contents of the software specifications form the skeleton of the control structure and the program. In a device for synthesizing a program using the skeleton by the synthesizing unit and the component obtained from the component providing unit, the action period information required for the action and the program component are used for the periodically operating program component. In addition to adding the required execution time information in the processing routine, The operation will be program parts,
Based on the operation cycle information and the execution time information, there is provided an optimizing means for searching for a combination of parts that satisfies the operation cycle of the part and the operation time required for the processing routine in which the part is used. A software synthesizing apparatus characterized in that the synthesizing means has a function of synthesizing the program obtained from the component providing means by a program under combination under the optimum combination condition.