著者

松原 豊 本田 晋也 高田 広章

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.52, no.8, pp.2387-2401, 2011-08-15

---

分散リアルタイムシステムにおいて,個別に開発・検証されたリアルタイムアプリケーションを,単一のプロセッサに統合して動作させるための階層型スケジューリングアルゴリズムが数多く提案されている.本論文では,統合前に,プリエンプティブな固定優先度ベーススケジューリングによりスケジュール可能なリアルタイムアプリケーションを対象に,優先度設計を変更することなく統合後もスケジュール可能であることを保証する階層型スケジューリングアルゴリズムを提案する.提案アルゴリズムの正当性を理論的に証明し,さらに,スケジューリングシミュレータを用いて,同一のアプリケーションに対するスケジュール可能性を従来アルゴリズムと比較した.その結果,従来アルゴリズムでは統合後にデッドラインをミスしてしまうアプリケーションが,提案アルゴリズムによりスケジュール可能であることを確認した.