JP4431126B2 - Timing chart creation support system, timing chart creation support method, and timing chart creation support program - Google Patents

Description

  The present invention relates to a timing chart creation support system, a timing chart creation support method, and a timing chart creation support program executed by a computer that support creation of a timing chart representing a period in which a plurality of tasks secure a common resource. .

Conventionally, a system for creating and displaying a timing chart based on input information has been used. For example, when creating a timing chart for signal input / output in an electric circuit, such a system inputs timing information such as rising and falling of a signal in accordance with a user operation instruction. A timing chart satisfying the above information is created and displayed (see, for example, Patent Documents 1 to 3).
US Pat. No. 5,381,524 US Pat. No. 5,576,979 US Pat. No. 5,790,435

  By the way, when multiple tasks are executed using a common resource, resource allocation by multiple tasks is prevented from overlapping in time (resource allocation conflict), and resources are allocated appropriately. Therefore, it is necessary to create a timing chart from that viewpoint. However, in a conventional system, a timing chart is simply created and displayed from input information, and a timing chart is created that prevents resource reservation contention, such as difficulty in grasping resource reservation contention in the timing chart. There is not enough support at the time.

  An object of the present invention is to solve the above-described problems, and provide a timing chart creation support system, a timing chart creation support method, and a timing chart creation support program that prevent competition for securing resources in a plurality of task executions. Is.

  The present invention is a timing chart creation support system that supports creation of a timing chart that represents a period in which a plurality of tasks secure a common resource, and for each of the plurality of tasks, information that represents a resource securing period of the task Resource reservation information acquisition means for acquiring resource reservation information including information indicating a resource reservation period of the task, and period type information indicating whether the resource reservation period can move in the resource reservation period; , A contention period detecting means for detecting a resource securing period that overlaps in time for two or more tasks based on resource securing information obtained for each of the plurality of tasks, and a resource acquired for each of the plurality of tasks Reservation information and time for two or more detected tasks Based on the overlapping resource securing period, it is distinguished whether each of the plurality of tasks secures the resource whether it can move or not, and the overlapping resource securing period A timing chart creating means for creating a timing chart representing the timing, display control means for displaying the timing chart on a display unit, and a period during which the task can move on the timing chart displayed on the display unit A timing chart for changing the timing chart in the resource securing period after the movement when the operation unit performs an operation for moving the resource securing period distinguished as: within the resource securing period And changing means

  According to this configuration, when resource reservation information is satisfied and resource reservation by a plurality of tasks competes, a timing chart specifying the task is created and displayed. For this reason, the user can easily grasp which task the resource reservation is competing with, and which task the resource reservation period is moved to prevent the resource reservation conflict. . Furthermore, the resource reservation period that can be moved is distinguished and displayed, and the resource reservation period can be changed to a moved timing chart according to a user operation. Here, a task means a unit of various processes such as a process and a unit in addition to a processing unit in software.

  Further, in the timing chart creation support system of the present invention, the timing chart creation means creates a timing chart in which the display forms of the resource securing periods that overlap in time and the resource securing periods that do not overlap in time differ. You may do it.

  According to this configuration, it is possible to create and display a timing chart reflecting transmission / reception of messages between tasks.

  In addition, the timing chart creation support system of the present invention has message communication information acquisition means for acquiring message communication information representing communication of a message that can be sent and received between the tasks and can be a trigger for securing a resource by the task of the reception destination, The timing chart creation means may create a timing chart that indicates transmission / reception of the message based on the message communication information.

  According to this configuration, the user can grasp transmission / reception of messages between tasks.

  In addition, the timing chart creation support system of the present invention determines whether a message received by a predetermined task triggers the start of resource reservation by the task based on the resource reservation information and the message communication information. Message determination means for determining whether or not the timing chart creation means identifies a message that is determined not to trigger the start of resource reservation by the task.

  According to this configuration, when the task that has received the message has already secured the resource, and the message does not trigger the start of resource securing by the task, the user can recognize that fact.

  Further, the timing chart creation support system of the present invention has communication delay information acquisition means for acquiring communication delay information of the message between the tasks, and the timing chart creation means includes information on the communication delay of the message. Based on this, a timing chart representing the message communication delay may be created.

  According to this structure, the user can grasp | ascertain the communication delay of the message between tasks.

  In the timing chart creation support system according to the present invention, the contention period detection unit specifies a period in which resources may be secured by the task based on the communication delay information of the message. You may make it detect the resource securing period which overlaps in time about two or more tasks based on the period when a resource may be secured.

  According to this configuration, it is possible to more appropriately perform resource reservation competition determination by taking into account message communication delays, and it is possible to reflect the result of the competition determination in the timing chart. .

  Further, in the timing chart creation support system of the present invention, the timing chart creation means delays the start of resource reservation by the task of the receiving destination by the communication delay time of the message based on the communication delay information of the message. A timing chart may be created.

  According to this configuration, the user can grasp how much the start timing of resource reservation by a task varies due to a message communication delay.

  The timing chart creation support system according to the present invention includes a timing chart in which the timing chart creation means delays the start of resource reservation by the destination task by a minimum communication delay time of the message, and a resource by the destination task. A timing chart in which the start of securing is delayed by the maximum communication delay time of the message may be created.

  According to this configuration, the user compares the timing chart in which the start of resource reservation is delayed by the minimum time of the message communication delay with the timing chart in which the start of resource reservation is delayed by the maximum time of the message communication delay. Thus, an appropriate timing chart can be selected.

  Further, the timing chart creation support system of the present invention determines whether or not the task can secure a resource within the resource securing period of the task based on the resource securing information and the communication delay information of the message. The timing chart creating means may create a timing chart representing the task determined to be unable to secure the resource while identifying the task.

  According to this configuration, when a task in which resources cannot be secured occurs due to message communication delay, the user can recognize that fact.

  Also, the timing chart creation support system of the present invention, when the timing chart creation means sends a message simultaneously to a plurality of tasks from a predetermined task, starts securing resources by a task at one receiving destination. You may make it produce the timing chart delayed only the resource securing period of the task of the other recipient.

  The timing chart creation support system according to the present invention further includes resource securing interval information obtaining means for obtaining resource securing interval information indicating the resource securing interval of the task, wherein the timing chart creating means includes the resource securing interval information. Based on this, a timing chart representing the task resource securing interval may be created.

  According to this configuration, the user can grasp the task resource securing interval.

  Further, the timing chart creation support system of the present invention has resource securing interval determination means for determining whether the task satisfies the resource securing interval based on the resource securing interval information, and the timing chart creating means In addition, a timing chart representing the task determined to not satisfy the resource securing interval may be created.

  According to this configuration, the user can grasp a task that does not satisfy the resource securing interval.

  In addition, the timing chart creation support system of the present invention has a coincidence timing detection unit that detects a timing at which the end of the resource securing period of the plurality of tasks coincides, and the timing chart creation unit includes the detected plurality of detected timings. You may make it produce the timing chart to the timing to which the termination | terminus of the resource securing period of a task corresponds.

  According to this configuration, if there is a timing at which the end points of the resource securing periods of a plurality of tasks coincide, the timing chart similar to the previous stage can be applied thereafter, so the timing chart up to the timing is created. By doing so, the creation processing can be suppressed to a necessary and sufficient processing amount.

  Further, the timing chart creation support system of the present invention includes a grouping information acquisition unit that acquires grouping information when the plurality of tasks are divided into groups, and an execution period of the task for each of the plurality of tasks. Whether or not execution of tasks belonging to the group competes for each group based on the execution period information acquisition means for acquiring the execution period information representing the grouping information and the execution period information. The execution conflict determination means for determining and the timing chart creation means may create a timing chart that indicates the task determined to compete with the execution.

  According to this configuration, the user can grasp the competition of execution of tasks in the group.

  Further, in the timing chart creation support system of the present invention, the timing chart creation means is out of the task execution period within the start or end timing of the resource securing period based on the execution period information. You may make it produce the timing chart showing specifying a thing.

  According to this configuration, the user can grasp the start or end timing of the resource securing period that is outside the task execution period and cannot be grasped by the task.

  Further, the present invention provides a timing chart creation support method for supporting creation of a timing chart representing a period in which a plurality of tasks secure a common resource, and for each of the plurality of tasks, a resource securing period of the task is set. Resource reservation information acquisition for acquiring resource reservation information including information indicating, information indicating the resource reservation period of the task, and period type information indicating whether the resource reservation period can move in the resource reservation period Acquired for each of the plurality of tasks, a contention period detecting step for detecting a resource reservation period overlapping in time for two or more tasks, based on the resource reservation information acquired for each of the plurality of tasks, Resource reservation information and two or more detected tasks Based on a resource securing period that overlaps in time, whether or not each of the plurality of tasks secures the resource is a period that can be moved and overlaps in time A timing chart creating step for creating a timing chart representing the resource securing period, a display control step for displaying the timing chart on a display unit, and the movement of the task on the timing chart displayed on the display unit The timing chart is changed in the resource securing period after the movement when the operation unit is operated to move the resource securing period distinguished as the period in which the task can be performed within the resource securing period. To change the timing chart Characterized in that it.

  The present invention is also a timing chart creation support program executed by a computer that supports creation of a timing chart representing a period during which a plurality of tasks secure a common resource, and for each of the plurality of tasks, Resource reservation information including information indicating the resource reservation period of the task, information indicating the resource reservation period of the task, and period type information indicating whether the resource reservation period can move in the resource reservation period A resource reservation information acquisition step to acquire, a contention period detection step of detecting a resource reservation period overlapping in time for two or more tasks based on the resource reservation information acquired for each of the plurality of tasks, Resource allocation information acquired for each task and Based on the resource securing periods that overlap in time for the two or more detected tasks, it is distinguished whether each of the plurality of tasks secures the resource is a period that can be moved. And a timing chart creating step for creating a timing chart that represents the resource securing periods that overlap in time, a display control step for displaying the timing chart on a display unit, and a timing chart displayed on the display unit When the operation unit is operated to move the resource securing period, which is distinguished as the period during which the task can be moved, within the resource securing period, the resource securing after the task is moved Change the timing chart in the period And having a timing chart changing step.

  According to the present invention, it is possible to provide appropriate support to the user when creating a timing chart that prevents resource reservation competition by reflecting various information related to resource reservation competition by tasks in the timing chart. It becomes.

  Embodiments of the present invention will be specifically described with reference to the drawings.

  FIG. 1 is a diagram illustrating a hardware configuration of a timing chart creation support system. A timing chart creation support system 100 shown in FIG. 1 is a personal computer (PC), and includes a CPU 101, a memory 102, a hard disk drive (HDD) 103, an operation unit 105, and a monitor 106 connected to an internal bus 107.

  FIG. 2 is a functional block diagram of the timing chart creation support system 100. The timing chart creation support system 100 shown in the figure supports creation of a timing chart representing a period during which a plurality of tasks secure a common resource, and includes a resource reservation information acquisition unit, a message communication information acquisition unit, a communication delay Information acquisition unit 52 as information acquisition unit, resource securing interval information acquisition unit and grouping information acquisition unit, timing chart generation unit 54 as timing chart generation unit and timing chart change unit, competition period detection unit and execution competition determination Contention determination unit 56 as a means, message determination unit 58 as a message determination unit, reservation availability determination unit 60 as a resource reservation availability determination unit, reservation interval determination unit 62 as a resource reservation interval determination unit, and coincidence timing Match timing as detection means A detecting section 64, constituted by a display control unit 66 as a display control means. In the hardware configuration of FIG. 1, each of these functional blocks is realized by the CPU 101 executing a predetermined program read from the HDD 103 and stored in the memory 102 in response to an operation of the operation unit 105.

  Hereinafter, the operation of the timing chart creation support system 100 will be described. FIG. 3 is a flowchart showing a first operation of the timing chart creation support system 100.

  The information acquisition unit 52 acquires resource reservation information (S101). For example, when the user operates the operation unit 105 to perform an operation for inputting resource reservation information, the information acquisition unit 52 generates resource reservation information corresponding to the input operation.

  FIG. 4 is a diagram illustrating an example of resource reservation information. The resource reservation information shown in FIG. 4 includes, for each task, a period for securing a resource in the task (resource reservation period: t2), a period for securing a resource in one resource reservation period (resource reservation periods: t3, t4). And the type indicating whether or not the resource securing period of the task is movable in the resource securing cycle. Among these, the type is Hard when the resource securing period is immovable, and is Soft when it is movable.

  Again, referring back to FIG. The information acquisition unit 52 sends the acquired resource reservation information to the timing chart creation unit 54. The timing chart creating unit 54 creates chart data based on the resource securing information (S102).

  The chart data is information necessary for creating a timing chart image. FIG. 5 is a diagram illustrating an example of the chart data. The chart data shown in FIG. 5 includes, for each task, the resource reservation period and type of the task, the start and end timings of the resource reservation period in each resource reservation period, and the display color of the area of the resource reservation period. The resource reservation period and type can be obtained directly from the resource reservation information. In the initial state, a predetermined color is set as the color of the display area in the resource securing period. Furthermore, in the initial state, the start timing of the resource reservation period coincides with the start timing of the resource reservation period, and the end timing of the resource reservation period is the timing after the elapse of the resource reservation period in the resource reservation information from the start timing. Is set.

  Again, referring back to FIG. The timing chart creation unit 54 creates a timing chart image based on the created chart data (S103), and the display control unit 66 causes the monitor 106 to display the created timing chart image (S104).

