JP2001184221A - リアルタイムｏｓおよびタスク実行制御方法 - Google Patents
リアルタイムｏｓおよびタスク実行制御方法Info
- Publication number
- JP2001184221A JP2001184221A JP36553899A JP36553899A JP2001184221A JP 2001184221 A JP2001184221 A JP 2001184221A JP 36553899 A JP36553899 A JP 36553899A JP 36553899 A JP36553899 A JP 36553899A JP 2001184221 A JP2001184221 A JP 2001184221A
- Authority
- JP
- Japan
- Prior art keywords
- task
- control
- inter
- execution
- real
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Stored Programmes (AREA)
Abstract
(57)【要約】
【課題】 要求仕様をより正確に、機械的に複数のタス
クの連携動作に反映させると共に、連携動作が要求仕様
を正確に実現しているかを容易に検証する。 【解決手段】 タスク連携モデル変換部(103)は、タス
ク実行構造の設計で得られるタスク実行パラメータに基
づき作成したタスク間連携モデル(102)を、リアルタイ
ムＯＳが理解できる内部表現に変換し、タスク間連携モ
デル格納部(104)は、これを格納する。タスク制御タイ
ミングマーカー(109)は、ユーザプログラム(123) のタ
スク毎の実装コード(124)に埋め込まれる。タスク制御
システムコール発行(110)は、タスク制御タイミングマ
ーカー(109)をリアルタイムＯＳ(101)に入力する。タス
ク制御内容抽出部(108)は、タスク制御タイミングマー
カー(109)の情報に基づいて、タスク間連携モデル(105)
からタスク制御の内容を抽出し、タスク実行制御部(12
1)に対してタスク制御要求(112)を発行する。
クの連携動作に反映させると共に、連携動作が要求仕様
を正確に実現しているかを容易に検証する。 【解決手段】 タスク連携モデル変換部(103)は、タス
ク実行構造の設計で得られるタスク実行パラメータに基
づき作成したタスク間連携モデル(102)を、リアルタイ
ムＯＳが理解できる内部表現に変換し、タスク間連携モ
デル格納部(104)は、これを格納する。タスク制御タイ
ミングマーカー(109)は、ユーザプログラム(123) のタ
スク毎の実装コード(124)に埋め込まれる。タスク制御
システムコール発行(110)は、タスク制御タイミングマ
ーカー(109)をリアルタイムＯＳ(101)に入力する。タス
ク制御内容抽出部(108)は、タスク制御タイミングマー
カー(109)の情報に基づいて、タスク間連携モデル(105)
からタスク制御の内容を抽出し、タスク実行制御部(12
1)に対してタスク制御要求(112)を発行する。
Description
【０００１】
【発明の属する技術分野】本発明は、リアルタイムＯＳ
に関する。
に関する。
【０００２】
【従来の技術】リアルタイムＯＳとは、実時間処理用Ｏ
Ｓをいい、制御，通信，周辺装置等の組み込みＯＳが主
な用途となる。そして、マン・マシン・インタフェース
よりは実行速度が重視される。このような機器組込みリ
アルタイムＯＳを用いたソフトウェアの開発も、一般の
ソフトウェアの開発と同様に、図６に示すように、ま
ず、要求仕様（301）の作成およびシステム分析（302）
から成る分析フェーズにおいて、そのシステムの要求を
分析し、システムの振る舞いを明確にする。次の設計フ
ェーズでは、分析フェーズで明確化されたシステムの振
る舞いをいかに実現するかを設計するが、リアルタイム
ＯＳを用いたソフトウェアでは、タスク実行構造の設計
（304）、すなわち、タスクマッピングや関連するタス
ク間の動作の連携の設計を行う。そして、その結果か
ら、タスク制御タイミング(タスク内部の状態遷移，周
期起動タスクの起動周期，イベント起動タスクの起動イ
ベントなど)と、そのタイミングでのアクション(タスク
生成，削除，起動，停止など)、さらに、個々のタスク
の実行優先度、実行時の多重度などのタスク実行パラメ
ータ（305）を決定する。
Ｓをいい、制御，通信，周辺装置等の組み込みＯＳが主
な用途となる。そして、マン・マシン・インタフェース
よりは実行速度が重視される。このような機器組込みリ
アルタイムＯＳを用いたソフトウェアの開発も、一般の
ソフトウェアの開発と同様に、図６に示すように、ま
ず、要求仕様（301）の作成およびシステム分析（302）
から成る分析フェーズにおいて、そのシステムの要求を
分析し、システムの振る舞いを明確にする。次の設計フ
ェーズでは、分析フェーズで明確化されたシステムの振
る舞いをいかに実現するかを設計するが、リアルタイム
ＯＳを用いたソフトウェアでは、タスク実行構造の設計
（304）、すなわち、タスクマッピングや関連するタス
ク間の動作の連携の設計を行う。そして、その結果か
ら、タスク制御タイミング(タスク内部の状態遷移，周
期起動タスクの起動周期，イベント起動タスクの起動イ
ベントなど)と、そのタイミングでのアクション(タスク
生成，削除，起動，停止など)、さらに、個々のタスク
の実行優先度、実行時の多重度などのタスク実行パラメ
ータ（305）を決定する。
【０００３】最後の実装フェーズでは、設計フェーズの
結果をタスク毎の実装コード（124）に反映する。
結果をタスク毎の実装コード（124）に反映する。
【０００４】
【発明が解決しようとする課題】しかしながら、上述し
たフローチャートに従って開発された従来のリアルタイ
ムＯＳの第１の問題点は、タスク実行構造の設計（30
4）で設計された、ソフトウェアを構成する複数のタス
クの実行構造が、タスク毎の実装コード（124）に分散
されて規定されるので、各タスクの動作の連携を把握す
ることが難しく、全体としてのソフトウェアの動作が要
求仕様（301）と合致しているかを検証することが難し
いということである。
たフローチャートに従って開発された従来のリアルタイ
ムＯＳの第１の問題点は、タスク実行構造の設計（30
4）で設計された、ソフトウェアを構成する複数のタス
クの実行構造が、タスク毎の実装コード（124）に分散
されて規定されるので、各タスクの動作の連携を把握す
ることが難しく、全体としてのソフトウェアの動作が要
求仕様（301）と合致しているかを検証することが難し
いということである。
【０００５】また、第２の問題点は、ソフトウェアの要
求仕様（301）の作成と、要求仕様の実現に必要なタス
ク毎の実装コード（124）との間の意味的なギャップが
大きいということである。この意味的なギャップのた
め、要求仕様作成者が直接、タスク毎の実装コード（12
4）を理解することが難しく、タスク毎の実装コード（1
24）が正確に要求仕様（301）を実現しているかを検証
することが難しくなる。
求仕様（301）の作成と、要求仕様の実現に必要なタス
ク毎の実装コード（124）との間の意味的なギャップが
大きいということである。この意味的なギャップのた
め、要求仕様作成者が直接、タスク毎の実装コード（12
4）を理解することが難しく、タスク毎の実装コード（1
24）が正確に要求仕様（301）を実現しているかを検証
することが難しくなる。
【０００６】さらに、第３の問題点は、要求仕様（30
1）が正確に実装に反映されるか否かは、ソフトウェア
実装者のスキルやテクニックに依存しているため、誤り
の原因になることが多いということである。
1）が正確に実装に反映されるか否かは、ソフトウェア
実装者のスキルやテクニックに依存しているため、誤り
の原因になることが多いということである。
【０００７】本発明の目的は、上記の問題点を解消し、
リアルタイムＯＳを用いたソフトウェアにおいて、ある
処理を実現する複数のタスク間の動作の連携内容をより
理解し易くし、タスクの連携で実現されるソフトウェア
の動作が要求仕様と合致しているかを検証し易くするこ
とができるタスク実行制御機能を備えるリアルタイムＯ
Ｓおよびタスク実行制御方法を提供することにある。
リアルタイムＯＳを用いたソフトウェアにおいて、ある
処理を実現する複数のタスク間の動作の連携内容をより
理解し易くし、タスクの連携で実現されるソフトウェア
の動作が要求仕様と合致しているかを検証し易くするこ
とができるタスク実行制御機能を備えるリアルタイムＯ
Ｓおよびタスク実行制御方法を提供することにある。
【０００８】本発明の他の目的は、リアルタイムＯＳを
用いたソフトウェアにおいて、ソフトウェアの要求仕様
をできるだけ実装のスキルやテクニックに頼らず機械的
にタスクの動作として実現することができるタスク実行
制御機能を備えるリアルタイムＯＳおよびタスク実行制
御方法を提供することにある。
用いたソフトウェアにおいて、ソフトウェアの要求仕様
をできるだけ実装のスキルやテクニックに頼らず機械的
にタスクの動作として実現することができるタスク実行
制御機能を備えるリアルタイムＯＳおよびタスク実行制
御方法を提供することにある。
【０００９】
【課題を解決するための手段】第１の本発明リアルタイ
ムＯＳは、各タスク間で相互に行われるタスクの生成，
削除，起動，停止を含むタスク間連携動作と、タスク優
先度を含む個々のタスクの属性とを規定するタスク間連
携モデルとを入力として、各タスクの実行を制御する機
能を備えたことを特徴とする。
ムＯＳは、各タスク間で相互に行われるタスクの生成，
削除，起動，停止を含むタスク間連携動作と、タスク優
先度を含む個々のタスクの属性とを規定するタスク間連
携モデルとを入力として、各タスクの実行を制御する機
能を備えたことを特徴とする。
【００１０】第２の本発明リアルタイムＯＳはタスク制
御を実行するタスク実行制御部と、タスク実行構造の設
計で得られるタスク実行パラメータに基づき作成したタ
スク間連携モデルを、該リアルタイムＯＳが理解できる
内部表現に変換するタスク連携モデル変換部と、該内部
表現に変換されたタスク間連携モデルを格納するタスク
間連携モデル格納部と、ユーザプログラムの個々のタス
クの実行コードに埋め込まれタスク制御のタイミングを
規定するとともに、そのタイミングにおける前記タスク
間連携モデルで規定されるタスク制御の内容へのポイン
タともなるタスク制御タイミングマーカーの情報に基づ
いて、前記タスク間連携モデル格納部に格納されたタス
ク間連携モデルからタスク制御の内容を抽出し、前記タ
スク実行制御部に対してタスク制御要求を発行するタス
ク制御内容抽出部とを備えたことを特徴とする。
御を実行するタスク実行制御部と、タスク実行構造の設
計で得られるタスク実行パラメータに基づき作成したタ
スク間連携モデルを、該リアルタイムＯＳが理解できる
内部表現に変換するタスク連携モデル変換部と、該内部
表現に変換されたタスク間連携モデルを格納するタスク
間連携モデル格納部と、ユーザプログラムの個々のタス
クの実行コードに埋め込まれタスク制御のタイミングを
規定するとともに、そのタイミングにおける前記タスク
間連携モデルで規定されるタスク制御の内容へのポイン
タともなるタスク制御タイミングマーカーの情報に基づ
いて、前記タスク間連携モデル格納部に格納されたタス
ク間連携モデルからタスク制御の内容を抽出し、前記タ
スク実行制御部に対してタスク制御要求を発行するタス
ク制御内容抽出部とを備えたことを特徴とする。
【００１１】本発明のタスク実行制御方法はユーザプロ
グラムの個々のタスクへタスク制御タイミングマーカー
を埋め込んでおく手順と、タスク実行構造の設計で得ら
れるタスク実行パラメータに基づき作成したタスク間連
携モデルを、リアルタイムＯＳが理解できる内部表現に
変換して格納する手順と、ユーザプログラムの個々のタ
スクが、前記タスク制御タイミングマーカーが埋め込ま
れたタイミングでタスク制御システムコールを発行する
手順と、タスク制御システムコールの発行によって該タ
スク制御タイミングマーカーが入力されると、前記格納
されたタスク間連携モデルから自動的に必要なタスク制
御内容を抽出し、タスク制御要求を出力する手順と、該
タスク制御要求に基づきリアルタイムにタスク制御を実
行する手順とを有することを特徴とする。
グラムの個々のタスクへタスク制御タイミングマーカー
を埋め込んでおく手順と、タスク実行構造の設計で得ら
れるタスク実行パラメータに基づき作成したタスク間連
携モデルを、リアルタイムＯＳが理解できる内部表現に
変換して格納する手順と、ユーザプログラムの個々のタ
スクが、前記タスク制御タイミングマーカーが埋め込ま
れたタイミングでタスク制御システムコールを発行する
手順と、タスク制御システムコールの発行によって該タ
スク制御タイミングマーカーが入力されると、前記格納
されたタスク間連携モデルから自動的に必要なタスク制
御内容を抽出し、タスク制御要求を出力する手順と、該
タスク制御要求に基づきリアルタイムにタスク制御を実
行する手順とを有することを特徴とする。
【００１２】より具体的には、本発明では、図１に示す
ように、ユーザプログラム（123）のタスク毎の実装コ
ード（124）が、タスク制御タイミングマーカー（109）
が埋め込まれたタイミングでタスク制御システムコール
（110）を発行すると、タスク制御タイミングマーカー
（109）がタスク実行制御機能付きリアルタイムＯＳ（1
01）に入力され、タスク制御内容抽出部（108）がタス
ク間連携モデル（102）から必要なタスク制御内容を自
動的に抽出し、タスク実行制御部（121）にタスク制御
要求（112）を出力する。したがって、ソフトウェア実
装者は、従来のように、タスク毎の実装コード（124）
にタスク制御内容の全てを分散して規定する必要がな
く、制御元タスク内での制御タイミングのみをタスク毎
の実装コード（124）に規定して、タスク制御タイミン
グマーカー（109）を埋め込めば、他の動作の連携内容
(制御対象タスクと優先度などの属性、制御の具体的内
容など)は、タスク間連携モデル（102）に一括して規定
することが可能になる。このタスク間連携モデル（10
2）を理解することにより、従来、全てのタスクの実装
コードを理解しないと把握することが難しかったソフト
ウェア全体の動作をより容易に把握することが可能にな
る。
ように、ユーザプログラム（123）のタスク毎の実装コ
ード（124）が、タスク制御タイミングマーカー（109）
が埋め込まれたタイミングでタスク制御システムコール
（110）を発行すると、タスク制御タイミングマーカー
（109）がタスク実行制御機能付きリアルタイムＯＳ（1
01）に入力され、タスク制御内容抽出部（108）がタス
ク間連携モデル（102）から必要なタスク制御内容を自
動的に抽出し、タスク実行制御部（121）にタスク制御
要求（112）を出力する。したがって、ソフトウェア実
装者は、従来のように、タスク毎の実装コード（124）
にタスク制御内容の全てを分散して規定する必要がな
く、制御元タスク内での制御タイミングのみをタスク毎
の実装コード（124）に規定して、タスク制御タイミン
グマーカー（109）を埋め込めば、他の動作の連携内容
(制御対象タスクと優先度などの属性、制御の具体的内
容など)は、タスク間連携モデル（102）に一括して規定
することが可能になる。このタスク間連携モデル（10
2）を理解することにより、従来、全てのタスクの実装
コードを理解しないと把握することが難しかったソフト
ウェア全体の動作をより容易に把握することが可能にな
る。
【００１３】また、従来、全てが実装コードで規定され
ていたタスク実行構造の大部分を要求仕様作成者にとっ
てより理解しやすいタスク間連携モデル（102）で規定
できるため、要求仕様（図３の301）とタスク実行構造
の設計（304）との意味的なギャップを小さくすること
が可能になり、要求仕様作成者による実行構造の検証を
容易にすることができる。
ていたタスク実行構造の大部分を要求仕様作成者にとっ
てより理解しやすいタスク間連携モデル（102）で規定
できるため、要求仕様（図３の301）とタスク実行構造
の設計（304）との意味的なギャップを小さくすること
が可能になり、要求仕様作成者による実行構造の検証を
容易にすることができる。
【００１４】さらに、ユーザプログラム（123）のタス
ク毎の実装コード（124）へのタスク制御タイミングマ
ーカー（109）の埋め込みと、タスク間連携モデル（10
2）の作成を行えば、実際のタスク制御実行（122）はタ
スク実行制御機能付きリアルタイムＯＳ（101）が自動
的に行うので、要求仕様（図３の301）の正確な実現を
行うにあたってソフトウェア実装者のスキルやテクニッ
クへの依存度をより小さくすることができる。
ク毎の実装コード（124）へのタスク制御タイミングマ
ーカー（109）の埋め込みと、タスク間連携モデル（10
2）の作成を行えば、実際のタスク制御実行（122）はタ
スク実行制御機能付きリアルタイムＯＳ（101）が自動
的に行うので、要求仕様（図３の301）の正確な実現を
行うにあたってソフトウェア実装者のスキルやテクニッ
クへの依存度をより小さくすることができる。
【００１５】
【発明の実施の形態】次に、本発明の実施の形態につい
て図面を参照して詳細に説明する。
て図面を参照して詳細に説明する。
【００１６】図１は本発明の一実施の形態を示す。この
タスク実行制御機能付きリアルタイムＯＳ（101）は、
一般的なリアルタイムＯＳ（120）に加えて、図３に示
すタスク実行構造の設計で得られるタスク実行パラメー
タ（305）に基づき作成したタスク間連携モデル（102）
を、タスク実行制御機能付きリアルタイムＯＳ（101）
が理解できる内部表現に変換するタスク連携モデル変換
部（103）と、内部表現に変換されたタスク間連携モデ
ル（105）を格納するタスク間連携モデル格納部（104）
と、ユーザプログラム（123） のタスク毎の実装コード
（124）に埋め込まれたタスク制御タイミングマーカー
（109）をタスク実行制御機能付きリアルタイムＯＳ（1
01）に入力するためにユーザプログラム（123）のタス
ク毎の実装コード（124）が発行するタスク制御システ
ムコール（110）と、タスク制御システムコール発行（1
11）によってのタスク実行制御機能付きリアルタイムＯ
Ｓ（101）に入力されるタスク制御タイミングマーカー
（109）の情報に基づいて、内部表現に変換されたタス
ク間連携モデル（105）からタスク制御の内容を抽出
し、一般的なリアルタイムＯＳ（120）に含まれるタス
ク実行制御部（121）にタスク制御要求（112）を発行す
るタスク制御内容抽出部（108）とを備える。タスク制
御タイミングマーカー（109）は、タスク制御のタイミ
ングを規定すると共に、そのタイミングでのタスク制御
の内容(制御対象タスクやタスク生成など具体的な制御
内容)を規定しているタスク間連携モデル（102）へのポ
インタとなる。
タスク実行制御機能付きリアルタイムＯＳ（101）は、
一般的なリアルタイムＯＳ（120）に加えて、図３に示
すタスク実行構造の設計で得られるタスク実行パラメー
タ（305）に基づき作成したタスク間連携モデル（102）
を、タスク実行制御機能付きリアルタイムＯＳ（101）
が理解できる内部表現に変換するタスク連携モデル変換
部（103）と、内部表現に変換されたタスク間連携モデ
ル（105）を格納するタスク間連携モデル格納部（104）
と、ユーザプログラム（123） のタスク毎の実装コード
（124）に埋め込まれたタスク制御タイミングマーカー
（109）をタスク実行制御機能付きリアルタイムＯＳ（1
01）に入力するためにユーザプログラム（123）のタス
ク毎の実装コード（124）が発行するタスク制御システ
ムコール（110）と、タスク制御システムコール発行（1
11）によってのタスク実行制御機能付きリアルタイムＯ
Ｓ（101）に入力されるタスク制御タイミングマーカー
（109）の情報に基づいて、内部表現に変換されたタス
ク間連携モデル（105）からタスク制御の内容を抽出
し、一般的なリアルタイムＯＳ（120）に含まれるタス
ク実行制御部（121）にタスク制御要求（112）を発行す
るタスク制御内容抽出部（108）とを備える。タスク制
御タイミングマーカー（109）は、タスク制御のタイミ
ングを規定すると共に、そのタイミングでのタスク制御
の内容(制御対象タスクやタスク生成など具体的な制御
内容)を規定しているタスク間連携モデル（102）へのポ
インタとなる。
【００１７】本実施の形態では、内部表現に変換された
タスク間連携モデル（105）は、タスク制御タイミング
マーカー（109）毎に、その属性(所属するタスク，制御
対象タスク，具体的な制御内容：アクション)を表形式
で規定したタスク制御タイミングマーカー属性一覧表
（106）と、モデル内の各タスクの属性(優先度，多重
度，タイムスライスなど)を表形式で規定したタスク属
性一覧表（107）とからなる。
タスク間連携モデル（105）は、タスク制御タイミング
マーカー（109）毎に、その属性(所属するタスク，制御
対象タスク，具体的な制御内容：アクション)を表形式
で規定したタスク制御タイミングマーカー属性一覧表
（106）と、モデル内の各タスクの属性(優先度，多重
度，タイムスライスなど)を表形式で規定したタスク属
性一覧表（107）とからなる。
【００１８】タスク間連携モデル（102）は、図２に示
すように、ある処理を実現するユーザプログラム（12
3）のタスク毎の実装コード（124）に埋めこまれタスク
制御タイミングを規定するタスク制御タイミングマーカ
ー（109）と、そのタイミングで起動されるタスク制御
の具体的な内容(タスクの生成，削除，起動，停止など)
と、制御対象タスクと、各タスクの優先度，実行多重度
などの属性とを一括してモデル化したものである。そし
て、内部表現に変換されたタスク間連携モデル（105）
は、図１に示すとおりになる。
すように、ある処理を実現するユーザプログラム（12
3）のタスク毎の実装コード（124）に埋めこまれタスク
制御タイミングを規定するタスク制御タイミングマーカ
ー（109）と、そのタイミングで起動されるタスク制御
の具体的な内容(タスクの生成，削除，起動，停止など)
と、制御対象タスクと、各タスクの優先度，実行多重度
などの属性とを一括してモデル化したものである。そし
て、内部表現に変換されたタスク間連携モデル（105）
は、図１に示すとおりになる。
【００１９】次に、本実施の形態の動作について説明す
る。
る。
【００２０】まず、タスク実行制御機能付きリアルタイ
ムＯＳ（101）の動作に必要なソフトウェア設計の流れ
を図３を用いて説明する。ソフトウェア設計者は要求仕
様（301），システム分析（302）の結果を基に、適切な
処理単位に分割し（303）、処理単位を実現するための
タスク実行構造の設計(タスクマッピング、関連するタ
スク間の動作の連携等)(304)を行ない、タスク実行パラ
メータ（305）を決定する。この過程で得られる要求仕
様の知識（311），システムの振る舞いの知識（312），
処理単位の情報（313），タスクマッピングの情報（31
4）およびタスク実行パラメータ（305）を用いてタスク
間連携モデル（102）を作成する。一方、ソフトウェア
実装者は、タスク実行パラメータ（305）に基づき、処
理を実現するための個々のタスクの実装を行い、必要な
箇所にタスク制御タイミングマーカー（109）を埋め込
んでいく。
ムＯＳ（101）の動作に必要なソフトウェア設計の流れ
を図３を用いて説明する。ソフトウェア設計者は要求仕
様（301），システム分析（302）の結果を基に、適切な
処理単位に分割し（303）、処理単位を実現するための
タスク実行構造の設計(タスクマッピング、関連するタ
スク間の動作の連携等)(304)を行ない、タスク実行パラ
メータ（305）を決定する。この過程で得られる要求仕
様の知識（311），システムの振る舞いの知識（312），
処理単位の情報（313），タスクマッピングの情報（31
4）およびタスク実行パラメータ（305）を用いてタスク
間連携モデル（102）を作成する。一方、ソフトウェア
実装者は、タスク実行パラメータ（305）に基づき、処
理を実現するための個々のタスクの実装を行い、必要な
箇所にタスク制御タイミングマーカー（109）を埋め込
んでいく。
【００２１】本例では、図３に示すとおり必要なタイミ
ングでタスク制御システムコール（110）を発行するよ
うに個々のタスクのコーディングを行う。このタスク制
御システムコール（110）は、第１引数にタスク制御タ
イミングマーカー名（306），第２引数に制御対象タス
クのタスク識別子（307）をとる。ただし、タスク識別
子（307）は必要な場合のみのオプションである。この
ように、タスク間連携モデル（102）、および適宜、タ
スク制御タイミングマーカー（109）を埋めこんだタス
ク毎の実装コード（124）を作成してソフトウェア開発
が終了する。
ングでタスク制御システムコール（110）を発行するよ
うに個々のタスクのコーディングを行う。このタスク制
御システムコール（110）は、第１引数にタスク制御タ
イミングマーカー名（306），第２引数に制御対象タス
クのタスク識別子（307）をとる。ただし、タスク識別
子（307）は必要な場合のみのオプションである。この
ように、タスク間連携モデル（102）、および適宜、タ
スク制御タイミングマーカー（109）を埋めこんだタス
ク毎の実装コード（124）を作成してソフトウェア開発
が終了する。
【００２２】次に、タスク実行制御機能付きリアルタイ
ムＯＳ（101）の動作について図４を用いて説明する。
ムＯＳ（101）の動作について図４を用いて説明する。
【００２３】タスク実行制御機能付きリアルタイムＯＳ
（101）は、ＯＳ立ち上がり時の初期設定（図４のステ
ップ402）で、あらかじめ作成されているタスク間連携
モデル（102）を読み込み、タスク連携モデル変換部（1
03）によってリアルタイムＯＳ（101）が理解可能な内
部形式のタスク間連携モデル（105）に変換して、タス
ク間連携モデル格納部（104）に格納する。本例の場合
は、図５に示すようにタスク制御タイミングマーカー属
性一覧表（106）およびタスク属性一覧表（107）への変
換を行う。
（101）は、ＯＳ立ち上がり時の初期設定（図４のステ
ップ402）で、あらかじめ作成されているタスク間連携
モデル（102）を読み込み、タスク連携モデル変換部（1
03）によってリアルタイムＯＳ（101）が理解可能な内
部形式のタスク間連携モデル（105）に変換して、タス
ク間連携モデル格納部（104）に格納する。本例の場合
は、図５に示すようにタスク制御タイミングマーカー属
性一覧表（106）およびタスク属性一覧表（107）への変
換を行う。
【００２４】次に、本発明のタスク実行制御機能付きリ
アルタイムＯＳ（101）が動作開始した後は、ユーザプ
ログラム（123）からタスク制御システムコール（110）
が発行されるのを待ち（ステップ403）、発行されれば
タスク制御システムコール処理（404）を行う（ステッ
プ404）。ここでは、タスク制御内容抽出部（108）がタ
スク制御システムコール（110）の引数として入力され
るタスク制御タイミングマーカー（109）を用いて、内
部表現に変換されたタスク間連携モデル（105）から、
必要なタスク制御内容(対象タスクとその属性、具体的
な制御内容など)を抽出し、タスク制御要求（112）とし
てタスク実行制御部（121）へ出力する。タスク実行制
御部（121）は、この要求に基づきタスク制御を実行す
る（122）。
アルタイムＯＳ（101）が動作開始した後は、ユーザプ
ログラム（123）からタスク制御システムコール（110）
が発行されるのを待ち（ステップ403）、発行されれば
タスク制御システムコール処理（404）を行う（ステッ
プ404）。ここでは、タスク制御内容抽出部（108）がタ
スク制御システムコール（110）の引数として入力され
るタスク制御タイミングマーカー（109）を用いて、内
部表現に変換されたタスク間連携モデル（105）から、
必要なタスク制御内容(対象タスクとその属性、具体的
な制御内容など)を抽出し、タスク制御要求（112）とし
てタスク実行制御部（121）へ出力する。タスク実行制
御部（121）は、この要求に基づきタスク制御を実行す
る（122）。
【００２５】
【発明の効果】本発明の第１の効果は、ある処理を実現
するソフトウェアを構成する複数のタスクの動作の連携
内容を把握することが容易になり、その結果として、全
体としてのソフトウェアの動作が要求仕様（301）と合
致しているかを検証することが容易になるということで
ある。その理由は、ソフトウェア実装者は、従来のよう
に、タスク毎の実装コード（124）にタスク制御内容の
全てを分散して規定する必要がなく、制御元タスク内で
の制御タイミングのみをタスク毎の実装コード（124）
に規定しタスク制御タイミングマーカー（109）を埋め
込めば、他のタスクの動作の連携内容(制御対象タスク
と優先度などの属性、制御の具体的内容など)は、タス
ク間連携モデル（102）に一括して規定することが可能
になるからである。
するソフトウェアを構成する複数のタスクの動作の連携
内容を把握することが容易になり、その結果として、全
体としてのソフトウェアの動作が要求仕様（301）と合
致しているかを検証することが容易になるということで
ある。その理由は、ソフトウェア実装者は、従来のよう
に、タスク毎の実装コード（124）にタスク制御内容の
全てを分散して規定する必要がなく、制御元タスク内で
の制御タイミングのみをタスク毎の実装コード（124）
に規定しタスク制御タイミングマーカー（109）を埋め
込めば、他のタスクの動作の連携内容(制御対象タスク
と優先度などの属性、制御の具体的内容など)は、タス
ク間連携モデル（102）に一括して規定することが可能
になるからである。
【００２６】また、第２の効果は、要求仕様301とソフ
トウェアのタスクの動作の連携を実現するタスク実行構
造の設計（304）による実行構造の実装の意味的なギャ
ップを小さくすることが可能になり、要求仕様作成者に
よる実行構造の検証を容易にすることができる。その理
由は、従来、全てが実装コードで規定されていたタスク
実行構造の大部分を要求仕様作成者にとってより理解し
やすいタスク間連携モデル（102）で規定できるためで
ある。
トウェアのタスクの動作の連携を実現するタスク実行構
造の設計（304）による実行構造の実装の意味的なギャ
ップを小さくすることが可能になり、要求仕様作成者に
よる実行構造の検証を容易にすることができる。その理
由は、従来、全てが実装コードで規定されていたタスク
実行構造の大部分を要求仕様作成者にとってより理解し
やすいタスク間連携モデル（102）で規定できるためで
ある。
【００２７】さらに、第3の効果は、要求仕様の正確な
実現を行うにあたってソフトウェア実装者のスキルやテ
クニックへの依存度をより小さくすることができること
である。その理由は、ユーザプログラム（123）のタス
ク毎の実装コード（124）へのタスク制御タイミングマ
ーカー（109）の埋め込みと、タスク間連携モデル（10
2）の作成を行えば、実際のタスク実行制御（122）は本
発明のタスク実行制御機能付きリアルタイムＯＳ（10
1）が自動的に行うことができるためである。
実現を行うにあたってソフトウェア実装者のスキルやテ
クニックへの依存度をより小さくすることができること
である。その理由は、ユーザプログラム（123）のタス
ク毎の実装コード（124）へのタスク制御タイミングマ
ーカー（109）の埋め込みと、タスク間連携モデル（10
2）の作成を行えば、実際のタスク実行制御（122）は本
発明のタスク実行制御機能付きリアルタイムＯＳ（10
1）が自動的に行うことができるためである。
【図面の簡単な説明】
【図１】 本発明のタスク実行制御機能付きリアルタイ
ムＯＳの構成図。
ムＯＳの構成図。
【図２】 タスク間の動作の連携モデル例を示す図。
【図３】 本発明のタスク実行制御機能付きリアルタイ
ムＯＳ用ソフトウェア開発のフローチャート。
ムＯＳ用ソフトウェア開発のフローチャート。
【図４】 本発明のタスク実行制御機能付きリアルタイ
ムＯＳの動作のフローチャート。
ムＯＳの動作のフローチャート。
【図５】 タスク間の動作の連携モデルの内部表現への
変換例を示す図。
変換例を示す図。
【図６】 従来のリアルタイムＯＳ用ソフトウェア開発
のフローチャート。
のフローチャート。
101 タスク実行制御機能付きリアルタイムＯＳ 102 タスク間連携モデル 103 タスク連携モデル変換部 104 タスク間連携モデル格納部 105 タスク間連携モデル 106 タスク制御タイミングマーカー属性一覧表 107 タスク属性一覧表 108 タスク制御内容抽出部 109 タスク制御タイミングマーカー 110 タスク制御システムコール 111 タスク制御システムコール発行 112 タスク制御要求 120 一般的なリアルタイムＯＳ 121 タスク実行制御部 122 タスク制御実行 123 ユーザプログラム 124 タスク毎の実装コード
Claims (5)
- 【請求項１】 各タスクに存在するタスクの生成，削
除，起動，停止を含むタスク間連携と、個々のタスク優
先度を含む属性とを規定するタスク間連携モデルとを入
力として、各タスクの実行を制御する機能を備えたこと
を特徴とするリアルタイムＯＳ。 - 【請求項２】 タスク制御を実行するタスク実行制御部
と、 タスク実行構造の設計で得られるタスク実行パラメータ
に基づき作成したタスク間連携モデルを、本リアルタイ
ムＯＳが理解できる内部表現に変換するタスク連携モデ
ル変換部と、 該内部表現に変換されたタスク間連携モデルを格納する
タスク間連携モデル格納部と、 ユーザプログラムの個々のタスクの実行コードに埋め込
まれタスク制御のタイミングを規定するとともに前記タ
スク間連携モデルで規定されるタイミングにおけるタス
ク制御の内容へのポインタとなるタスク制御タイミング
マーカーの情報に基づいて、前記タスク間連携モデル格
納部に格納されたタスク間連携モデルからタスク制御の
内容を抽出し、前記タスク実行制御部に対してタスク制
御要求を発行するタスク制御内容抽出部とを備えたこと
を特徴とするリアルタイムＯＳ。 - 【請求項３】 前記タスク間連携モデルは、ユーザプロ
グラムの個々のタスクの実装コードに埋めこまれ、タス
ク制御タイミングを規定する前記タスク制御タイミング
マーカーと、該タスク制御タイミングマーカーによって
起動されるタスクの生成，削除，起動，停止を含むタス
ク制御の具体的な内容と、制御対象タスクと、各タスク
の優先度および実行多重度を含む属性とを一纏めにモデ
ル化したものであることを特徴とする請求項１または２
記載のリアルタイムＯＳ。 - 【請求項４】 前記タスク間連携モデルは、ソフトウェ
ア要求仕様の知識、システム分析におけるシステムの振
る舞いの知識、前記ソフトウェア要求仕様とシステム分
析の結果に基づいて切り出された処理単位の情報、該処
理単位を実現するためのタスク実行構造設計によるタス
クマッピンググ情報およびタスク実行構造設計に基づき
決定されたタスク実行パラメータを用いて作成され、 また、前記タスク制御タイミングマーカーは、前記タス
ク実行パラメータに基づき、タスク実装時に必要な箇所
に埋め込まれことを特徴とする請求項１ないし３のいず
れかに記載のリアルタイムＯＳ。 - 【請求項５】 ユーザプログラムの個々のタスクへタス
ク制御タイミングマーカーを埋め込んでおく手順と、 タスク実行構造の設計で得られるタスク実行パラメータ
に基づき作成したタスク間連携モデルを、リアルタイム
ＯＳが理解できる内部表現に変換して格納する手順と、 ユーザプログラムの個々のタスクが、前記タスク制御タ
イミングマーカーが埋め込まれたタイミングでタスク制
御システムコールを発行する手順と、 該タスク制御タイミングマーカーが入力されると、前記
格納されたタスク間連携モデルから自動的に必要なタス
ク制御内容を抽出し、タスク制御要求を出力する手順
と、 該タスク制御要求に基づきリアルタイムにタスク制御を
実行する手順とを有することを特徴とするタスク実行制
御方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP36553899A JP2001184221A (ja) | 1999-12-22 | 1999-12-22 | リアルタイムｏｓおよびタスク実行制御方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP36553899A JP2001184221A (ja) | 1999-12-22 | 1999-12-22 | リアルタイムｏｓおよびタスク実行制御方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2001184221A true JP2001184221A (ja) | 2001-07-06 |
Family
ID=18484509
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP36553899A Pending JP2001184221A (ja) | 1999-12-22 | 1999-12-22 | リアルタイムｏｓおよびタスク実行制御方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2001184221A (ja) |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1317640C (zh) * | 2004-08-31 | 2007-05-23 | 华为技术有限公司 | 实时操作系统环境下多任务应用软件模块的管理方法 |
| JP2008108089A (ja) * | 2006-10-26 | 2008-05-08 | Fujitsu Ltd | データ処理システム、タスク制御方法及びそのプログラム |
| CN102073538A (zh) * | 2009-11-23 | 2011-05-25 | 倍福自动化有限公司 | 实时运转时间系统以及此运转时间系统功能性模块 |
| JP2019032678A (ja) * | 2017-08-08 | 2019-02-28 | 日立オートモティブシステムズ株式会社 | 車両制御装置 |
| US11237867B2 (en) | 2018-04-27 | 2022-02-01 | Mitsubishi Electric Corporation | Determining an order for launching tasks by data processing device, task control method, and computer readable medium |
-
1999
- 1999-12-22 JP JP36553899A patent/JP2001184221A/ja active Pending
Cited By (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1317640C (zh) * | 2004-08-31 | 2007-05-23 | 华为技术有限公司 | 实时操作系统环境下多任务应用软件模块的管理方法 |
| JP2008108089A (ja) * | 2006-10-26 | 2008-05-08 | Fujitsu Ltd | データ処理システム、タスク制御方法及びそのプログラム |
| CN102073538A (zh) * | 2009-11-23 | 2011-05-25 | 倍福自动化有限公司 | 实时运转时间系统以及此运转时间系统功能性模块 |
| JP2011134310A (ja) * | 2009-11-23 | 2011-07-07 | Beckhoff Automation Gmbh | リアルタイム・ランタイムシステムおよびそのようなランタイムシステムのための機能モジュール |
| US8984131B2 (en) | 2009-11-23 | 2015-03-17 | Beckhoff Automation Gmbh | Real-time run-time system with an administrative module to configure functional modules of the system |
| JP2019032678A (ja) * | 2017-08-08 | 2019-02-28 | 日立オートモティブシステムズ株式会社 | 車両制御装置 |
| US11237867B2 (en) | 2018-04-27 | 2022-02-01 | Mitsubishi Electric Corporation | Determining an order for launching tasks by data processing device, task control method, and computer readable medium |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2692609B2 (ja) | マルチタスクのプログラムデバッグ方法とその装置 | |
| KR20020035567A (ko) | 레거시 데이터 구조용 객체 속성 메타 모델 에뮬레이터 | |
| JPH10500505A (ja) | データ管理システム | |
| JP2002157118A (ja) | プログラム生成支援装置、プログラム生成方法、記録媒体およびプログラム | |
| CN110442441A (zh) | 数据处理方法、装置、可读存储介质及终端设备 | |
| JP2001184221A (ja) | リアルタイムｏｓおよびタスク実行制御方法 | |
| CN116521181B (zh) | 基于游戏系统的脚本数据处理方法、装置、设备及介质 | |
| JP2001296996A (ja) | コンポーネントの自動生成装置および表現方法 | |
| Bivand | Scripting and toolbox approaches to spatial analysis in a GIS context | |
| KR101216916B1 (ko) | Ｆｂｎ 기반의 ｐｌｃ 코드를 범용 프로그램 코드로 변환하는 방법 및 시스템 | |
| JP2006011756A (ja) | プログラム変換プログラム、プログラム変換装置およびプログラム変換方法 | |
| JP2010267092A (ja) | 情報処理装置、情報処理方法 | |
| JP4177099B2 (ja) | システムレベルのシミュレーションにおけるスケジューリングの階層仕様方法 | |
| JPH08314760A (ja) | プログラム開発支援装置 | |
| JPH1185539A (ja) | タスク実行制御機能を備えるリアルタイムｏｓ | |
| JPH0391039A (ja) | ソフトウエアのテスト用プログラムおよびテストデータの作成方法 | |
| Sarkar et al. | Synchron--An API and Runtime for Embedded Systems | |
| JP2961774B2 (ja) | バッチファイル生成方式 | |
| CN109062559B (zh) | 一种数据处理方法和装置 | |
| Gast | Managing proof documents for asynchronous processing | |
| JPH11296361A (ja) | プログラム情報管理装置 | |
| Lu et al. | Timing analyzing for systems with execution dependencies between tasks | |
| JP4601144B2 (ja) | プログラム開発システム、記録媒体および方法 | |
| JP2000339180A (ja) | リアルタイムｏｓ上のタスク実行制御方式 | |
| RU24297U1 (ru) | Система поддержки создания и функционирования адаптивных программно-информационных комплексов "алиса" |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20040420 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20040817 |