(57)【要約】【課題】複数のタスク実行におけるリソース確保の競合を防止したタイミングチャートの作成支援システム、タイミングチャート作成支援方法及びタイミングチャート作成支援プログラムを提供する。【解決手段】タイミングチャート作成支援システム１００は、タスク毎に、リソース確保周期、リソース確保期間、及び、リソース確保周期においてリソース確保期間が移動可能であるか否かを示すタスク種別からなるリソース確保情報を取得する情報取得部５２と、リソース確保情報に基づいて、複数のタスクによるリソース確保が競合するか否かを判定する競合判定部５６と、リソース確保情報に基づいて、複数のタスクによるリソース確保の競合判定の結果に基づく競合するタスクを特定して表すタイミングチャートを作成するタイミングチャート作成部５４と、作成されたタイミングチャートを表示させる表示制御部６６とを有する。【選択図】図２
2008003946.tif 000002
【特許請求の範囲】
【請求項１】
複数のタスクが共通のリソースを確保する期間を表すタイミングチャートの作成を支援するタイミングチャート作成支援システムであって、
前記複数のタスクのそれぞれについて、該タスクのリソース確保周期を表す情報、該タスクのリソース確保期間を表す情報、及び、前記リソース確保期間が前記リソース確保周期において移動することができるか否かを表す期間種別情報を含むリソース確保情報を取得するリソース確保情報取得手段と、
前記複数のタスクのそれぞれについて取得したリソース確保情報に基づいて、２以上のタスクについての時間的に重なるリソース確保期間を検出する競合期間検出手段と、
前記複数のタスクのそれぞれについて取得されたリソース確保情報と、前記検出された２以上のタスクについての時間的に重なるリソース確保期間とに基づいて、前記複数のタスクのそれぞれが前記リソースを確保する期間を、移動することができる期間であるか否かを区別するとともに、前記時間的に重なるリソース確保期間を特定しつつ表すタイミングチャートを作成するタイミングチャート作成手段と、
前記タイミングチャートを表示ユニットに表示させる表示制御手段と、
前記表示ユニットに表示されたタイミングチャート上においてタスクの前記移動することのできる期間として区別されたリソース確保期間を、前記リソース確保周期内で移動させるための操作が操作ユニットにてなされたときに、該タスクについて移動後の前記リソース確保期間にて前記タイミングチャートを変更するタイミングチャート変更手段とを有することを特徴とするタイミングチャート作成支援システム。
【請求項２】
前記タイミングチャート作成手段は、前記時間的に重なるリソース確保期間と前記時間的に重ならないリソース確保期間との表示形態を異ならせたタイミングチャートを作成することを特徴とする請求項１に記載のタイミングチャート作成支援システム。
【請求項３】
前記タスク間で送受され、受信先のタスクによるリソース確保の契機となり得るメッセージの通信を表すメッセージ通信情報を取得するメッセージ通信情報取得手段を有し、
前記タイミングチャート作成手段は、前記メッセージ通信情報に基づいて、前記メッセージの送受を特定しつつ表すタイミングチャートを作成することを特徴とする請求項１又は２に記載のタイミングチャート作成支援システム。
【請求項４】
前記リソース確保情報と、前記メッセージ通信情報とに基づいて、所定のタスクによって受信されるメッセージが該タスクによるリソース確保の開始の契機となるか否かを判定するメッセージ判定手段を有し、
前記タイミングチャート作成手段は、前記タスクによるリソース確保の開始の契機にならないと判定されたメッセージを特定しつつ表すタイミングチャートを作成することを特徴とする請求項３に記載のタイミングチャート作成支援システム。
【請求項５】
前記タスク間における前記メッセージの通信遅延の情報を取得する通信遅延情報取得手段を有し、
前記タイミングチャート作成手段は、前記メッセージの通信遅延の情報に基づいて、前記メッセージの通信遅延を特定しつつ表すタイミングチャートを作成することを特徴とする請求項３又は４に記載のタイミングチャート作成支援システム。
【請求項６】
前記競合期間検出手段は、前記メッセージの通信遅延の情報に基づいて、前記タスクによりリソースが確保される可能性のある期間を特定し、該タスクによりリソースが確保される可能性のある期間に基づいて、２以上のタスクについての時間的に重なるリソース確保期間を検出することを特徴とする請求項５に記載のタイミングチャート作成支援システム。
【請求項７】
前記タイミングチャート作成手段は、前記メッセージの通信遅延の情報に基づいて、受信先のタスクによるリソース確保の開始を前記メッセージの通信遅延の時間だけ遅らせたタイミングチャートを作成することを特徴とする請求項５又は６に記載のタイミングチャート作成支援システム。
【請求項８】
前記タイミングチャート作成手段は、受信先のタスクによるリソース確保の開始を前記メッセージの通信遅延の最小時間だけ遅らせたタイミングチャートと、受信先のタスクによるリソース確保の開始を前記メッセージの通信遅延の最大時間だけ遅らせたタイミングチャートとを作成することを特徴とする請求項７に記載のタイミングチャート作成支援システム。
【請求項９】
前記リソース確保情報と、前記メッセージの通信遅延の情報とに基づいて、前記タスクが該タスクのリソース確保周期内でリソース確保が可能であるか否かを判定するリソース確保可否判定手段を有し、
前記タイミングチャート作成手段は、リソース確保が不能であると判定されたタスクを特定しつつ表すタイミングチャートを作成することを特徴とする請求項５乃至８のいずれかに記載のタイミングチャート作成支援システム。
【請求項１０】
前記タイミングチャート作成手段は、所定のタスクから複数のタスクに対して同時にメッセージが送信される場合に、１の受信先のタスクによるリソース確保の開始を他の受信先のタスクのリソース確保期間だけ遅らせたタイミングチャートを作成することを特徴とする請求項３乃至９のいずれかに記載のタイミングチャート作成支援システム。
【請求項１１】
前記タスクのリソース確保間隔を表すリソース確保間隔情報を取得するリソース確保間隔情報取得手段を有し、
前記タイミングチャート作成手段は、前記リソース確保間隔情報に基づいて、前記タスクのリソース確保間隔を特定しつつ表すタイミングチャートを作成することを特徴とする請求項１乃至１０のいずれかに記載のタイミングチャート作成支援システム。
【請求項１２】
前記リソース確保間隔情報に基づいて、前記タスクがリソース確保間隔を満たすか否かを判定するリソース確保間隔判定手段を有し、
前記タイミングチャート作成手段は、前記リソース確保間隔を満たしていないと判定されたタスクを特定しつつ表すタイミングチャートを作成することを特徴とする請求項１１に記載のタイミングチャート作成支援システム。
【請求項１３】
前記複数のタスクのリソース確保周期の終端が一致するタイミングを検出する一致タイミング検出手段を有し、
前記タイミングチャート作成手段は、前記検出された複数のタスクのリソース確保周期の終端が一致するタイミングまでのタイミングチャートを作成することを特徴とする請求項１乃至１３のいずれかに記載のタイミングチャート作成支援システム。
【請求項１４】
前記複数のタスクをグループに分けた場合におけるグループ分けの情報を取得するグループ分け情報取得手段と、
前記複数のタスクのそれぞれについて、該タスクの実行期間を表す実行期間情報を取得する実行期間情報取得手段と、
前記グループ分けの情報と、前記実行期間情報とに基づいて、前記グループ毎に、該グループに属するタスクの実行が競合するか否かを判定する実行競合判定手段と、
前記タイミングチャート作成手段は、前記実行が競合すると判定されたタスクを特定しつつ表すタイミングチャートを作成することを特徴とする請求項１乃至１３のいずれかに記載のタイミングチャート作成支援システム。
【請求項１５】
前記タイミングチャート作成手段は、前記実行期間情報に基づいて、前記リソース確保期間の開始又は終了のタイミングのうち、前記タスクの実行期間の範囲外にあるものを特定しつつ表すタイミングチャートを作成することを特徴とする請求項１４に記載のタイミングチャート作成支援システム。
【請求項１６】
複数のタスクが共通のリソースを確保する期間を表すタイミングチャートの作成を支援するタイミングチャート作成支援方法であって、
前記複数のタスクのそれぞれについて、該タスクのリソース確保周期を表す情報、該タスクのリソース確保期間を表す情報、及び、前記リソース確保期間が前記リソース確保周期において移動することができるか否かを表す期間種別情報を含むリソース確保情報を取得するリソース確保情報取得ステップと、
前記複数のタスクのそれぞれについて取得したリソース確保情報に基づいて、２以上のタスクについての時間的に重なるリソース確保期間を検出する競合期間検出ステップと、
前記複数のタスクのそれぞれについて取得されたリソース確保情報と、前記検出された２以上のタスクについての時間的に重なるリソース確保期間とに基づいて、前記複数のタスクのそれぞれが前記リソースを確保する期間を、移動することができる期間であるか否かを区別するとともに、前記時間的に重なるリソース確保期間を特定しつつ表すタイミングチャートを作成するタイミングチャート作成ステップと、
前記タイミングチャートを表示ユニットに表示させる表示制御ステップと、
前記表示ユニットに表示されたタイミングチャート上においてタスクの前記移動することのできる期間として区別されたリソース確保期間を、前記リソース確保周期内で移動させるための操作が操作ユニットにてなされたときに、該タスクについて移動後の前記リソース確保期間にて前記タイミングチャートを変更するタイミングチャート変更ステップとを有することを特徴とするタイミングチャート作成支援方法。
【請求項１７】
複数のタスクが共通のリソースを確保する期間を表すタイミングチャートの作成を支援するコンピュータにて実行されるタイミングチャート作成支援プログラムであって、
前記複数のタスクのそれぞれについて、該タスクのリソース確保周期を表す情報、該タスクのリソース確保期間を表す情報、及び、前記リソース確保期間が前記リソース確保周期において移動することができるか否かを表す期間種別情報を含むリソース確保情報を取得するリソース確保情報取得ステップと、
前記複数のタスクのそれぞれについて取得したリソース確保情報に基づいて、２以上のタスクについての時間的に重なるリソース確保期間を検出する競合期間検出ステップと、
前記複数のタスクのそれぞれについて取得されたリソース確保情報と、前記検出された２以上のタスクについての時間的に重なるリソース確保期間とに基づいて、前記複数のタスクのそれぞれが前記リソースを確保する期間を、移動することができる期間であるか否かを区別するとともに、前記時間的に重なるリソース確保期間を特定しつつ表すタイミングチャートを作成するタイミングチャート作成ステップと、
前記タイミングチャートを表示ユニットに表示させる表示制御ステップと、
前記表示ユニットに表示されたタイミングチャート上においてタスクの前記移動することのできる期間として区別されたリソース確保期間を、前記リソース確保周期内で移動させるための操作が操作ユニットにてなされたときに、該タスクについて移動後の前記リソース確保期間にて前記タイミングチャートを変更するタイミングチャート変更ステップとを有することを特徴とするタイミングチャート作成支援プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、複数のタスクが共通のリソースを確保する期間を表すタイミングチャートの作成を支援するタイミングチャート作成支援システム、タイミングチャート作成支援方法、及び、コンピュータにて実行されるタイミングチャート作成支援プログラムに関する。
【背景技術】
【０００２】
従来より、入力情報に基づいてタイミングチャートを作成、表示するシステムが用いられている。このようなシステムは、例えば、電気回路における信号の入出力についてのタイミングチャートを作成する場合には、ユーザの操作指示に応じて、信号の立ち上がり、立ち下がり等のタイミングの情報を入力し、これらの情報を満たすタイミングチャートを作成、表示する（例えば特許文献１乃至３参照）。
【特許文献１】米国特許第５３８１５２４号明細書
【特許文献２】米国特許第５５７６９７９号明細書
【特許文献３】米国特許第５７９０４３５号明細書
【発明の開示】
【発明が解決しようとする課題】
【０００３】
ところで、複数のタスクが共通のリソースを利用して実行されるような場合には、複数のタスクによるリソース確保が時間的に重なること（リソース確保の競合）を防止してリソースを的確に割り当てることが要求され、その観点からのタイミングチャートの作成が必要となる。しかし、従来のシステムでは、単に入力情報からタイミングチャートが作成、表示されるだけであり、ユーザがタイミングチャートにおけるリソース確保の競合を把握しづらい等、リソース確保の競合を防止したタイミングチャートを作成する際における十分な支援がなされていない。
【０００４】
本発明の目的は、上述した問題点を解決するものであり、複数のタスク実行におけるリソース確保の競合を防止したタイミングチャートの作成支援システム、タイミングチャート作成支援方法及びタイミングチャート作成支援プログラムを提供するものである。
【課題を解決するための手段】
【０００５】
本発明は、複数のタスクが共通のリソースを確保する期間を表すタイミングチャートの作成を支援するタイミングチャート作成支援システムであって、前記複数のタスクのそれぞれについて、該タスクのリソース確保周期を表す情報、該タスクのリソース確保期間を表す情報、及び、前記リソース確保期間が前記リソース確保周期において移動することができるか否かを表す期間種別情報を含むリソース確保情報を取得するリソース確保情報取得手段と、前記複数のタスクのそれぞれについて取得したリソース確保情報に基づいて、２以上のタスクについての時間的に重なるリソース確保期間を検出する競合期間検出手段と、前記複数のタスクのそれぞれについて取得されたリソース確保情報と、前記検出された２以上のタスクについての時間的に重なるリソース確保期間とに基づいて、前記複数のタスクのそれぞれが前記リソースを確保する期間を、移動することができる期間であるか否かを区別するとともに、前記時間的に重なるリソース確保期間を特定しつつ表すタイミングチャートを作成するタイミングチャート作成手段と、前記タイミングチャートを表示ユニットに表示させる表示制御手段と、前記表示ユニットに表示されたタイミングチャート上においてタスクの前記移動することのできる期間として区別されたリソース確保期間を、前記リソース確保周期内で移動させるための操作が操作ユニットにてなされたときに、該タスクについて移動後の前記リソース確保期間にて前記タイミングチャートを変更するタイミングチャート変更手段とを有することを特徴とする。
【０００６】
この構成によれば、リソース確保情報を満たすとともに、複数のタスクによるリソース確保が競合する場合には、そのタスクを特定したタイミングチャートが作成、表示される。このため、ユーザは、どのタスクによるリソース確保が競合しているか、更には、どのタスクのリソース確保期間を移動させれば、リソース確保の競合が防止されるのか等を容易に把握することができる。更に、移動可能なリソース確保期間が区別されて表示され、ユーザの操作に応じて、そのリソース確保期間を移動させたタイミングチャートに変更させることができる。ここで、タスクとは、ソフトウェアでの処理単位の他、プロセス、ユニット等の様々な処理の単位を意味する。
【０００７】
また、本発明のタイミングチャート作成支援システムは、前記タイミングチャート作成手段が、前記時間的に重なるリソース確保期間と前記時間的に重ならないリソース確保期間との表示形態を異ならせたタイミングチャートを作成するようにしてもよい。
【０００８】
この構成によれば、タスク間におけるメッセージの送受を反映したタイミングチャートの作成、表示が可能となる。
【０００９】
また、本発明のタイミングチャート作成支援システムは、前記タスク間で送受され、受信先のタスクによるリソース確保の契機となり得るメッセージの通信を表すメッセージ通信情報を取得するメッセージ通信情報取得手段を有し、前記タイミングチャート作成手段が、前記メッセージ通信情報に基づいて、前記メッセージの送受を特定しつつ表すタイミングチャートを作成するようにしてもよい。
【００１０】
この構成によれば、ユーザは、タスク間のメッセージの送受を把握することができる。
【００１１】
また、本発明のタイミングチャート作成支援システムは、前記リソース確保情報と、前記メッセージ通信情報とに基づいて、所定のタスクによって受信されるメッセージが該タスクによるリソース確保の開始の契機となるか否かを判定するメッセージ判定手段を有し、前記タイミングチャート作成手段が、前記タスクによるリソース確保の開始の契機にならないと判定されたメッセージを特定しつつ表すタイミングチャートを作成するようにしてもよい。
【００１２】
この構成によれば、メッセージを受信したタスクが既にリソースを確保済みであり、当該メッセージがタスクによるリソース確保の開始の契機とならない場合には、ユーザは、その旨を把握することができる。
【００１３】
また、本発明のタイミングチャート作成支援システムは、前記タスク間における前記メッセージの通信遅延の情報を取得する通信遅延情報取得手段を有し、前記タイミングチャート作成手段が、前記メッセージの通信遅延の情報に基づいて、前記メッセージの通信遅延を特定しつつ表すタイミングチャートを作成するようにしてもよい。
【００１４】
この構成によれば、ユーザは、タスク間におけるメッセージの通信遅延を把握することができる。
【００１５】
また、本発明のタイミングチャート作成支援システムは、前記競合期間検出手段が、前記メッセージの通信遅延の情報に基づいて、前記タスクによりリソースが確保される可能性のある期間を特定し、該タスクによりリソースが確保される可能性のある期間に基づいて、２以上のタスクについての時間的に重なるリソース確保期間を検出するようにしてもよい。
【００１６】
この構成によれば、メッセージの通信遅延を考慮してタスクによるリソース確保の競合判定をより適切に行うことが可能となり、更には、その競合判定の結果をタイミングチャートに反映させることが可能となる。
【００１７】
また、本発明のタイミングチャート作成支援システムは、前記タイミングチャート作成手段が、前記メッセージの通信遅延の情報に基づいて、受信先のタスクによるリソース確保の開始を前記メッセージの通信遅延の時間だけ遅らせたタイミングチャートを作成するようにしてもよい。
【００１８】
この構成によれば、ユーザは、メッセージの通信遅延によってタスクによるリソース確保の開始タイミングがどの程度変動するのかを把握することができる。
【００１９】
また、本発明のタイミングチャート作成支援システムは、前記タイミングチャート作成手段が、受信先のタスクによるリソース確保の開始を前記メッセージの通信遅延の最小時間だけ遅らせたタイミングチャートと、受信先のタスクによるリソース確保の開始を前記メッセージの通信遅延の最大時間だけ遅らせたタイミングチャートとを作成するようにしてもよい。
【００２０】
この構成によれば、ユーザは、リソース確保の開始をメッセージの通信遅延の最小時間だけ遅らせたタイミングチャートと、リソース確保の開始を前記メッセージの通信遅延の最大時間だけ遅らせたタイミングチャートとを比較して、適切なタイミングチャートを選択することができる。
【００２１】
また、本発明のタイミングチャート作成支援システムは、前記リソース確保情報と、前記メッセージの通信遅延の情報とに基づいて、前記タスクが該タスクのリソース確保周期内でリソース確保が可能であるか否かを判定するリソース確保可否判定手段を有し、前記タイミングチャート作成手段は、リソース確保が不能であると判定されたタスクを特定しつつ表すタイミングチャートを作成するようにしてもよい。
【００２２】
この構成によれば、メッセージの通信遅延によってリソース確保不能のタスクが生じる場合に、ユーザは、その旨を把握することができる。
【００２３】
また、本発明のタイミングチャート作成支援システムは、前記タイミングチャート作成手段が、所定のタスクから複数のタスクに対して同時にメッセージが送信される場合に、１の受信先のタスクによるリソース確保の開始を他の受信先のタスクのリソース確保期間だけ遅らせたタイミングチャートを作成するようにしてもよい。
【００２４】
また、本発明のタイミングチャート作成支援システムは、前記タスクのリソース確保間隔を表すリソース確保間隔情報を取得するリソース確保間隔情報取得手段を有し、前記タイミングチャート作成手段が、前記リソース確保間隔情報に基づいて、前記タスクのリソース確保間隔を特定しつつ表すタイミングチャートを作成するようにしてもよい。
【００２５】
この構成によれば、ユーザは、タスクのリソース確保間隔を把握することができる。
【００２６】
また、本発明のタイミングチャート作成支援システムは、前記リソース確保間隔情報に基づいて、前記タスクがリソース確保間隔を満たすか否かを判定するリソース確保間隔判定手段を有し、前記タイミングチャート作成手段が、前記リソース確保間隔を満たしていないと判定されたタスクを特定しつつ表すタイミングチャートを作成するようにしてもよい。
【００２７】
この構成によれば、ユーザは、リソース確保間隔を満たしていないタスクを把握することが可能となる。
【００２８】
また、本発明のタイミングチャート作成支援システムは、前記複数のタスクのリソース確保周期の終端が一致するタイミングを検出する一致タイミング検出手段を有し、前記タイミングチャート作成手段が、前記検出された複数のタスクのリソース確保周期の終端が一致するタイミングまでのタイミングチャートを作成するようにしてもよい。
【００２９】
この構成によれば、複数のタスクのリソース確保周期の終端が一致するタイミングが存在すれば、それ以降は前段と同様のタイミングチャートが適用可能であるため、当該タイミングまでのタイミングチャートの作成を行うようにすることで、作成処理を必要十分な処理量に抑えることができる。
【００３０】
また、本発明のタイミングチャート作成支援システムは、前記複数のタスクをグループに分けた場合におけるグループ分けの情報を取得するグループ分け情報取得手段と、前記複数のタスクのそれぞれについて、該タスクの実行期間を表す実行期間情報を取得する実行期間情報取得手段と、前記グループ分けの情報と、前記実行期間情報とに基づいて、前記グループ毎に、該グループに属するタスクの実行が競合するか否かを判定する実行競合判定手段と、前記タイミングチャート作成手段は、前記実行が競合すると判定されたタスクを特定しつつ表すタイミングチャートを作成するようにしてもよい。
【００３１】
この構成によれば、ユーザは、グループ内のタスクの実行の競合を把握することができる。
【００３２】
また、本発明のタイミングチャート作成支援システムは、前記タイミングチャート作成手段が、前記実行期間情報に基づいて、前記リソース確保期間の開始又は終了のタイミングのうち、前記タスクの実行期間の範囲外にあるものを特定しつつ表すタイミングチャートを作成するようにしてもよい。
【００３３】
この構成によれば、ユーザは、タスクの実行期間の範囲外にあって当該タスクが把握することのできないリソース確保期間の開始又は終了のタイミングを把握することができる。
【００３４】
また、本発明は、複数のタスクが共通のリソースを確保する期間を表すタイミングチャートの作成を支援するタイミングチャート作成支援方法であって、前記複数のタスクのそれぞれについて、該タスクのリソース確保周期を表す情報、該タスクのリソース確保期間を表す情報、及び、前記リソース確保期間が前記リソース確保周期において移動することができるか否かを表す期間種別情報を含むリソース確保情報を取得するリソース確保情報取得ステップと、前記複数のタスクのそれぞれについて取得したリソース確保情報に基づいて、２以上のタスクについての時間的に重なるリソース確保期間を検出する競合期間検出ステップと、前記複数のタスクのそれぞれについて取得されたリソース確保情報と、前記検出された２以上のタスクについての時間的に重なるリソース確保期間とに基づいて、前記複数のタスクのそれぞれが前記リソースを確保する期間を、移動することができる期間であるか否かを区別するとともに、前記時間的に重なるリソース確保期間を特定しつつ表すタイミングチャートを作成するタイミングチャート作成ステップと、前記タイミングチャートを表示ユニットに表示させる表示制御ステップと、前記表示ユニットに表示されたタイミングチャート上においてタスクの前記移動することのできる期間として区別されたリソース確保期間を、前記リソース確保周期内で移動させるための操作が操作ユニットにてなされたときに、該タスクについて移動後の前記リソース確保期間にて前記タイミングチャートを変更するタイミングチャート変更ステップとを有することを特徴とする。
【００３５】
また、本発明は、複数のタスクが共通のリソースを確保する期間を表すタイミングチャートの作成を支援するコンピュータにて実行されるタイミングチャート作成支援プログラムであって、前記複数のタスクのそれぞれについて、該タスクのリソース確保周期を表す情報、該タスクのリソース確保期間を表す情報、及び、前記リソース確保期間が前記リソース確保周期において移動することができるか否かを表す期間種別情報を含むリソース確保情報を取得するリソース確保情報取得ステップと、前記複数のタスクのそれぞれについて取得したリソース確保情報に基づいて、２以上のタスクについての時間的に重なるリソース確保期間を検出する競合期間検出ステップと、前記複数のタスクのそれぞれについて取得されたリソース確保情報と、前記検出された２以上のタスクについての時間的に重なるリソース確保期間とに基づいて、前記複数のタスクのそれぞれが前記リソースを確保する期間を、移動することができる期間であるか否かを区別するとともに、前記時間的に重なるリソース確保期間を特定しつつ表すタイミングチャートを作成するタイミングチャート作成ステップと、前記タイミングチャートを表示ユニットに表示させる表示制御ステップと、前記表示ユニットに表示されたタイミングチャート上においてタスクの前記移動することのできる期間として区別されたリソース確保期間を、前記リソース確保周期内で移動させるための操作が操作ユニットにてなされたときに、該タスクについて移動後の前記リソース確保期間にて前記タイミングチャートを変更するタイミングチャート変更ステップとを有することを特徴とする。
【発明の効果】
【００３６】
本発明によれば、タスクによるリソース確保の競合に関する様々な情報をタイミングチャートに反映させることによって、リソース確保の競合を防止したタイミングチャートを作成する場合において、ユーザに対する適切な支援を行うことが可能となる。
【発明を実施するための最良の形態】
【００３７】
本発明の実施の形態について、図面を参照して具体的に説明する。
【００３８】
図１は、タイミングチャート作成支援システムのハードウェア構成を示す図である。図１に示すタイミングチャート作成支援システム１００は、パーソナルコンピュータ（ＰＣ）であり、内部バス１０７に接続されたＣＰＵ１０１、メモリ１０２、ハードディスクドライブ（ＨＤＤ）１０３、操作部１０５及びモニタ１０６によって構成される。
【００３９】
図２は、タイミングチャート作成支援システム１００の機能ブロック図である。同図に示すタイミングチャート作成支援システム１００は、複数のタスクが共通のリソースを確保する期間を表すタイミングチャートの作成を支援するものであり、リソース確保情報取得手段、メッセージ通信情報取得手段、通信遅延情報取得手段、リソース確保間隔情報取得手段及びグループ分け情報取得手段としての情報取得部５２と、タイミングチャート作成手段及びタイミングチャート変更手段としてのタイミングチャート作成部５４と、競合期間検出手段及び実行競合判定手段としての競合判定部５６と、メッセージ判定手段としてのメッセージ判定部５８と、リソース確保可否判定手段としての確保可否判定部６０と、リソース確保間隔判定手段としての確保間隔判定部６２と、一致タイミング検出手段としての一致タイミング検出部６４と、表示制御手段としての表示制御部６６とにより構成される。これら各機能ブロックは、図１のハードウェア構成においては、ＣＰＵ１０１が操作部１０５の操作に応じて、ＨＤＤ１０３から読み出してメモリ１０２に記憶させた所定のプログラムを実行することによって実現される。
【００４０】
以下、タイミングチャート作成支援システム１００の動作を説明する。図３は、タイミングチャート作成支援システム１００の第１の動作を示すフローチャートである。
【００４１】
情報取得部５２は、リソース確保情報を取得する（Ｓ１０１）。例えば、ユーザが操作部１０５を操作して、リソース確保情報の入力操作を行うと、情報取得部５２は、その入力操作に応じたリソース確保情報を生成する。
【００４２】
図４は、リソース確保情報の一例を示す図である。図４に示すリソース確保情報は、各タスク毎に、当該タスクにおいてリソースを確保する周期（リソース確保周期：ｔ２）、１のリソース確保周期においてリソースを確保する期間（リソース確保期間：ｔ３、ｔ４）、及び、リソース確保周期においてタスクのリソース確保期間が移動可能であるか否かを示す種別からなる。これらのうち、種別は、リソース確保期間が移動不能である場合にはＨａｒｄ、移動可能である場合にはＳｏｆｔとなる。
【００４３】
再び、図３に戻って説明する。情報取得部５２は、取得したリソース確保情報をタイミングチャート作成部５４へ送る。タイミングチャート作成部５４は、このリソース確保情報に基づいて、チャートデータを作成する（Ｓ１０２）。
【００４４】
チャートデータは、タイミングチャートの画像の作成に必要な情報である。図５は、チャートデータの一例を示す図である。図５に示すチャートデータは、各タスク毎に、当該タスクにおけるリソース確保周期、種別、各回のリソース確保周期におけるリソース確保期間の開始及び終了のタイミング、当該リソース確保期間の領域の表示色からなる。リソース確保周期及び種別は、リソース確保情報からそのまま得られる。また、初期状態では、リソース確保期間の表示領域の色は、予め定められた色が設定される。更には、初期状態では、リソース確保期間の開始タイミングは、リソース確保周期の開始タイミングと一致し、リソース確保期間の終了タイミングは、開始タイミングからリソース確保情報内のリソース確保期間だけ経過後のタイミングが設定される。
【００４５】
再び、図３に戻って説明する。タイミングチャート作成部５４は、作成したチャートデータに基づいて、タイミングチャート画像を作成し（Ｓ１０３）、表示制御部６６は、この作成されたタイミングチャート画像を、モニタ１０６に表示させる（Ｓ１０４）。
【００４６】
図６は、タイミングチャート画像の第１の例を示す図である。図６に示すタイミングチャート画像は、初期のチャートデータに基づいて作成され、表示されるものである。タスク１に対応するタイミングチャートは、リソース確保周期の領域１１−１乃至１１−３（以下、これらをまとめて適宜「リソース確保周期領域１１」と称する）と、リソース確保期間の領域１２−１乃至１２−３（以下、これらをまとめて適宜「リソース確保期間領域１２」と称する）からなる。また、タスク２に対応するタイミングチャートは、リソース確保周期の領域１３−１乃至１３−４（以下、これらをまとめて適宜「リソース確保周期領域１３」と称する）と、リソース確保期間の領域１４−１乃至１４−４（以下、これらをまとめて適宜「リソース確保期間領域１４」と称する）からなる。また、タスク３に対応するタイミングチャートは、リソース確保周期の領域１５−１乃至１５−５（以下、これらをまとめて適宜「リソース確保周期領域１５」と称する）と、リソース確保期間の領域１６−１乃至１６−１０（以下、これらをまとめて適宜「リソース確保期間領域１６」と称する）からなる。リソース確保周期領域１１、１３及び１５の長さは、リソース確保期間の時間長に比例し、リソース確保期間領域１２、１４及び１６の長さは、リソース確保期間の時間長に比例する。また、リソース確保期間の領域１２は、種別がＨａｒｄであることに対応して四角形状となっており、リソース確保期間の領域１３及び１４は、種別がＳｏｆｔであることに対応して楕円形状あるいは円形状となっている。
【００４７】
再び、図３に戻って説明する。競合判定部５６は、複数のタスクによるリソース確保が競合するか否かを判定する（Ｓ１０５）。具体的には、競合判定部５６は、タイミングチャート作成部５４によって、リソース確保情報に基づいて作成されるチャートデータを取得する。更に、競合判定部５６は、このチャートデータに基づく、複数のタスクにおけるリソース確保期間が時間的に重複している場合、リソース確保が競合していると判定する。
【００４８】
複数のタスクによるリソース確保が競合している場合、競合判定部５６は、チャートデータにおける、その競合が生じているタスクのリソース確保期間領域の表示色を変更して、タイミングチャート作成部５４へ送る。タイミングチャート作成部５４は、取得したチャートデータに基づいて、リソース確保の競合が生じているタスクのリソース確保期間領域の表示色を変更したタイミングチャート画像を再作成し、表示制御部６６は、この再作成されたタイミングチャート画像を、モニタ１０６に表示させる処理を行う（Ｓ１０６）。なお、リソース確保の競合が生じているタスクのリソース確保期間領域の表示色を変更するとともに、リソース確保の競合が生じているタスクのリソース確保期間が存在することを通知するためのポップアップ画像等がタイミングチャート画像に含まれるようにしてもよい。
【００４９】
図７は、タイミングチャート画像の第２の例を示す図である。図７に示すタイミングチャート画像は、リソース確保の競合が生じているタスクのリソース確保期間領域の表示色を変更したチャートデータに基づいて作成され、表示されるものである。図６に示すタイミングチャートでは、タスク１におけるリソース確保期間領域１２−１、タスク２におけるリソース確保期間領域１４−１、タスク３におけるリソース確保期間領域１６−１及び１６−２が時間的に重複している。このため、図７に示すタイミングチャート画像では、これらリソース確保期間領域の表示色が変更される（図７では斜線に変更されている）。また、図６に示すタイミングチャート画像では、タスク２におけるリソース確保期間領域１４−２と、タスク３におけるリソース確保期間領域１６−４とが時間的に重複し、タスク１におけるリソース確保期間領域１２−２と、タスク３におけるリソース確保期間領域１６−５とが時間的に重複し、タスク１におけるリソース確保期間領域１２−３と、タスク３におけるリソース確保期間領域１６−７及び１６−８とが時間的に重複し、タスク１におけるリソース確保期間領域１２−３と、タスク２におけるリソース確保期間領域１４−４とが時間的に重複している。このため、図７に示すタイミングチャート画像では、これらリソース確保期間領域の表示色が変更される。
【００５０】
再び、図３に戻って説明する。リソース確保の競合が生じているタスクのリソース確保期間領域の表示色が変更された後、次に、チャートデータ作成部５４は、リソース確保期間の変更情報を取得したか否かを判定する（Ｓ１０７）。具体的には、ユーザは、図７に示すタイミングチャート画像が表示されている状態で、操作部１０５を操作する（クリック操作やドラック操作等）ことにより、リソース確保期間領域１２、１４及び１６を移動させることができる。情報取得部５２は、この操作の情報をリソース確保期間変更情報として取得し、タイミングチャート作成部５４へ送る。
【００５１】
リソース確保期間変更情報を取得した場合、タイミングチャート作成部５４は、そのリソース確保期間変更情報に基づいて、リソース確保期間が変更されたチャートデータを再作成する（Ｓ１０２）。具体的には、タイミングチャート作成部５４は、リソース確保期間変更情報に基づいて、リソース確保期間の開始タイミングを特定し、タイミングチャート作成部５４は、チャートデータ内のリソース確保期間の開始タイミングを、その特定した開始タイミングに変更する。更に、タイミングチャート作成部５４は、チャートデータ内のリソース確保期間の終了タイミングを、変更前の開始タイミングと変更後の開始タイミングの差分だけ経過後のタイミングに変更する。
【００５２】
更に、タイミングチャート作成部５４は、再作成したチャートデータに基づいて、タイミングチャート画像を再作成し（Ｓ１０３）、表示制御部６６は、この再作成されたタイミングチャート画像を、モニタ１０６に表示させる処理を行う（Ｓ１０４）。その後は、複数のタスクによるリソース確保が競合するか否かの判定（Ｓ１０５）、リソース確保の競合が生じているタスクのリソース確保期間領域の表示色の変更（Ｓ１０６）、及び、リソース確保期間の変更情報を取得したか否かの判定（Ｓ１０７）の動作が繰り返される。
【００５３】
図８乃至図１４は、ユーザの操作によってリソース確保期間が変更される場合のタイミングチャート画像の例を示す図である。まず、図７に示すタイミングチャート画像において、タスク３におけるリソース確保期間領域１６−１及び１６−２が図８に示すように移動すると、その移動に対応するチャートデータが作成される。移動後のリソース確保期間領域１６−１及び１６−２に対応するリソース確保期間は、他のタスクにおけるリソース確保期間領域に対応するリソース確保期間と時間的に重複していない。従って、競合判定部５６は、リソース確保期間領域１６−１及び１６−２に対応するリソース確保期間をリソース確保が競合していない期間として特定することになる。このため、図８に示すように移動後のリソース確保期間領域１６−１及び１６−２の表示色が初期設定された色に戻されたタイミングチャート画像が再作成され、表示される。
【００５４】
次に、図８に示すタイミングチャート画像において、タスク２におけるリソース確保期間領域１４−１が図９に示すように移動すると、その移動に対応するチャートデータが作成される。移動後のリソース確保期間領域１４−１に対応するリソース確保期間は、タスク３におけるリソース確保期間領域１６−３に対応するリソース確保期間と時間的に重複し、一方、リソース確保期間領域１４−１の移動によってタスク１におけるリソース確保期間領域１２−１に対応するリソース確保期間は他のタスクにおけるリソース確保期間領域と時間的に重複しなくなる。従って、競合判定部５６は、リソース確保期間領域１２−１に対応するリソース確保期間をリソース確保が競合していない期間として特定し、リソース確保期間領域１４−１及び１６−３に対応するリソース確保期間をリソース確保が競合している期間として特定することになる。このため、図９に示すように、リソース確保期間領域１２−１の表示色が初期設定された色に戻され、リソース確保期間領域１４−１及び１６−３の表示色が変更されたタイミングチャート画像が再作成され、表示される。
【００５５】
次に、図９に示すタイミングチャート画像において、タスク３におけるリソース確保期間領域１６−３及び１６−４が図１０に示すように移動すると、その移動に対応するチャートデータが作成される。移動後のリソース確保期間領域１６−３に対応するリソース確保期間は、タスク２におけるリソース確保期間領域１４−２に対応するリソース確保期間と時間的に重複し、一方、移動後のリソース確保期間領域１６−４に対応するリソース確保期間は、他のタスクにおけるリソース確保期間領域に対応するリソース確保期間と時間的に重複していない。従って、競合判定部５６は、リソース確保期間領域１６−３に対応するリソース確保期間をリソース確保が競合している期間として特定し、リソース確保期間領域１６−４に対応するリソース確保期間をリソース確保が競合していない期間として特定することになる。このため、図１０に示すように移動後のリソース確保期間領域１４−３の表示色が変更され、移動後のリソース確保期間領域１６−４の表示色が初期設定された色に戻されたタイミングチャート画像が再作成され、表示される。
【００５６】
次に、図１０に示すタイミングチャート画像において、タスク２におけるリソース確保期間領域１４−２が図１１に示すように移動すると、その移動に対応するチャートデータが作成される。移動後のリソース確保期間領域１４−２に対応するリソース確保期間は、タスク３におけるリソース確保期間領域１６−６に対応するリソース確保期間と時間的に重複している。従って、競合判定部５６は、リソース確保期間領域１４−２に対応するリソース確保期間をリソース確保が競合している期間として特定することになる。このため、図１１に示すように移動後のリソース確保期間領域１４−２の表示色が変更されたタイミングチャート画像が再作成され、表示される。
【００５７】
次に、図１１に示すタイミングチャート画像において、タスク３におけるリソース確保期間領域１６−５及び１６−６が図１２に示すように移動すると、その移動に対応するチャートデータが作成される。移動後のリソース確保期間領域１６−５及び１６−６に対応するリソース確保期間は、他のタスクにおけるリソース確保期間領域に対応するリソース確保期間と時間的に重複しておらず、リソース確保期間領域１６−５及び１６−６の移動によってタスク１におけるリソース確保期間領域１２−２及びタスク２におけるリソース確保期間領域１４−２に対応するリソース確保期間も他のタスクにおけるリソース確保期間領域と時間的に重複していない。従って、競合判定部５６は、リソース確保期間領域１６−５、１６−６、１２−２及び１４−２に対応するリソース確保期間をリソース確保が競合していない期間として特定することになる。このため、図１２に示すように移動後のリソース確保期間領域１６−５、１６−６、１２−２及び１４−２の表示色が初期設定された色に戻されたタイミングチャート画像が再作成され、表示される。
【００５８】
次に、図１２に示すタイミングチャート画像において、タスク３におけるリソース確保期間領域１６−７及び１６−８が図１３に示すように移動すると、その移動に対応するチャートデータが作成される。移動後のリソース確保期間領域１６−７及び１６−８に対応するリソース確保期間は、他のタスクにおけるリソース確保期間領域に対応するリソース確保期間と時間的に重複していない。従って、競合判定部５６は、リソース確保期間領域１６−７及び１６−８に対応するリソース確保期間をリソース確保が競合していない期間として特定することになる。このため、図１３に示すように移動後のリソース確保期間領域１６−７及び１６−８の表示色が初期設定された色に戻されたタイミングチャート画像が再作成され、表示される。
【００５９】
次に、図１３に示すタイミングチャート画像において、タスク２におけるリソース確保期間領域１４−４が図１４に示すように移動すると、その移動に対応するチャートデータが作成される。移動後のリソース確保期間領域１４−４に対応するリソース確保期間は、他のタスクにおけるリソース確保期間領域に対応するリソース確保期間と時間的に重複しておらず、リソース確保期間領域１４−４の移動によってタスク１におけるリソース確保期間領域１２−３に対応するリソース確保期間も他のタスクにおけるリソース確保期間領域に対応するリソース確保期間と時間的に重複していない。従って、競合判定部５６は、リソース確保期間領域１４−４及び１２−３に対応するリソース確保期間をリソース確保が競合していない期間として特定することになる。このため、図１４に示すように移動後のリソース確保期間領域１４−４の表示色と、リソース確保期間領域１２−３の表示色が初期設定された色に戻されたタイミングチャート画像が再作成され、表示される。
【００６０】
再び、図３に戻って説明する。Ｓ１０７においてリソース確保期間変更情報を取得していないと判断された場合や、Ｓ１０５においてリソース確保の競合がないと判定された場合、タイミングチャート作成部５４は、ユーザによる操作部１０５の操作の情報に基づいて、終了指示がなされたか否かを判定する（Ｓ１０８）。終了指示がなされた場合には、一連の動作を終了する。一方、終了指示がなされていない場合には、リソース確保情報の取得（Ｓ１０１）以降の動作が繰り返される。
【００６１】
このように、タイミングチャート作成支援システム１００は、リソース確保情報に対応するタイミングチャートを作成するとともに、複数のタスクによるリソース確保が競合する場合には、そのタスクのリソース確保期間を特定して表すタイミングチャートを作成、表示する。このため、ユーザは、どのタスクによるリソース確保が競合しているか、更には、どのタスクのリソース確保期間を変更すれば、競合が防止されるのか等を容易に把握することができる。また、タイミングチャート作成支援システム１００は、ユーザの操作によってリソース確保期間が変更された場合には、その変更に応じたタイミングチャートを作成する。このため、ユーザがタスクのリソース確保期間の変更を要求するような場合に、その要求に応じてリソース確保期間が変更されたタイミングチャートの作成、表示が可能となり、最終的に、図１４に示すような複数のタスクによるリソース確保が競合しないように計画されるタイミングチャートの作成を支援することができる。
【００６２】
図１５は、タイミングチャート作成支援システム１００の第２の動作を示すフローチャートである。チャートデータ作成部５４は、タスク間で送受され、受信先のタスクによるリソース確保の開始の契機となり得るメッセージの通信を表すメッセージ通信情報を取得したか否かを判定する（Ｓ２０１）。例えば、ユーザは、操作部１０５により、タイミングチャート画像が表示されている状態で、１のタスクにおけるリソース確保期間領域の終端と、他のタスクにおけるリソース確保期間領域の始端とを結んだメッセージ線を記述する操作を行うことができる。あるいは、ユーザは、操作部１０５により、最初にタスク１からタスク２へメッセージが送られ、次にタスク２からタスク３へメッセージが送られる等のメッセージの送受順序を入力する操作を行うことができる。情報取得部５２は、これらの操作の情報をメッセージ通信情報として取得し、タイミングチャート作成部５４へ送る。
【００６３】
メッセージ通信情報を取得した場合、タイミングチャート作成部５４は、そのメッセージ通信情報に基づいて、メッセージの送受を表したチャートデータを再作成する（Ｓ２０２）。具体的には、タイミングチャート作成部５４は、メッセージ通信情報に基づいて、メッセージの送信元となるタスクにおけるリソース確保期間と、受信先となるタスクにおけるリソース確保期間とを特定する。更に、タイミングチャート作成部５４は、図１６に示すように、チャートデータ内のリソース確保期間のうち、メッセージの送信元となるタスクにおけるリソース確保期間に、当該メッセージの受信先のタスクにおけるリソース確保期間の識別情報を付加するとともに、メッセージの受信先となるタスクにおけるリソース確保期間に、当該メッセージの送信元のタスクにおけるリソース確保期間の識別情報を付加する。
【００６４】
次に、タイミングチャート作成部５４は、メッセージ通信情報に基づいて再作成したチャートデータに基づいて、メッセージ線を含んだタイミングチャート画像を作成し（Ｓ２０３）、表示制御部６６は、当該メッセージ線を含んだタイミングチャート画像をモニタ１０６に表示させる処理を行う（Ｓ２０４）。
【００６５】
図１７は、メッセージ線を含んだタイミングチャート画像の一例を示す図である。図１７に示すタイミングチャート画像では、メッセージ線１７−１乃至１７−９（以下、これらをまとめて適宜「メッセージ線１７」と称する）が含まれている。例えば、メッセージ線１７−１は、タスク１においてリソース確保期間領域１２−１に対応するリソース確保期間が終了したときに、タスク１からタスク３にメッセージが送られ、当該タスク３においてリソース確保期間領域１６−１及び１６−２に対応するリソース確保期間が開始されることを表しており、矢印の始端がタスク１におけるメッセージの送信タイミングとなり、終端がタスク３におけるメッセージの受信タイミングとなっている。なお、ユーザによってリソース確保期間領域の移動操作がなされた場合、その移動に伴って、当該リソース確保期間領域に対応するリソース確保期間の開始タイミングと一致する受信タイミングのメッセージを表すメッセージ線１７も、その一致を維持するように連動して変更される。
【００６６】
このように、タイミングチャート作成支援システム１００は、ユーザの操作によってタスク間にメッセージが設定される場合には、そのメッセージの送受を特定したタイミングチャートを作成しており、タスク間におけるメッセージの送受を反映したタイミングチャートの作成、表示が可能となり、ユーザは、タスク間のメッセージの送受を把握することができる。
【００６７】
なお、メッセージ線１７とリソース確保周期領域１１、１３、１５の囲み線とが重なってリソース確保周期が視認しづらくなることを防止すべく、タイミングチャート作成部５４は、ユーザの操作指示に応じて、図１８に示すタイミングチャート画像のように、リソース確保周期領域１１、１３、１５の囲み線を太くしてもよい。
【００６８】
また、タイミングチャート作成部５４は、ユーザの操作指示に応じて、図１９に示すタイミングチャート画像のように、各タスクのタイミングチャート毎に開始タイミングを変更してもよい。この場合、タイミングチャート作成部５４は、チャートデータに、タイミングチャートの初期の開始タイミングと変更後の開始タイミングとの時間差を追加し、そのチャートデータに基づいて、追加された時間差だけ開始を遅らせたタイミングチャート画像を作成する。
【００６９】
また、タイミングチャート作成部５４は、ユーザの操作指示に応じて、図２０に示すタイミングチャート画像のように、短いリソース確保周期におけるリソース確保期間領域から長いリソース確保周期におけるリソース確保期間領域へ順次メッセージ線１７を伸ばしたタイミングチャート画像を作成するようにしてもよい。この場合、タイミングチャート作成部５４は、チャートデータ内の各タスク毎のリソース確保周期により、そのリソース確保周期の時間長を認識し、当該時間長に基づいてメッセージの送受順序を決定し、更に当該送受順序に基づいて、Ｓ２０２と同様の動作によってメッセージの送受を表したチャートデータを作成する。その後、タイミングチャート作成部５４は、その作成したチャートデータに基づいて、タイミングチャート画像を作成する。
【００７０】
なお、このようにしてメッセージの送受順序が決定される場合、メッセージの受信先のタスクにおいて、その受信タイミングのリソース確保周期内で既にリソース確保がなされている、換言すれば、リソース確保期間が経過している等の理由によって、当該メッセージがリソース確保の開始の契機とならない場合がある。メッセージ判定部５８は、タイミングチャート作成部５４によって再作成されたチャートデータに基づいて、メッセージがリソース確保の開始の契機となるか否かを判定するものであり、その判定結果をタイミングチャート作成部５４へ送る。タイミングチャート作成部５４は、この判定結果に基づいて、メッセージがリソース確保の開始の契機とならない場合には、当該メッセージの受信先のタスクにおける受信タイミングを強調表示したタイミングチャート画像を作成する。
【００７１】
例えば、図２０では、タスク１におけるリソース確保周期領域１１−３に対応するリソース確保周期において、リソース確保期間領域１２−３に対応するリソース確保期間が経過した後に、再度、タスク１は、タスク２からのメッセージを受信することを表しているが、このメッセージは、既にリソース確保期間が経過しているため、リソース確保の開始の契機とならない。このため、受信タイミングの強調表示１８がタイミングチャート画像に含まれることになる。
【００７２】
また、タイミングチャート作成部５４は、メッセージの送受における通信遅延を考慮したタイミングチャート画像を作成するようにしてもよい。図２１は、通信遅延の情報を含んだリソース確保情報の一例を示す図である。図２１では、各タスク間のメッセージの送受における最小の通信遅延と最大の通信遅延とが含まれている。
【００７３】
例えば、ユーザが操作部１０５を操作して、通信遅延の情報の入力操作を行うと、情報取得部５２は、その入力操作に応じ、通信遅延の情報を含んだリソース確保情報を作成し、タイミングチャート作成部５４へ送る。タイミングチャート作成部５４は、リソース確保情報内の通信遅延の情報を取得すると、チャートデータに最小通信遅延及び最大通信遅延を追加し、更に、当該チャートデータに基づいて、最小通信遅延及び最大通信遅延を表すメッセージ線を含んだタイミングチャート画像を作成する。
【００７４】
図２２は、通信遅延を考慮したタイミングチャート画像の第１の例を示す図である。図２２に示すタイミングチャート画像では、最小通信遅延及び最大通信遅延を表すメッセージ線１９−１乃至１９−３（以下、これらをまとめて適宜「メッセージ線１９」と称する）が含まれている。例えば、メッセージ線１９−１は、タスク３においてリソース確保期間領域１６−１及び１６−２に対応するリソース確保期間が終了したときに、タスク３からタスク２にメッセージが送られることを表しており、２本の矢印の始端がタスク３におけるメッセージの送信タイミングとなり、終端が最小通信遅延の場合と最大通信遅延の場合におけるタスク２におけるメッセージの受信タイミングとなっている。
【００７５】
このようにして、タスク間におけるメッセージの通信遅延を反映したタイミングチャートの作成、表示が可能となり、ユーザは、通信遅延の状態を把握することができる。
【００７６】
ところで、通信遅延を考慮しない場合には、複数のタスクによるリソース確保が競合しなくても、通信遅延を考慮することによって、リソース確保が競合する場合がある。競合判定部５６は、通信遅延を考慮してリソース確保の競合を判定する場合、タイミングチャート作成部５４によって作成されたチャートデータに基づいて、メッセージの受信先のタスクにおいてリソースが確保される可能性のある期間を特定する。具体的には、競合判定部５６は、メッセージの受信先のタスクにおいて、通信遅延を考慮しない場合におけるリソース確保期間の開始タイミングから最小通信遅延だけ経過後のタイミングから、通信遅延を考慮しない場合におけるリソース確保期間の終了タイミングから最大通信遅延だけ経過後のタイミングまでの期間を、メッセージの受信先のタスクにおいてリソースが確保される可能性のある期間であると特定する。
【００７７】
そして、競合判定部５６は、メッセージの受信先のタスクにおいてリソースが確保される可能性のある期間が、他のタスクにおけるリソースが確保される可能性のある期間や、リソース確保期間と時間的に重複している場合、複数のタスクにおけるリソース確保が競合していると判定する。
【００７８】
複数のタスクによるリソース確保が競合している場合、競合判定部５６は、チャートデータにおける、その競合が生じているタスクのリソース確保期間領域の表示色を変更して、タイミングチャート作成部５４へ送る。タイミングチャート作成部５４は、取得したチャートデータに基づいて、競合が生じているタスクのリソース確保期間領域の表示色を変更したタイミングチャート画像を作成する。なお、リソース確保の競合が生じているタスクのリソース確保期間領域の表示色を変更するとともに、競合が生じているタスクのリソース確保期間が存在することを通知するためのポップアップ画像等がタイミングチャート画像に含まれるようにしてもよい。
【００７９】
また、タイミングチャート作成部５４は、メッセージの最大通信遅延に応じてリソース確保期間を変更したタイミングチャート画像を作成することもできる。この場合、タイミングチャート作成部５４は、通信遅延の情報を取得すると、チャートデータに最小通信遅延及び最大通信遅延を追加するとともに、当該チャートデータ内のメッセージの受信先のタスクにおけるリソース確保期間の開始タイミングから最大通信遅延だけ経過後のタイミングを新たな開始タイミングとして設定し、リソース確保期間の終了タイミングから最大通信遅延だけ経過後のタイミングを新たな終了タイミングとして設定する。更に、タイミングチャート作成部５４は、その再作成したチャートデータに基づいて、タイミングチャート画像を作成する。
【００８０】
なお、チャートデータ内のリソース確保期間の開始タイミング及び終了タイミングを最大通信遅延に応じて変更する場合、変更後のリソース確保期間が対応するリソース確保周期内に収まらない場合がある。確保可否判定部６０は、タイミングチャート作成部５４からのチャートデータを取得し、当該チャートデータ内の変更後のリソース確保期間とリソース確保周期に基づいて、変更後のリソース確保期間が対応するリソース確保周期内に収まるか否か、換言すれば、リソース確保周期においてリソースを確保することができるか否かを判定し、その判定結果をタイミングチャート作成部５４へ送る。タイミングチャート作成部５４は、この判定結果に基づいて、リソース確保周期においてリソースを確保することができない場合には、対応するリソース確保周期やリソース確保期間の表示色を変更したタイミングチャート画像を作成する。なお、タスクのリソース確保期間領域の表示色を変更するとともに、リソースを確保することができないことを通知するためのポップアップ画像等がタイミングチャート画像に含まれるようにしてもよい。
【００８１】
図２３乃至図２５は、メッセージの最大通信遅延に応じてリソース確保期間を変更したタイミングチャート画像の一例を示す図である。図２３に示すタイミングチャート画像では、メッセージ線１９−１乃至１９−３で表されるメッセージ送受の最大通信遅延を考慮することによって、図２２と比較すると、タスク２におけるリソース確保期間領域１４−１、及び、タスク１におけるリソース確保期間領域１２−１に対応するリソース確保期間の開始タイミングが最大通信遅延である場合のメッセージの受信タイミングと一致している。また、最大通信遅延を考慮することによって、タスク３におけるリソース確保周期領域１５−２に対応するリソース確保周期において、リソース確保期間領域１６−３及び１６−４に対応するリソース確保期間が収まらないため、リソース確保周期領域１５−２の表示色が変更されるとともに、リソース確保期間領域１６−３及び１６−４がリソース確保周期領域１５−２の枠外に表示され、更に表示色が変更される。
【００８２】
また、図２４に示すタイミングチャート画像では、メッセージ線１９−１乃至１９−４で表されるメッセージ送受の最大通信遅延を考慮することによって、タスク２におけるリソース確保期間領域１４−１に対応するリソース確保期間、タスク３におけるリソース確保期間領域１６−１及び１６−２に対応するリソース確保期間、タスク２におけるリソース確保期間領域１４−２に対応するリソース確保期間、及び、タスク１におけるリソース確保期間領域１２−２に対応するリソース確保期間の開始タイミングが最大通信遅延である場合のメッセージの受信タイミングと一致している。また、最大通信遅延を考慮することによって、タスク１におけるリソース確保周期領域１１−２に対応するリソース確保周期において、リソース確保期間領域１２−２に対応するリソース確保期間が収まらないため、リソース確保期間領域１２−２の表示色が変更され、更に、当該リソース確保期間領域１２−２に対応するリソース確保期間の開始タイミングと受信タイミングが一致するメッセージに対応するメッセージ線１９−４が強調表示されている。
【００８３】
また、図２５に示すタイミングチャート画像では、メッセージ線１９−１乃至１９−５で表されるメッセージ送受の最大通信遅延を考慮することによって、タスク２におけるリソース確保期間領域１４−１に対応するリソース確保期間、タスク３におけるリソース確保期間領域１６−１及び１６−２に対応するリソース確保期間、タスク１におけるリソース確保期間領域１２−２に対応するリソース確保期間、及び、タスク２におけるリソース確保期間領域１４−２に対応するリソース確保期間の開始タイミングが最大通信遅延である場合のメッセージの受信タイミングと一致している。また、最大通信遅延を考慮することによって、タスク３におけるリソース確保周期領域１５−２に対応するリソース確保周期において、リソース確保期間領域１６−３及び１６−４に対応するリソース確保期間が収まらないため、リソース確保周期領域１５−２の表示色が変更されるとともに、リソース確保期間領域１６−３及び１６−４がリソース確保周期領域１５−２の枠外に表示され、更に表示色が変更される。更には、リソース確保期間領域１６−３に対応するリソース確保期間の開始タイミングと受信タイミングが一致するメッセージに対応するメッセージ線１９−５が強調表示されている。
【００８４】
また、タイミングチャート作成部５４は、メッセージの最小通信遅延に応じてリソース確保期間を変更したタイミングチャート画像を作成することもできる。この場合、タイミングチャート作成部５４は、通信遅延の情報を取得すると、チャートデータに最小通信遅延及び最大通信遅延を追加するとともに、当該チャートデータ内のメッセージの受信先のタスクにおけるリソース確保期間の開始タイミングから最小通信遅延だけ経過後のタイミングを新たな開始タイミングとして設定し、リソース確保期間の終了タイミングから最小通信遅延だけ経過後のタイミングを新たな終了タイミングとして設定する。更に、タイミングチャート作成部５４は、その再作成したチャートデータに基づいて、タイミングチャート画像を作成する。
【００８５】
図２６は、メッセージの最小通信遅延に応じてリソース確保期間を変更したタイミングチャート画像の一例を示す図である。図２６に示すタイミングチャート画像では、メッセージ線１９−１乃至１９−３で表されるメッセージ送受の最小通信遅延を考慮することによって、タスク２におけるリソース確保期間領域１４−１、及び、タスク１におけるリソース確保期間領域１２−１に対応するリソース確保期間の開始タイミングが最小通信遅延である場合のメッセージの受信タイミングと一致している。
【００８６】
また、タイミングチャート作成部５４は、１のタスクから複数のタスクに対して同時にメッセージが送られる場合に、１の受信先のタスクによるリソース確保の開始を他の受信先のタスクのリソース確保期間だけ遅らせたタイミングチャート画像を作成することもできる。
【００８７】
この場合、タイミングチャート作成部５４は、情報取得部５２から通信遅延の情報を取得すると、チャートデータに最小通信遅延及び最大通信遅延を追加するとともに、メッセージの受信先の各タスクについて、リソース確保の優先度を特定する。この優先度は、例えば、ユーザの操作指示に応じて設定されたものでもよく、予め定められたものでもよい。
【００８８】
次に、タイミングチャート作成部５４は、チャートデータ内の優先度の最も高いタスクのリソース確保期間の開始タイミングについては、当該開始タイミングから最大通信遅延だけ経過後のタイミングを新たな開始タイミングとして設定し、リソース確保期間の終了タイミングについては、当該終了タイミングから最大通信遅延だけ経過後のタイミングを新たな終了タイミングとして設定する。また、タイミングチャート作成部５４は、チャートデータ内の２番目以降の優先度のタスクのリソース確保期間の開始タイミングについては、当該開始タイミングから、最大通信遅延と当該タスクよりも優先度の高い他のタスクの先行するリソース確保期間との合計値だけ経過後のタイミングを新たな開始タイミングとして設定し、リソース確保期間の終了タイミングについては、当該終了タイミングから、最大通信遅延と当該タスクよりも優先度の高い他のタスクの先行するリソース確保期間との合計値だけ経過後のタイミングを新たな終了タイミングとして設定する。更に、タイミングチャート作成部５４は、再作成したチャートデータに基づいて、タイミングチャート画像を作成する。
【００８９】
図２７は、１のタスクから複数のタスクに対して同時にメッセージが送られる場合に、１の受信先のタスクによるリソース確保の開始を他の受信先のタスクのリソース確保期間だけ遅らせたタイミングチャート画像の一例を示す図である。図２７に示すタイミングチャート画像は、タスク１からタスク２及び３に同時にメッセージが送られ、且つ、リソース確保の優先度はタスク３が高く、タスク２が低くなっている場合の例である。
【００９０】
図２７に示すタイミングチャート画像では、タスク３におけるリソース確保期間領域１６−１乃至１６−８に対応するリソース確保期間の開始タイミングは、メッセージ線１９−１乃至１９−４で表されるメッセージ送受の最大通信遅延を考慮することによって、最大通信遅延である場合のメッセージの受信タイミングと一致している。また、タスク２におけるリソース確保期間領域１４−１乃至１４−４に対応するリソース確保期間の開始タイミングは、メッセージ線１９−１乃至１９−４で表されるメッセージ送受の最大通信遅延と、当該タスク２よりも優先度の高いタスク３における先行するリソース確保期間とを考慮することによって、最大通信遅延である場合のメッセージの受信タイミングから更にタスク３におけるリソース確保期間だけ経過後のタイミングとなっており、タスク３における先行するリソース確保期間が他タスクリソース確保期間線２０−１乃至２０−４によって表されている。
【００９１】
また、タイミングチャート作成部５４は、メッセージの最小通信遅延に応じてリソース確保期間を変更したタイミングチャートと、最大通信遅延に応じてリソース確保期間を変更したタイミングチャートの双方の画像を作成してもよい。
【００９２】
この場合、タイミングチャート作成部５４は、通信遅延の情報を取得すると、チャートデータに最小通信遅延及び最大通信遅延を追加するとともに、当該チャートデータ内のメッセージの受信先のタスクにおけるリソース確保期間の開始タイミングから最小通信遅延だけ経過後のタイミングを新たな開始タイミングとして設定し、リソース確保期間の終了タイミングから最小通信遅延だけ経過後のタイミングを新たな終了タイミングとして設定した第１のチャートデータと、メッセージの受信先のタスクにおけるリソース確保期間の開始タイミングから最大通信遅延だけ経過後のタイミングを新たな開始タイミングとして設定し、リソース確保期間の終了タイミングから最大通信遅延だけ経過後のタイミングを新たな終了タイミングとして設定した第２のチャートデータとを作成する。なお、タイミングチャート作成部５４は、リソース確保期間の開始タイミング及び終了タイミングを遅らせたことに合わせて、対応するリソース確保周期の開始タイミングをも遅らせたチャートデータを作成してもよい。
【００９３】
また、１のタスクから複数のタスクに対して同時にメッセージが送られる場合には、タイミングチャート作成部５４は、上述した手順により、チャートデータ内の２番目以降の優先度のタスクのリソース確保期間の開始タイミングについては、更に、当該タスクよりも優先度の高い他のタスクの先行するリソース確保期間だけ経過後のタイミングを新たな開始タイミングとして設定し、リソース確保期間の終了タイミングについては、当該タスクよりも優先度の高い他のタスクの先行するリソース確保期間だけ経過後のタイミングを新たな終了タイミングとして設定する。この場合も同様に、タイミングチャート作成部５４は、リソース確保期間の開始タイミング及び終了タイミングを遅らせたことに合わせて、対応するリソース確保周期の開始タイミングをも遅らせたチャートデータを作成してもよい。
【００９４】
図２８は、メッセージの最小通信遅延に応じてリソース確保期間を変更したタイミングチャートと、最大通信遅延に応じてリソース確保期間を変更したタイミングチャートの双方を含んだタイミングチャート画像の一例を示す図である。
【００９５】
図２８に示すタイミングチャート画像では、タスク２及びタスク３のタイミングチャートは、それぞれ最大通信遅延に対応するものと最小通信遅延に対応するものとが表されている。タスク２のタイミングチャートのうち、最小通信遅延に対応するタイミングチャートにはリソース確保期間領域１４−１−１及びリソース確保周期領域１３−１−１が表され、これらの開始タイミングは、最大通信遅延に対応するタイミングチャートに表されているリソース確保期間領域１４−１−２及びリソース確保周期領域１３−１−２よりも、最大通信遅延と最小通信遅延の差分だけ先行して表されている。同様に、タスク３のタイミングチャートのうち、最小通信遅延に対応するタイミングチャートにはリソース確保期間領域１６−１−１及びリソース確保周期領域１５−１−１が表され、これらの開始タイミングは、最大通信遅延に対応するタイミングチャートに表されているリソース確保期間領域１６−１−２及びリソース確保周期領域１５−１−２よりも、最大通信遅延と最小通信遅延の差分だけ先行して表されている。
【００９６】
また、タイミングチャート作成部５４は、１のタスクにおいてリソースを解放してから次にリソースを確保するまでの間隔（リソース確保間隔）に制限がある場合、当該リソース確保間隔を考慮したタイミングチャート画像を作成することもできる。
【００９７】
この場合、例えば、ユーザが操作部１０５を操作して、リソース確保間隔の情報の入力操作を行うと、情報取得部５２は、そのリソース確保間隔の情報を取得し、タイミングチャート作成部５４へ送る。タイミングチャート作成部５４は、リソース確保間隔の情報を取得すると、チャートデータにリソース確保間隔を追加し、更に、当該チャートデータに基づいて、リソース確保間隔を表す確保間隔線を含んだタイミングチャート画像を作成する。
【００９８】
また、確保間隔判定部６２は、タイミングチャート作成部５４からのチャートデータを取得し、当該チャートデータ内のリソース確保期間とリソース確保間隔とに基づいて、リソース確保期間がリソース確保間隔を満たしているか否かを判定する。具体的には、確保間隔判定部６２は、１のリソース確保期間の開始タイミングと、その１つ前のリソース確保期間の終了タイミングとを特定して、これらの間隔を算出し、当該間隔がリソース確保間隔を超えている場合には、１のリソース確保期間がリソース確保間隔を満たしていないと判定する。判定結果はタイミングチャート作成部５４へ送られる。タイミングチャート作成部５４は、この判定結果に基づいて、リソース確保間隔を満たしていないリソース確保期間の表示色を変更したタイミングチャート画像を作成する。なお、リソース確保間隔を満たしていないリソース確保期間の表示色を変更するとともに、リソース確保間隔を満たしていないリソース確保期間が存在することを通知するためのポップアップ画像等がタイミングチャート画像に含まれるようにしてもよい。
【００９９】
図２９は、リソース確保間隔を考慮したタイミングチャート画像の第１の例を示す図である。図２９に示すタイミングチャート画像では、リソース確保間隔を表す確保間隔線２１−１乃至２１−３（以下、これらをまとめて適宜「確保間隔線２１」と称する）が含まれている。また、タスク２のリソース確保期間領域１４−２−１及び１４−２−２に対応するリソース確保期間は、１つ前のリソース確保期間との間隔がリソース確保間隔を超えているため、これらリソース確保期間領域１４−２−１及び１４−２−２の表示色が変更されている。
【０１００】
図３０は、リソース確保間隔を考慮したタイミングチャート画像の第２の例を示す図である。図３０に示すタイミングチャート画像では、図２９に示すタイミングチャート画像と比較すると、新たに確保間隔線２２が追加されている。この確保間隔線２２は、１のリソース確保期間が最大通信遅延の場合であり、その１つ前のリソース確保期間が最小通信遅延の場合における、１のリソース確保期間と、その１つ前のリソース確保期間との間隔がリソース確保間隔を超えているか否かを、ユーザが容易に認識可能とするために表示されるものである。
【０１０１】
このようにして、リソース確保間隔を特定し、更に、当該リソース確保間隔を満たしていないタスクのリソース確保期間を特定したタイミングチャートが作成、表示されることにより、ユーザは、リソース確保間隔と、当該リソース確保間隔を満たしていないタスクのリソース確保期間を把握することが可能となる。
【０１０２】
また、タイミングチャート作成部５４は、複数のタスクのリソース確保周期の終端が一致するタイミングまでのタイミングチャート画像を作成することもできる。この場合、一致タイミング検出部６４は、タイミングチャート作成部５４からのチャートデータを取得し、当該チャートデータ内のリソース確保周期に基づいて、複数のタスクのリソース確保周期の最大公約数を算出する。この算出結果は、タイミングチャート作成部５４へ送られる。タイミングチャート作成部５４は、この算出結果である最大公約数に対応するタイミングを終端とするタイミングチャート画像を作成するとともに、当該タイミングを表すマークを付加する。
【０１０３】
図３１は、複数のタスクのリソース確保周期の終端が一致するタイミングをまでのタイミングチャート画像の一例を示す図である。図３１では、タスク１及びタスク２について、リソース確保周期の最大公約数に対応するタイミングを終端とするタイミングチャート画像とともに、当該タイミングを表すマーク２３が含まれている。
【０１０４】
また、タイミングチャート作成部５４は、複数のタスクがグループ分けされる場合に、グループに属するタスク間で、実行が競合するタスクを特定したタイミングチャート画像を作成するようにしてもよい。
【０１０５】
図３２は、複数のタスクがグループ分けされる場合におけるリソース確保情報の一例を示す図である。図３２では、タスクが属するグループの情報、同一グループに属するタスク間で実行が競合する場合にどれを優先するのかを表す優先度、タスクの実行周期及び実行期間とが含まれている。
【０１０６】
例えば、ユーザが操作部１０５を操作して、グループ分けと、タスクの実行周期及び実行期間の設定のための操作を行うと、情報取得部５２は、その操作に応じ、図３２に示すようなタスクが属するグループの情報、優先度、タスクの実行周期及び実行期間とを含んだリソース確保情報を作成し、タイミングチャート作成部５４へ送る。タイミングチャート作成部５４は、リソース確保情報内のグループの情報を取得すると、チャートデータに各タスクが属するグループの識別情報、優先度、実行周期及び実行期間を追加したチャートデータを作成する。更に、タイミングチャート作成部５４は、当該チャートデータに基づいて、タスクのグループ分けを表すグループ線とタスクの実行期間を表す実行期間領域とを含んだタイミングチャート画像を作成する。
【０１０７】
図３３は、タスクのグループ分けと実行期間とを考慮したタイミングチャート画像の第１の例を示す図である。図３３に示すタイミングチャート画像では、グループ線２４と、実行期間領域２５とが含まれており、グループ線２４は、タスク１及び２のタイミングチャートを取り囲むように表され、これらタスク１及び２が同一グループに属することを表している。
【０１０８】
競合判定部５６は、タイミングチャート作成部５４からのチャートデータを取得すると、当該チャートデータ内のグループの識別情報、実行周期及び実行期間に基づいて、同一グループに属するタスクの実行が競合しているか否か、換言すれば、同一グループに属するタスクの実行期間が時間的に重複しているか否かを判定する。
【０１０９】
同一グループに属するタスクの実行が競合している場合、競合判定部５６は、チャートデータにおける、その競合が生じているタスクの実行期間をタイミングチャート作成部５４へ通知する。タイミングチャート作成部５４は、この通知を受けると、チャートデータ内の競合が生じているタスクの実行期間に対応する優先度を把握し、優先度の低いタスクの実行期間領域のうち、優先度の高いタスクの実行期間領域と重複する部分については、タスクが実行されずに待機状態であることを表す待機期間領域に変更し、更に実行期間領域の終端に、実行期間が延長されたことを表す待機期間領域と同一の長さの延長期間領域を追加したタイミングチャート画像を作成する。
【０１１０】
図３４は、タスクのグループ分けと実行期間とを考慮したタイミングチャート画像の第２の例を示す図である。図３３に示すタイミングチャート画像では、同一グループに属するタスク１の実行期間領域２５に対応する実行期間領域とタスク２の実行期間領域２６に対応する実行期間領域とが時間的に重複している。この場合、上述した同一グループに属するタスクの実行の競合判定によって、図３４に示すタイミングチャート画像では、優先度の低いタスク（ここではタスク２）の実行期間領域２６のうち、優先度の高いタスク（ここではタスク１）の実行期間領域２５と重複する部分については、待機期間領域２８に変更され、更に実行期間領域２６の終端に、待機期間領域２８と同一の長さの延長期間領域２９が追加されている。
【０１１１】
また、チャートデータ作成部５４は、上述と同様、ユーザの操作等に応じたリソース確保期間の変更情報を取得した場合には、図３５に示すように、リソース確保期間領域（個々ではリソース確保期間領域１４）を移動させたタイミングチャート画像を生成する。更に、チャートデータ作成部５４は、チャートデータ内のリソース確保期間と、タスクの実行期間とを比較し、リソース確保期間の開始タイミングや終了タイミングがタスクの実行期間の範囲外である場合、換言すれば、タスクがリソース確保の開始や終了を把握することができない状態になる場合には、図３６に示すように、その旨を表す警告線３０をタイミングチャート画像に追加することができる。また、チャートデータ作成部５４は、リソースを確保する際のオーバヘッド時間が存在する場合には、チャートデータ内のリソース確保期間の開始タイミング及び終了タイミングを、オーバヘッド時間だけ経過後のタイミングに変更し、更に、この変更後のチャートデータに基づいて、図３７に示すように、リソース確保期間領域（ここではリソース確保期間領域１２）の前端にオーバヘッド時間領域３０を挿入したタイミングチャート画像を作成することができる。
【産業上の利用可能性】
【０１１２】
以上、説明したように、本発明に係るタイミングチャート作成支援システム、タイミングチャート作成支援方法及びタイミングチャート作成支援プログラムによれば、リソース確保の競合を防止したタイミングチャートを作成する場合において、ユーザに対する適切な支援を行うことが可能となり、タイミングチャート作成支援システム等として有用である。
【図面の簡単な説明】
【０１１３】
【図１】タイミングチャート作成支援システムのハードウェア構成を示す図である。
【図２】タイミングチャート作成支援システムの機能ブロック図である。
【図３】タイミングチャート作成支援システムの第１の動作を示すフローチャートである。
【図４】リソース確保情報の一例を示す図である。
【図５】チャートデータの第１の例を示す図である。
【図６】タイミングチャート画像の第１の例を示す図である。
【図７】タイミングチャート画像の第２の例を示す図である。
【図８】リソース確保期間が変更される場合のタイミングチャート画像の第１の例を示す図である。
【図９】リソース確保期間が変更される場合のタイミングチャート画像の第２の例を示す図である。
【図１０】リソース確保期間が変更される場合のタイミングチャート画像の第３の例を示す図である。
【図１１】リソース確保期間が変更される場合のタイミングチャート画像の第４の例を示す図である。
【図１２】リソース確保期間が変更される場合のタイミングチャート画像の第５の例を示す図である。
【図１３】リソース確保期間が変更される場合のタイミングチャート画像の第６の例を示す図である。
【図１４】リソース確保期間が変更される場合のタイミングチャート画像の第７の例を示す図である。
【図１５】タイミングチャート作成支援システムの第２の動作を示すフローチャートである。
【図１６】チャートデータの第２の例を示す図である。
【図１７】メッセージ線を含んだタイミングチャート画像の第１の例を示す図である。
【図１８】リソース確保周期領域の囲み線を太くしたタイミングチャート画像の一例を示す図である。
【図１９】タスク毎に開始タイミングを変更したタイミングチャート画像の一例を示す図である。
【図２０】メッセージ線を含んだタイミングチャート画像の第２の例を示す図である。
【図２１】通信遅延の情報を含んだリソース確保情報の一例を示す図である。
【図２２】通信遅延を考慮したタイミングチャート画像の一例を示す図である。
【図２３】最大通信遅延に応じてリソース確保期間を変更したタイミングチャート画像の第１の例を示す図である。
【図２４】最大通信遅延に応じてリソース確保期間を変更したタイミングチャート画像の第２の例を示す図である。
【図２５】最大通信遅延に応じてリソース確保期間を変更したタイミングチャート画像の第３の例を示す図である。
【図２６】最小通信遅延に応じてリソース確保期間を変更したタイミングチャート画像の一例を示す図である。
【図２７】１のタスクから複数のタスクに対して同時にメッセージが送られる場合におけるタイミングチャート画像の一例を示す図である。
【図２８】最小通信遅延及び最大通信遅延に応じてリソース確保期間を変更したタイミングチャート画像の一例を示す図である。
【図２９】リソース確保間隔を考慮したタイミングチャート画像の第１の例を示す図である。
【図３０】リソース確保間隔を考慮したタイミングチャート画像の第２の例を示す図である。
【図３１】複数のタスクのリソース確保周期の終端が一致するタイミングをまでのタイミングチャート画像の一例を示す図である。
【図３２】複数のタスクがグループ分けされる場合におけるリソース確保情報の一例を示す図である。
【図３３】タスクのグループ分けと実行期間とを考慮したタイミングチャート画像の第１の例を示す図である。
【図３４】タスクのグループ分けと実行期間とを考慮したタイミングチャート画像の第２の例を示す図である。
【図３５】タスクのグループ分けと実行期間とを考慮したタイミングチャート画像の第３の例を示す図である。
【図３６】タスクのグループ分けと実行期間とを考慮したタイミングチャート画像の第４の例を示す図である。
【図３７】タスクのグループ分けと実行期間とを考慮したタイミングチャート画像の第５の例を示す図である。
【符号の説明】
【０１１４】
５２  情報取得部
５４  タイミングチャート作成部
５６  競合判定部
５８  メッセージ判定部
６０  確保可否判定部
６２  確保間隔判定部
６４  一致タイミング検出部
６６  表示制御部
１００  タイミングチャート作成支援システム
１０１  ＣＰＵ
１０２  メモリ
１０３  ＨＤＤ
１０５  操作部
１０６  モニタ
１０７  内部バス
【図１】
2008003946.tif 000003
【図２】
2008003946.tif 000004
【図３】
2008003946.tif 000005
【図４】
2008003946.tif 000006
【図５】
2008003946.tif 000007
【図６】
2008003946.tif 000008
【図７】
2008003946.tif 000009
【図８】
2008003946.tif 000010
【図９】
2008003946.tif 000011
【図１０】
2008003946.tif 000012
【図１１】
2008003946.tif 000013
【図１２】
2008003946.tif 000014
【図１３】
2008003946.tif 000015
【図１４】
2008003946.tif 000016
【図１５】
2008003946.tif 000017
【図１６】
2008003946.tif 000018
【図１７】
2008003946.tif 000019
【図１８】
2008003946.tif 000020
【図１９】
2008003946.tif 000021
【図２０】
2008003946.tif 000022
【図２１】
2008003946.tif 000023
【図２２】
2008003946.tif 000024
【図２３】
2008003946.tif 000025
【図２４】
2008003946.tif 000026
【図２５】
2008003946.tif 000027
【図２６】
2008003946.tif 000028
【図２７】
2008003946.tif 000029
【図２８】
2008003946.tif 000030
【図２９】
2008003946.tif 000031
【図３０】
2008003946.tif 000032
【図３１】
2008003946.tif 000033
【図３２】
2008003946.tif 000034
【図３３】
2008003946.tif 000035
【図３４】
2008003946.tif 000036
【図３５】
2008003946.tif 000037
【図３６】
2008003946.tif 000038
【図３７】
2008003946.tif 000039