FIG. 6 is a diagram illustrating a first example of a timing chart image. The timing chart image shown in FIG. 6 is created and displayed based on initial chart data. The timing chart corresponding to task 1 includes resource reservation period regions 11-1 to 11-3 (hereinafter collectively referred to as “resource reservation period region 11” as appropriate) and resource reservation period regions 12-1 to 12-1. 12-3 (hereinafter collectively referred to as “resource securing period region 12” as appropriate). The timing chart corresponding to the task 2 includes resource reservation period areas 13-1 to 13-4 (hereinafter collectively referred to as “resource reservation period area 13” as appropriate) and resource reservation period area 14−. 1 to 14-4 (hereinafter collectively referred to as “resource securing period region 14” as appropriate). In addition, the timing chart corresponding to the task 3 includes resource reservation period regions 15-1 to 15-5 (hereinafter collectively referred to as “resource reservation period region 15” as appropriate) and resource reservation period region 16−. 1 to 16-10 (hereinafter collectively referred to as “resource securing period region 16” as appropriate). The length of the resource securing periodic regions 11, 13 and 15 is proportional to the time length of the resource securing period, the length of the resource securing periods region 12, 14 and 16 is proportional to the time length of the resource securing period. Further, the resource securing period area 12 has a rectangular shape corresponding to the type Hard, and the resource securing period areas 14 and 16 have an elliptical shape or a shape corresponding to the type Soft. It has a circular shape.

  Again, referring back to FIG. The contention determination unit 56 determines whether or not resource reservation by a plurality of tasks competes (S105). Specifically, the competition determination unit 56 obtains chart data created by the timing chart creation unit 54 based on the resource securing information. Furthermore, the contention determination unit 56 determines that resource reservation is competing when resource reservation periods in a plurality of tasks based on this chart data overlap in time.

  When resource securing by a plurality of tasks is competing, the contention determination unit 56 changes the display color of the resource securing period area of the task in which the contention occurs in the chart data, and sends it to the timing chart creating unit 54 . Based on the acquired chart data, the timing chart creation unit 54 recreates a timing chart image in which the display color of the resource securing period area of the task in which resource securing competition has occurred, and the display control unit 66 A process of displaying the re-created timing chart image on the monitor 106 is performed (S106). In addition to changing the display color of the resource reservation period area for tasks that have resource reservation conflicts, there is a pop-up image to notify that there is a resource reservation period for tasks that have resource reservation conflicts, etc. It may be included in the timing chart image.

