本研究では，形式記述言語LOTOSのある時間拡張を用いて記述された実時間シ
ステムの実装法を提案する．提案する手法では，与えられた動作仕様をイベン
トの逐次実行およびその選択からなる部分動作式の集合に分割し，各部分動作
式をリアルタイムスレッドに割り当てる．動作式中の各イベントが時間制約通
りに実行されるよう，各スレッドはEDF(Earliest Deadline First)方式でスケ
ジューリングされる．
また，QoS制御用のシナリオを主動作とは異なるモジュールとして与えるマル
チメディアシステムの記述法を提案し，本実装法と併用することでQoS制御方
針の変更が容易になる．
Back