FIG. 7 is a diagram illustrating a second example of the timing chart image. The timing chart image shown in FIG. 7 is created and displayed based on chart data obtained by changing the display color of the resource securing period area of the task in which resource securing competition occurs. In the timing chart shown in FIG. 6, the resource securing period region 12-1 in task 1, the resource securing period region 14-1 in task 2, and the resource securing period regions 16-1 and 16-2 in task 3 overlap in time. ing. For this reason, in the timing chart image shown in FIG. 7, the display color of these resource securing period areas is changed (in FIG. 7, it is changed to a slanted line). In the timing chart image shown in FIG. 7 , the resource securing period area 14-2 in task 2 and the resource securing period area 16-4 in task 3 overlap in time, and the resource securing period area 12- in task 1 2 and the resource securing period area 16-5 in task 3 overlap in time, and the resource securing period area 12-3 in task 1 and the resource securing period areas 16-7 and 16-8 in task 3 are in time. The resource securing period area 12-3 in task 1 and the resource securing period area 14-4 in task 2 overlap in time. For this reason, in the timing chart image shown in FIG. 7, the display color of these resource securing period areas is changed.

Again, referring back to FIG. After the display color of the resource securing periods region tasks resource reservation conflict has occurred has changed, then, the timing chart creation unit 54 determines whether the acquired change information of the resource securing period (S107). Specifically, the user operates the operation unit 105 (click operation, drag operation, etc.) while the timing chart image shown in FIG. Can be moved. The information acquisition unit 52 acquires the operation information as resource securing period change information and sends it to the timing chart creation unit 54.

  When the resource securing period change information is acquired, the timing chart creation unit 54 recreates the chart data in which the resource securing period is changed based on the resource securing period change information (S102). Specifically, the timing chart creating unit 54 specifies the start timing of the resource securing period based on the resource securing period change information, and the timing chart creating unit 54 determines the start timing of the resource securing period in the chart data, Change to the specified start timing. Furthermore, the timing chart creation unit 54 changes the end timing of the resource securing period in the chart data to a timing after elapse of the difference between the start timing before the change and the start timing after the change.

  Further, the timing chart creation unit 54 recreates a timing chart image based on the recreated chart data (S103), and the display control unit 66 causes the monitor 106 to display the recreated timing chart image. Processing is performed (S104). After that, it is determined whether or not resource reservation by a plurality of tasks competes (S105), the display color of the resource reservation period area of the task in which resource reservation conflict occurs (S106), and the resource reservation period The operation of determining whether or not change information has been acquired (S107) is repeated.

  8 to 14 are diagrams illustrating examples of timing chart images when the resource securing period is changed by a user operation. First, in the timing chart image shown in FIG. 7, when the resource securing period areas 16-1 and 16-2 in the task 3 move as shown in FIG. 8, chart data corresponding to the movement is created. The resource reservation periods corresponding to the resource reservation period areas 16-1 and 16-2 after movement do not overlap in time with the resource reservation periods corresponding to the resource reservation period areas in other tasks. Accordingly, the contention determination unit 56 specifies the resource reservation period corresponding to the resource reservation period regions 16-1 and 16-2 as a period in which resource reservation is not competing. For this reason, as shown in FIG. 8, the timing chart image in which the display colors of the resource securing period regions 16-1 and 16-2 after the movement are returned to the default colors is recreated and displayed.

  Next, in the timing chart image shown in FIG. 8, when the resource securing period area 14-1 in the task 2 moves as shown in FIG. 9, chart data corresponding to the movement is created. The resource reservation period corresponding to the resource reservation period area 14-1 after the movement overlaps in time with the resource reservation period corresponding to the resource reservation period area 16-3 in the task 3, while the resource reservation period area 14-1 As a result of the movement, the resource reservation period corresponding to the resource reservation period area 12-1 in task 1 does not overlap in time with the resource reservation period area in other tasks. Accordingly, the contention determination unit 56 specifies the resource reservation period corresponding to the resource reservation period area 12-1 as a period during which resource reservation is not competing, and secures the resource reservation corresponding to the resource reservation period areas 14-1 and 16-3. The period is specified as a period in which resource reservation is competing. Therefore, as shown in FIG. 9, the timing chart in which the display color of the resource securing period area 12-1 is returned to the initially set color and the display color of the resource securing period areas 14-1 and 16-3 is changed. The image is recreated and displayed.

  Next, in the timing chart image shown in FIG. 9, when the resource securing period areas 16-3 and 16-4 in the task 3 move as shown in FIG. 10, chart data corresponding to the movement is created. The resource reservation period corresponding to the resource reservation period area 16-3 after movement overlaps in time with the resource reservation period corresponding to the resource reservation period area 14-2 in task 2, while the resource reservation period area after movement. The resource securing period corresponding to 16-4 does not overlap in time with the resource securing period corresponding to the resource securing period region in another task. Accordingly, the contention determination unit 56 identifies the resource reservation period corresponding to the resource reservation period area 16-3 as the period during which resource reservation is competing, and sets the resource reservation period corresponding to the resource reservation period area 16-4 to the resource reservation. Will be identified as a non-competing period. For this reason, as shown in FIG. 10, the display color of the resource reservation period area 14-3 after movement is changed, and the display color of the resource reservation period area 16-4 after movement is returned to the initially set color. The chart image is recreated and displayed.

  Next, in the timing chart image shown in FIG. 10, when the resource securing period area 14-2 in the task 2 moves as shown in FIG. 11, chart data corresponding to the movement is created. The resource securing period corresponding to the resource securing period area 14-2 after the movement overlaps with the resource securing period corresponding to the resource securing period area 16-6 in the task 3 in time. Therefore, the contention determination unit 56 specifies the resource reservation period corresponding to the resource reservation period region 14-2 as a period in which resource reservation is competing. For this reason, as shown in FIG. 11, the timing chart image in which the display color of the resource securing period area 14-2 after movement is changed is recreated and displayed.

  Next, in the timing chart image shown in FIG. 11, when the resource securing period regions 16-5 and 16-6 in the task 3 move as shown in FIG. 12, chart data corresponding to the movement is created. The resource reservation periods corresponding to the resource reservation period areas 16-5 and 16-6 after the movement do not overlap in time with the resource reservation periods corresponding to the resource reservation period areas in other tasks. Due to the movement of 16-5 and 16-6, the resource reservation period corresponding to the resource reservation period area 12-2 in task 1 and the resource reservation period area 14-2 in task 2 is also temporally different from the resource reservation period area in other tasks. There is no duplication. Accordingly, the contention determination unit 56 identifies the resource reservation periods corresponding to the resource reservation period regions 16-5, 16-6, 12-2, and 14-2 as periods in which resource reservation is not competing. For this reason, as shown in FIG. 12, the timing chart image in which the display colors of the resource securing period areas 16-5, 16-6, 12-2 and 14-2 after the movement are returned to the default colors is recreated. And displayed.

  Next, in the timing chart image shown in FIG. 12, when the resource securing period areas 16-7 and 16-8 in the task 3 move as shown in FIG. 13, chart data corresponding to the movement is created. The resource reservation periods corresponding to the resource reservation period areas 16-7 and 16-8 after the movement do not overlap in time with the resource reservation periods corresponding to the resource reservation period areas in other tasks. Therefore, the contention determination unit 56 identifies the resource reservation period corresponding to the resource reservation period regions 16-7 and 16-8 as a period in which resource reservation is not competing. For this reason, as shown in FIG. 13, the timing chart image in which the display colors of the resource securing period areas 16-7 and 16-8 after the movement are returned to the default colors is recreated and displayed.

  Next, in the timing chart image shown in FIG. 13, when the resource securing period area 14-4 in the task 2 moves as shown in FIG. 14, chart data corresponding to the movement is created. The resource reservation period corresponding to the resource reservation period area 14-4 after the movement does not overlap in time with the resource reservation period corresponding to the resource reservation period area in another task. Due to the movement, the resource securing period corresponding to the resource securing period region 12-3 in task 1 does not overlap in time with the resource securing period corresponding to the resource securing period region in other tasks. Therefore, the contention determination unit 56 identifies the resource reservation period corresponding to the resource reservation period regions 14-4 and 12-3 as a period in which resource reservation is not competing. For this reason, as shown in FIG. 14, the timing chart image in which the display color of the resource securing period area 14-4 after movement and the display color of the resource securing period area 12-3 are returned to the default colors is recreated. And displayed.

  Again, referring back to FIG. When it is determined in S107 that the resource securing period change information has not been acquired, or when it is determined in S105 that there is no resource securing conflict, the timing chart creation unit 54 uses the operation information of the operation unit 105 by the user as information. Based on this, it is determined whether or not an end instruction has been issued (S108). When an end instruction is given, a series of operations are ended. On the other hand, when the end instruction is not given, the operations after the acquisition of the resource securing information (S101) are repeated.

  As described above, the timing chart creation support system 100 creates a timing chart corresponding to the resource securing information, and when resource securing by a plurality of tasks competes, the timing for specifying and representing the resource securing period of the task Create and display charts. For this reason, the user can easily know which task is competing for resource reservation, and which task can be prevented from changing if the resource reservation period is changed. In addition, when the resource securing period is changed by a user operation, the timing chart creation support system 100 creates a timing chart according to the change. For this reason, when the user requests to change the task resource securing period, it is possible to create and display a timing chart in which the resource securing period is changed according to the request, and finally, as shown in FIG. It is possible to support creation of a timing chart that is planned so that resource reservation by a plurality of tasks does not compete with each other.

FIG. 15 is a flowchart showing a second operation of the timing chart creation support system 100. Timing chart creation unit 54 is received between tasks, determines whether the acquired message communication information that represents the communication of messages that may be triggered initiation of the resource securing by destination task (S201). For example, the user displays a message line connecting the end of the resource reservation period area in one task and the start edge of the resource reservation period area in another task while the timing chart image is displayed by the operation unit 105. Describe operations can be performed. Alternatively, the user can perform an operation of inputting a message transmission / reception order, such as a message is first sent from task 1 to task 2 and then a message is sent from task 2 to task 3 by operation unit 105. . The information acquisition unit 52 acquires information on these operations as message communication information and sends it to the timing chart creation unit 54.

  When the message communication information is acquired, the timing chart creating unit 54 recreates the chart data representing the message transmission / reception based on the message communication information (S202). Specifically, based on the message communication information, the timing chart creation unit 54 specifies a resource securing period in a task that is a message transmission source and a resource securing period in a task that is a reception destination. Further, as shown in FIG. 16, the timing chart creation unit 54, during the resource reservation period in the task that is the message transmission source, in the resource reservation period in the chart data, The identification information of the resource securing period in the task that is the source of the message is added to the resource securing period in the task that is the message receiving destination.

  Next, the timing chart creation unit 54 creates a timing chart image including a message line based on the chart data recreated based on the message communication information (S203), and the display control unit 66 displays the message line. Processing for displaying the included timing chart image on the monitor 106 is performed (S204).

  FIG. 17 is a diagram illustrating an example of a timing chart image including a message line. The timing chart image shown in FIG. 17 includes message lines 17-1 to 17-9 (hereinafter collectively referred to as “message line 17” as appropriate). For example, when the resource reservation period corresponding to the resource reservation period area 12-1 is completed in task 1, the message line 17-1 sends a message from task 1 to task 3. This indicates that the resource securing period corresponding to 16-1 and 16-2 is started, and the start end of the arrow is the message transmission timing in task 1, and the end is the message reception timing in task 3. When the user performs an operation for moving the resource reservation period area, a message line 17 that represents a message of a reception timing that coincides with the start timing of the resource reservation period corresponding to the resource reservation period area, along with the movement, It is changed in conjunction to maintain that match.

  As described above, when a message is set between tasks by a user's operation, the timing chart creation support system 100 creates a timing chart specifying transmission / reception of the message, and transmits / receives a message between tasks. The reflected timing chart can be created and displayed, and the user can grasp the transmission and reception of messages between tasks.

  In order to prevent the message line 17 and the surrounding lines of the resource reservation period areas 11, 13, and 15 from overlapping and making it difficult to visually recognize the resource reservation period, the timing chart creation unit 54 responds to the user's operation instruction. As shown in the timing chart image shown in FIG. 18, the enclosing lines of the resource securing periodic areas 11, 13, and 15 may be thickened.

  Further, the timing chart creation unit 54 may change the start timing for each timing chart of each task, as in the timing chart image shown in FIG. 19, in accordance with a user operation instruction. In this case, the timing chart creation unit 54 adds a time difference between the initial start timing of the timing chart and the changed start timing to the chart data, and delays the start by the added time difference based on the chart data. Create a timing chart image.

  Further, the timing chart creation unit 54 sequentially sends messages from the resource securing period area in the short resource securing period to the resource securing period area in the long resource securing period, as in the timing chart image shown in FIG. You may make it produce the timing chart image which extended the line 17. FIG. In this case, the timing chart creation unit 54 recognizes the time length of the resource securing period based on the resource securing period for each task in the chart data, determines the message transmission / reception order based on the time length, and further Based on the transmission / reception order, chart data representing the transmission / reception of the message is created by the same operation as in S202. Thereafter, the timing chart creation unit 54 creates a timing chart image based on the created chart data.

  Note that when the message transmission / reception order is determined in this way, the resource is already secured within the resource securing period at the reception timing in the message receiving task, in other words, the resource securing period has elapsed. For some reason, the message may not trigger the start of resource reservation. The message determination unit 58 determines whether or not the message triggers the start of resource reservation based on the chart data recreated by the timing chart creation unit 54, and the determination result is used as the timing chart creation unit. Send to 54. Based on the determination result, the timing chart creation unit 54 creates a timing chart image that highlights the reception timing in the task that is the destination of the message when the message does not trigger the start of resource reservation.

  For example, in FIG. 20, after the resource reservation period corresponding to the resource reservation period area 12-3 has elapsed in the resource reservation period corresponding to the resource reservation period area 11-3 in task 1, However, this message does not trigger the start of resource reservation because the resource reservation period has already passed. For this reason, the reception timing emphasis display 18 is included in the timing chart image.

  Further, the timing chart creation unit 54 may create a timing chart image in consideration of communication delay in message transmission / reception. FIG. 21 is a diagram illustrating an example of resource reservation information including communication delay information. In FIG. 21, the minimum communication delay and the maximum communication delay in the transmission and reception of messages between the tasks are included.

  For example, when the user operates the operation unit 105 to input communication delay information, the information acquisition unit 52 creates resource reservation information including communication delay information according to the input operation, and performs timing. The data is sent to the chart creation unit 54. When acquiring the communication delay information in the resource reservation information, the timing chart creating unit 54 adds the minimum communication delay and the maximum communication delay to the chart data, and further, based on the chart data, the minimum communication delay and the maximum communication delay. A timing chart image including a message line representing is generated.

  FIG. 22 is a diagram illustrating a first example of a timing chart image in consideration of communication delay. The timing chart image shown in FIG. 22 includes message lines 19-1 to 19-3 representing the minimum communication delay and the maximum communication delay (hereinafter collectively referred to as “message line 19” as appropriate). For example, the message line 19-1 indicates that a message is sent from the task 3 to the task 2 when the resource securing period corresponding to the resource securing period regions 16-1 and 16-2 is ended in the task 3. The start of two arrows is the message transmission timing in task 3, and the message reception timing in task 2 when the end is the minimum communication delay and the maximum communication delay.

  In this manner, a timing chart reflecting the message communication delay between tasks can be created and displayed, and the user can grasp the state of the communication delay.

  By the way, when communication delay is not considered, resource reservation may compete by considering communication delay even if resource reservation by a plurality of tasks does not compete. When the contention determination unit 56 determines the resource reservation contention in consideration of the communication delay, there is a possibility that the resource is secured in the task of the message reception destination based on the chart data created by the timing chart creation unit 54 Identify a certain period of time. Specifically, the contention determination unit 56 does not consider the communication delay from the timing after the minimum communication delay elapses from the start timing of the resource securing period when the communication delay is not considered in the message reception destination task. The period from the end timing of the resource securing period to the timing after the lapse of the maximum communication delay is specified as the period in which resources may be secured in the task that receives the message.

  Then, the contention determination unit 56 determines whether the period in which the resource may be secured in the task that is the message reception destination is the same as the period in which the resource in the other task may be secured or the resource securing period. If there is an overlap, it is determined that resource reservation for multiple tasks is competing.

  When resource securing by a plurality of tasks is competing, the contention determination unit 56 changes the display color of the resource securing period area of the task in which the contention occurs in the chart data, and sends it to the timing chart creating unit 54 . Based on the acquired chart data, the timing chart creation unit 54 creates a timing chart image in which the display color of the resource securing period area of the task in which contention occurs is changed. Note that the timing chart image is a pop-up image for notifying that there is a resource reservation period for the task in which there is a conflict as well as changing the display color of the resource reservation period area of the task in which the resource reservation conflict has occurred May be included.

  In addition, the timing chart creation unit 54 can create a timing chart image in which the resource securing period is changed according to the maximum communication delay of the message. In this case, when the timing chart creation unit 54 acquires the communication delay information, the timing chart creation unit 54 adds the minimum communication delay and the maximum communication delay to the chart data, and starts the resource securing period in the task that receives the message in the chart data. The timing after the elapse of the maximum communication delay from the timing is set as a new start timing, and the timing after the elapse of the maximum communication delay from the end timing of the resource securing period is set as a new end timing. Further, the timing chart creation unit 54 creates a timing chart image based on the re-created chart data.

  When the start timing and end timing of the resource reservation period in the chart data are changed according to the maximum communication delay, the changed resource reservation period may not be within the corresponding resource reservation period. The availability determination unit 60 acquires the chart data from the timing chart creation unit 54, and based on the changed resource reservation period and the resource reservation period in the chart data, the resource reservation period corresponding to the changed resource reservation period It is determined whether or not within the cycle, in other words, whether or not the resource can be secured in the resource securing cycle, and the determination result is sent to the timing chart creating unit 54. Based on the determination result, the timing chart creating unit 54 creates a timing chart image in which the display color of the corresponding resource securing period or resource securing period is changed when the resource cannot be secured in the resource securing period. . The timing chart image may include a pop-up image for notifying that the resource cannot be secured while changing the display color of the task resource securing period area.

  23 to 25 are diagrams illustrating examples of timing chart images in which the resource securing period is changed according to the maximum communication delay of a message. In the timing chart image shown in FIG. 23, the resource securing period area 14-1 in task 2 is compared with FIG. 22 by considering the maximum communication delay of message transmission / reception represented by message lines 19-1 to 19-3. , And the start timing of the resource securing period corresponding to the resource securing period area 12-1 in task 1 coincides with the message reception timing when the maximum communication delay is reached. In addition, since the maximum communication delay is taken into consideration, the resource reservation period corresponding to the resource reservation period areas 16-3 and 16-4 cannot be accommodated in the resource reservation period corresponding to the resource reservation period area 15-2 in the task 3. The display color of the resource securing period area 15-2 is changed, the resource securing period areas 16-3 and 16-4 are displayed outside the frame of the resource securing period area 15-2, and the display color is further changed.

  Further, in the timing chart image shown in FIG. 24, the resource corresponding to the resource securing period area 14-1 in task 2 is taken into account by considering the maximum communication delay of message transmission / reception represented by the message lines 19-1 to 19-4. Reservation period, resource reservation period corresponding to resource reservation period areas 16-1 and 16-2 in task 3, resource reservation period corresponding to resource reservation period area 14-2 in task 2, and resource reservation period area in task 1 It coincides with the message reception timing when the start timing of the resource securing period corresponding to 12-2 is the maximum communication delay. Further, by considering the maximum communication delay, the resource securing period corresponding to the resource securing period region 12-2 cannot be accommodated in the resource securing period corresponding to the resource securing period region 11-2 in the task 1. The display color of the area 12-2 is changed, and the message line 19-4 corresponding to the message whose start timing and reception timing of the resource securing period corresponding to the resource securing period area 12-2 match is highlighted. Yes.

  In the timing chart image shown in FIG. 25, the resource corresponding to the resource securing period area 14-1 in task 2 is taken into account by considering the maximum communication delay of message transmission / reception represented by the message lines 19-1 to 19-5. Reservation period, resource reservation period corresponding to resource reservation period areas 16-1 and 16-2 in task 3, resource reservation period corresponding to resource reservation period area 12-2 in task 1, and resource reservation period area in task 2 It coincides with the message reception timing when the start timing of the resource securing period corresponding to 14-2 is the maximum communication delay. In addition, since the maximum communication delay is taken into consideration, the resource reservation period corresponding to the resource reservation period areas 16-3 and 16-4 cannot be accommodated in the resource reservation period corresponding to the resource reservation period area 15-2 in the task 3. The display color of the resource securing period area 15-2 is changed, the resource securing period areas 16-3 and 16-4 are displayed outside the frame of the resource securing period area 15-2, and the display color is further changed. Furthermore, a message line 19-5 corresponding to a message whose start timing and reception timing of the resource reservation period corresponding to the resource reservation period area 16-3 coincide is highlighted.

  In addition, the timing chart creation unit 54 can create a timing chart image in which the resource securing period is changed according to the minimum communication delay of the message. In this case, when the timing chart creation unit 54 acquires the communication delay information, the timing chart creation unit 54 adds the minimum communication delay and the maximum communication delay to the chart data, and starts the resource securing period in the task that receives the message in the chart data. The timing after the minimum communication delay has elapsed from the timing is set as a new start timing, and the timing after the minimum communication delay has elapsed from the end timing of the resource securing period is set as a new end timing. Further, the timing chart creation unit 54 creates a timing chart image based on the re-created chart data.

  FIG. 26 is a diagram illustrating an example of a timing chart image in which the resource securing period is changed according to the minimum communication delay of the message. In the timing chart image shown in FIG. 26, by considering the minimum communication delay of message transmission / reception represented by message lines 19-1 to 19-3, the resource securing period area 14-1 in task 2 and the task 1 This coincides with the message reception timing when the start timing of the resource reservation period corresponding to the resource reservation period area 12-1 is the minimum communication delay.

  In addition, when a message is sent simultaneously from one task to a plurality of tasks, the timing chart creation unit 54 starts the resource securing by the task at the one receiving destination only during the resource securing period of the task at the other receiving destination. A delayed timing chart image can also be created.

  In this case, when the timing chart creation unit 54 acquires the communication delay information from the information acquisition unit 52, the timing chart creation unit 54 adds the minimum communication delay and the maximum communication delay to the chart data, and secures resources for each task that receives the message. Specify priority. For example, the priority may be set in accordance with a user operation instruction or may be determined in advance.

  Next, for the start timing of the resource securing period of the task with the highest priority in the chart data, the timing chart creation unit 54 sets a timing after the maximum communication delay from the start timing as a new start timing. As for the end timing of the resource securing period, a timing after the lapse of the maximum communication delay from the end timing is set as a new end timing. In addition, the timing chart creation unit 54 determines the maximum communication delay and other priority higher than the task from the start timing for the start timing of the resource securing period of the second and subsequent priority tasks in the chart data. The timing after the lapse of the total value of the resource reservation period that precedes the task is set as a new start timing, and the end timing of the resource reservation period is determined based on the maximum communication delay and priority over the task. The timing after the lapse of the sum of the resource reservation periods preceding other high tasks is set as a new end timing. Further, the timing chart creation unit 54 creates a timing chart image based on the re-created chart data.

  FIG. 27 is a timing chart image in which the start of resource reservation by one recipient task is delayed by the resource reservation period of another recipient task when a message is sent simultaneously from one task to a plurality of tasks. It is a figure which shows an example. The timing chart image shown in FIG. 27 is an example in which a message is sent simultaneously from task 1 to tasks 2 and 3, and the priority for securing resources is high for task 3 and low for task 2.

  In the timing chart image shown in FIG. 27, the start timing of the resource securing period corresponding to the resource securing period areas 16-1 to 16-8 in the task 3 is the message transmission / reception represented by the message lines 19-1 to 19-4. By considering the maximum communication delay, the message reception timing in the case of the maximum communication delay is matched. Further, the start timing of the resource securing period corresponding to the resource securing period areas 14-1 to 14-4 in task 2 is the maximum communication delay of message transmission / reception represented by message lines 19-1 to 19-4, and the task Considering the preceding resource securing period in task 3 having a higher priority than 2, the timing after the resource securing period in task 3 has further elapsed from the message reception timing in the case of the maximum communication delay. The preceding resource securing period in task 3 is represented by other task resource securing period lines 20-1 to 20-4.

  Further, the timing chart creation unit 54 may create images of both the timing chart in which the resource securing period is changed according to the minimum communication delay of the message and the timing chart in which the resource securing period is changed according to the maximum communication delay. Good.

  In this case, when the timing chart creation unit 54 acquires the communication delay information, the timing chart creation unit 54 adds the minimum communication delay and the maximum communication delay to the chart data, and starts the resource securing period in the task that receives the message in the chart data. First chart data in which a timing after the minimum communication delay has elapsed from the timing is set as a new start timing, and a timing after the minimum communication delay has elapsed from the end timing of the resource securing period is set as a new end timing, and a message Set the timing after the maximum communication delay has elapsed from the start timing of the resource reservation period in the task of the receiving destination as the new start timing, and the timing after the maximum communication delay has elapsed from the end timing of the resource reservation period as the new end timing Set as To create and was the second of the chart data. Note that the timing chart creation unit 54 may create chart data in which the start timing of the corresponding resource securing period is also delayed in accordance with the delay of the start timing and end timing of the resource securing period.

  Further, when a message is simultaneously sent from one task to a plurality of tasks, the timing chart creation unit 54 determines the resource allocation period of the second and subsequent priority tasks in the chart data according to the above-described procedure. As for the start timing, the timing after the elapse of the resource reservation period preceding the other task having a higher priority than the task is set as a new start timing, and the end timing of the resource reservation period is determined from the task. Also, the timing after the elapse of the resource securing period preceding other tasks with high priority is set as a new end timing. Similarly, in this case, the timing chart creation unit 54 may create chart data in which the start timing of the corresponding resource securing period is also delayed in accordance with the delay of the start timing and end timing of the resource securing period. .

  FIG. 28 is a diagram illustrating an example of a timing chart image including both a timing chart in which the resource securing period is changed according to the minimum communication delay of the message and a timing chart in which the resource securing period is changed according to the maximum communication delay. is there.

  In the timing chart image shown in FIG. 28, the timing charts of task 2 and task 3 represent the one corresponding to the maximum communication delay and the one corresponding to the minimum communication delay, respectively. Among the timing charts of Task 2, the timing chart corresponding to the minimum communication delay represents the resource securing period area 14-1-1 and the resource securing period area 13-1-1, and the start timing thereof is the maximum communication delay. Is represented ahead of the resource securing period area 14-1-2 and the resource securing period area 13-1-2 shown in the timing chart corresponding to the difference between the maximum communication delay and the minimum communication delay. Similarly, in the task 3 timing chart, the timing chart corresponding to the minimum communication delay includes the resource securing period area 16-1-1 and the resource securing period area 15-1-1. It is represented ahead of the resource securing period area 16-1-2 and the resource securing period area 15-1-2 shown in the timing chart corresponding to the maximum communication delay by a difference between the maximum communication delay and the minimum communication delay. ing.

  In addition, when there is a limit on an interval (resource allocation interval) from the time when resources are released in one task until the next resource is allocated, the timing chart creation unit 54 displays a timing chart image considering the resource allocation interval. It can also be created.

  In this case, for example, when the user operates the operation unit 105 to input information about the resource reservation interval, the information acquisition unit 52 acquires the resource reservation interval information and sends it to the timing chart creation unit 54. . When acquiring the resource reservation interval information, the timing chart creation unit 54 adds the resource reservation interval to the chart data, and further generates a timing chart image including a reservation interval line representing the resource reservation interval based on the chart data. create.

  Further, the reservation interval determination unit 62 acquires the chart data from the timing chart creation unit 54, and whether the resource reservation period satisfies the resource reservation interval based on the resource reservation period and the resource reservation interval in the chart data. Determine whether or not. Specifically, the reservation interval determination unit 62 specifies the start timing of one resource reservation period and the end timing of the previous resource reservation period, calculates these intervals, and the interval is a resource. When the securing interval is exceeded, it is determined that one resource securing period does not satisfy the resource securing interval. The determination result is sent to the timing chart creation unit 54. Based on the determination result, the timing chart creation unit 54 creates a timing chart image in which the display color of the resource securing period that does not satisfy the resource securing interval is changed. It should be noted that the timing chart image includes a pop-up image for notifying that there is a resource securing period that does not meet the resource securing interval, while changing the display color of the resource securing period that does not meet the resource securing interval It may be.

  FIG. 29 is a diagram illustrating a first example of a timing chart image in consideration of a resource securing interval. The timing chart image shown in FIG. 29 includes reservation interval lines 21-1 to 21-3 (hereinafter collectively referred to as “reservation interval line 21” as appropriate) representing resource reservation intervals. In addition, the resource securing period corresponding to the resource securing period areas 14-2-1 and 14-2-2 of task 2 has an interval from the previous resource securing period exceeding the resource securing interval. The display colors of the reserved period areas 14-2-1 and 14-2-2 are changed.

  FIG. 30 is a diagram illustrating a second example of the timing chart image in consideration of the resource securing interval. In the timing chart image shown in FIG. 30, a securing interval line 22 is newly added as compared with the timing chart image shown in FIG. 29. This reservation interval line 22 is for the case where the one resource reservation period is the maximum communication delay, and when the one resource reservation period is the minimum communication delay, the one resource reservation period and the previous resource It is displayed so that the user can easily recognize whether or not the interval with the securing period exceeds the resource securing interval.

  In this way, the resource reservation interval is specified, and further, the timing chart specifying the resource reservation period of the task that does not satisfy the resource reservation interval is created and displayed. It becomes possible to grasp the resource securing period of a task that does not satisfy the resource securing interval.

  The timing chart creation unit 54 can also create timing chart images up to the timing when the end points of the resource securing periods of a plurality of tasks coincide. In this case, the coincidence timing detection unit 64 acquires the chart data from the timing chart creation unit 54, and calculates the greatest common divisor of the resource securing periods of the plurality of tasks based on the resource securing period in the chart data. This calculation result is sent to the timing chart creation unit 54. The timing chart creation unit 54 creates a timing chart image that ends at the timing corresponding to the greatest common divisor, which is the calculation result, and adds a mark representing the timing.

Figure 31 is a diagram showing an example of a timing chart image in timing bears the end of the resource securing the period of multiple tasks match. In FIG. 31, for task 1 and task 2, a mark 23 representing the timing is included together with a timing chart image that ends at the timing corresponding to the greatest common divisor of the resource securing period.

  Further, when a plurality of tasks are grouped, the timing chart creation unit 54 may create a timing chart image that identifies tasks that compete for execution among tasks belonging to the group.

  FIG. 32 is a diagram illustrating an example of resource securing information when a plurality of tasks are grouped. FIG. 32 includes information on a group to which a task belongs, a priority indicating which is given priority when execution conflicts between tasks belonging to the same group, a task execution cycle, and an execution period.

  For example, when the user operates the operation unit 105 and performs operations for grouping and setting of the task execution cycle and execution period, the information acquisition unit 52 responds to the operation as shown in FIG. Resource reservation information including information on the group to which the task belongs, priority, task execution cycle and execution period is created and sent to the timing chart creation unit 54. When the timing chart creation unit 54 acquires group information in the resource reservation information, the timing chart creation unit 54 creates chart data in which the identification information of the group to which each task belongs, the priority, the execution cycle, and the execution period are added to the chart data. Furthermore, the timing chart creation unit 54 creates a timing chart image including a group line representing task grouping and an execution period area representing the task execution period based on the chart data.

  FIG. 33 is a diagram illustrating a first example of a timing chart image in consideration of task grouping and an execution period. In the timing chart image shown in FIG. 33, a group line 24 and an execution period area 25 are included. The group line 24 is represented so as to surround the timing charts of tasks 1 and 2, and these tasks 1 and 2 are represented by It represents belonging to the same group.

  When the competition determination unit 56 obtains the chart data from the timing chart creation unit 54, whether or not the tasks belonging to the same group compete with each other based on the group identification information, the execution cycle, and the execution period in the chart data. No, in other words, it is determined whether the execution periods of tasks belonging to the same group overlap in time.

  When the execution of tasks belonging to the same group competes, the competition determination unit 56 notifies the timing chart creation unit 54 of the execution period of the task in which the competition occurs in the chart data. Upon receiving this notification, the timing chart creation unit 54 grasps the priority corresponding to the execution period of the task causing the conflict in the chart data, and the priority of the low priority task execution period area For the part that overlaps the execution period area of the high task, it is changed to the waiting period area indicating that the task is not executed and is in a standby state, and further, the execution period is extended at the end of the execution period area. A timing chart image in which an extended period area having the same length as the standby period area is added is created.

  FIG. 34 is a diagram illustrating a second example of a timing chart image in consideration of task grouping and an execution period. In the timing chart image shown in FIG. 33, the execution period area corresponding to the execution period area 25 of task 1 belonging to the same group and the execution period area corresponding to the execution period area 26 of task 2 overlap in time. In this case, in the timing chart image shown in FIG. 34, the task having the higher priority in the execution period area 26 of the task having the lower priority (task 2 in this case) is determined by the competition determination of the execution of the task belonging to the same group. A portion overlapping with the execution period area 25 of (task 1 here) is changed to the standby period area 28, and an extension period area 29 having the same length as the standby period area 28 is further provided at the end of the execution period area 26. Have been added.

The timing chart creation unit 54, as described above, when acquiring the change information of the resource securing period corresponding to the user's operation or the like, as shown in FIG. 35, the resource is a resource reserved period area (each A timing chart image in which the secured period area 14) is moved is generated. Further, the timing chart creation unit 54 compares the resource reservation period within the chart data and an execution period of a task, when the start timing and end timing of the resource securing period is outside the range of the execution period of task, In other words, when the task is in a state where it cannot grasp the start and end of resource reservation, as shown in FIG. 36, a warning line 30 indicating that fact can be added to the timing chart image. The timing chart creation unit 54, when there is overhead time for securing a resource, the start timing and end timing of the resource securing period in the chart data, change the timing after lapse of overhead time Further, based on the chart data after the change, as shown in FIG. 37, a timing chart image in which the overhead time region 30 is inserted at the front end of the resource securing period region (here, the resource securing period region 12) is created. be able to.

  As described above, according to the timing chart creation support system, the timing chart creation support method, and the timing chart creation support program according to the present invention, when creating a timing chart that prevents competition for securing resources, it is appropriate for the user. Therefore, it is possible to perform a simple support, which is useful as a timing chart creation support system.

It is a figure which shows the hardware constitutions of a timing chart preparation assistance system. It is a functional block diagram of a timing chart creation support system. It is a flowchart which shows the 1st operation | movement of a timing chart preparation assistance system. It is a figure which shows an example of resource securing information. It is a figure which shows the 1st example of chart data. It is a figure which shows the 1st example of a timing chart image. It is a figure which shows the 2nd example of a timing chart image. It is a figure which shows the 1st example of a timing chart image in case a resource securing period is changed. It is a figure which shows the 2nd example of a timing chart image in case a resource securing period is changed. It is a figure which shows the 3rd example of a timing chart image in case a resource securing period is changed. It is a figure which shows the 4th example of a timing chart image in case a resource securing period is changed. It is a figure which shows the 5th example of a timing chart image in case a resource securing period is changed. It is a figure which shows the 6th example of a timing chart image in case a resource securing period is changed. It is a figure which shows the 7th example of a timing chart image in case a resource securing period is changed. It is a flowchart which shows the 2nd operation | movement of a timing chart preparation assistance system. It is a figure which shows the 2nd example of chart data. It is a figure which shows the 1st example of the timing chart image containing a message line. It is a figure which shows an example of the timing chart image which made the surrounding line of the resource securing period area | region thick. It is a figure which shows an example of the timing chart image which changed the start timing for every task. It is a figure which shows the 2nd example of the timing chart image containing a message line. It is a figure which shows an example of the resource reservation information containing the information of communication delay. It is a figure which shows an example of the timing chart image which considered the communication delay. It is a figure which shows the 1st example of the timing chart image which changed the resource securing period according to the maximum communication delay. It is a figure which shows the 2nd example of the timing chart image which changed the resource securing period according to the maximum communication delay. It is a figure which shows the 3rd example of the timing chart image which changed the resource securing period according to the maximum communication delay. It is a figure which shows an example of the timing chart image which changed the resource securing period according to the minimum communication delay. It is a figure which shows an example of a timing chart image in case a message is sent simultaneously with respect to several tasks from one task. It is a figure which shows an example of the timing chart image which changed the resource securing period according to the minimum communication delay and the maximum communication delay. It is a figure which shows the 1st example of the timing chart image which considered the resource securing interval. It is a figure which shows the 2nd example of the timing chart image which considered the resource securing interval. It is a figure which shows an example of a timing chart image until the timing when the termination | terminus of the resource securing period of a some task corresponds. It is a figure which shows an example of the resource reservation information in case a some task is grouped. It is a figure which shows the 1st example of the timing chart image which considered the grouping of the task and the execution period. It is a figure which shows the 2nd example of the timing chart image which considered the grouping of the task and the execution period. It is a figure which shows the 3rd example of the timing chart image which considered the grouping of the task and the execution period. It is a figure which shows the 4th example of the timing chart image which considered the grouping of the task and the execution period. It is a figure which shows the 5th example of the timing chart image which considered the grouping of the task and the execution period.

Explanation of symbols

52 Information Acquisition Unit 54 Timing Chart Creation Unit 56 Conflict Determination Unit 58 Message Determination Unit 60 Ensuring Availability Determination Unit 62 Ensuring Interval Judgment Unit 64 Match Timing Detection Unit 66 Display Control Unit 100 Timing Chart Creation Support System 101 CPU
102 Memory 103 HDD
105 Operation unit 106 Monitor 107 Internal bus

Claims (17)

A timing chart creation support system that supports creation of a timing chart representing a period in which a plurality of tasks secure a common resource,
For each of the plurality of tasks, information representing the resource securing period of the task, information representing the resource securing period of the task, and whether the resource securing period can move in the resource securing period Resource reservation information acquisition means for acquiring resource reservation information including period type information;
Contention period detection means for detecting resource reservation periods that overlap in time for two or more tasks based on the resource reservation information acquired for each of the plurality of tasks;
A period in which each of the plurality of tasks secures the resource based on resource reservation information acquired for each of the plurality of tasks and a resource reservation period that overlaps in time for the two or more detected tasks. And a timing chart creating means for creating a timing chart that identifies the resource securing period that overlaps in time and distinguishing whether or not it is a period that can be moved,
Display control means for displaying the timing chart on a display unit;
When an operation is performed in the operation unit to move the resource securing period, which is distinguished as the period in which the task can be moved, on the timing chart displayed on the display unit within the resource securing period, A timing chart creation support system comprising timing chart changing means for changing the timing chart in the resource securing period after movement of the task.   2. The timing according to claim 1, wherein the timing chart creating unit creates a timing chart in which display forms of the resource securing periods that overlap in time and the resource securing periods that do not overlap in time are different. Chart creation support system. Message communication information acquisition means for acquiring message communication information representing communication of a message that is transmitted and received between the tasks and can be a trigger for securing a resource by a task at the reception destination;
3. The timing chart creation support system according to claim 1, wherein the timing chart creation unit creates a timing chart representing the transmission / reception of the message based on the message communication information. Based on the resource reservation information and the message communication information, has a message determination means for determining whether a message received by a predetermined task triggers the start of resource reservation by the task;
4. The timing chart creation support system according to claim 3, wherein the timing chart creation means creates a timing chart that identifies and identifies a message that is determined not to trigger the start of resource reservation by the task. Communication delay information acquisition means for acquiring communication delay information of the message between the tasks;
5. The timing chart creation support according to claim 3, wherein the timing chart creation unit creates a timing chart that indicates the communication delay of the message based on information on the communication delay of the message. system.   The contention period detection means identifies a period in which resources can be secured by the task based on information on communication delay of the message, and is based on a period in which resources can be secured by the task. The timing chart creation support system according to claim 5, wherein a resource securing period that overlaps in time for two or more tasks is detected.   The timing chart creation means creates a timing chart in which the start of resource reservation by a task at the receiving destination is delayed by the communication delay time of the message based on the communication delay information of the message. The timing chart creation support system according to 5 or 6.   The timing chart creation means includes a timing chart in which the start of resource reservation by the destination task is delayed by a minimum time of communication delay of the message, and the start of resource reservation by the destination task is the maximum time of communication delay of the message. The timing chart creation support system according to claim 7, wherein the timing chart is created by delaying only by the timing chart. Based on the resource reservation information and the communication delay information of the message, resource reservation availability determination means for determining whether or not the task can secure a resource within the resource reservation period of the task,
9. The timing chart creation support system according to claim 5, wherein the timing chart creation means creates a timing chart that represents a task determined to be unable to secure resources.   The timing chart creation means delays the start of resource reservation by one recipient task by the resource reservation period of another recipient task when a message is simultaneously transmitted from a predetermined task to a plurality of tasks. 10. The timing chart creation support system according to claim 3, wherein a timing chart is created. Resource securing interval information obtaining means for obtaining resource securing interval information representing the resource securing interval of the task;
The timing chart according to any one of claims 1 to 10, wherein the timing chart creating unit creates a timing chart representing the resource securing interval of the task based on the resource securing interval information. Creation support system. Based on the resource reservation interval information, resource reservation interval determination means for determining whether the task satisfies the resource reservation interval,
The timing chart creation support system according to claim 11, wherein the timing chart creation unit creates a timing chart that represents a task that is determined not to satisfy the resource securing interval. A coincidence timing detecting means for detecting a timing at which the end of the resource securing period of the plurality of tasks coincides;
The timing chart creation means according to any one of claims 1 to 12 , wherein the timing chart creation means creates a timing chart up to a timing at which the end points of the resource securing periods of the plurality of tasks coincide with each other. Support system.
Grouping information acquisition means for acquiring grouping information when the plurality of tasks are divided into groups,
For each of the plurality of tasks, execution period information acquisition means for acquiring execution period information representing the execution period of the task;
Execution conflict determination means for determining, for each group, whether or not execution of tasks belonging to the group competes based on the grouping information and the execution period information;
The timing chart creation support system according to any one of claims 1 to 13, wherein the timing chart creation unit creates a timing chart that indicates a task determined to compete with the execution.   The timing chart creation means creates a timing chart that identifies and identifies the start timing or end timing of the resource securing period that is outside the range of the task execution period based on the execution period information. The timing chart creation support system according to claim 14. A timing chart creation support method for supporting creation of a timing chart representing a period in which a plurality of tasks secure a common resource,
For each of the plurality of tasks, information representing the resource securing period of the task, information representing the resource securing period of the task, and whether the resource securing period can move in the resource securing period A resource reservation information acquisition step for acquiring resource reservation information including period type information;
A contention period detection step of detecting a resource reservation period overlapping in time for two or more tasks based on the resource reservation information acquired for each of the plurality of tasks;
A period in which each of the plurality of tasks secures the resource based on resource reservation information acquired for each of the plurality of tasks and a resource reservation period that overlaps in time for the two or more detected tasks. And a timing chart creating step for creating a timing chart for identifying the resource securing period that overlaps in time while distinguishing whether or not it is a period during which movement is possible,
A display control step of displaying the timing chart on a display unit;
When an operation is performed in the operation unit to move the resource securing period, which is distinguished as the period in which the task can be moved, on the timing chart displayed on the display unit within the resource securing period, A timing chart creation support method comprising: a timing chart changing step for changing the timing chart in the resource securing period after the movement of the task. A timing chart creation support program executed by a computer that supports creation of a timing chart representing a period in which a plurality of tasks secure a common resource,
For each of the plurality of tasks, information representing the resource securing period of the task, information representing the resource securing period of the task, and whether the resource securing period can move in the resource securing period A resource reservation information acquisition step for acquiring resource reservation information including period type information;
A contention period detection step of detecting a resource reservation period overlapping in time for two or more tasks based on the resource reservation information acquired for each of the plurality of tasks;
A period in which each of the plurality of tasks secures the resource based on resource reservation information acquired for each of the plurality of tasks and a resource reservation period that overlaps in time for the two or more detected tasks. And a timing chart creating step for creating a timing chart for identifying the resource securing period that overlaps in time while distinguishing whether or not it is a period during which movement is possible,
A display control step of displaying the timing chart on a display unit;
When an operation is performed in the operation unit to move the resource securing period, which is distinguished as the period in which the task can be moved, on the timing chart displayed on the display unit within the resource securing period, A timing chart creation support program, comprising: a timing chart changing step for changing the timing chart in the resource securing period after movement for the task.

Images