文献

J-GLOBAL ID：201002230279667164   整理番号：10A1608978

プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証

著者 (2件)： 百々太市 (広島市大 大学院情報科学研究科) ,  中田明夫 (広島市大 大学院情報科学研究科)
資料名： 情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)
巻： 2010  号： 10  ページ： 107-112  発行年： 2010年10月20日 
JST資料番号： Y0978B  ISSN： 1344-0640  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,設計モデルの段階で時間制約やリソース制約を考慮した最悪時性能の検証を行うことが有用である。我々は従来,ノンプリエンプティブスケジューリングでリソースを共有し,分岐や並列などの制御構造を持つ複数タスク動作仕様から,優先権付き時間ペトリネットに変換し,スループット性能の検証を行う手法を提案しているが,プリエンプティブなスケジューリング方式を表現できない問題があった。本研究では,優先権付きストップウォッチ時間ペトリネットを用いることにより,プリエンプティプスケジューリングでリソースを共有する複数タスク動作仕様の性能検証を行う手法を提案する。(著者抄録)

シソーラス用語： *スケジューリング ,  資源割付 ,  計算機リソース管理 ,  ソフトウェア開発 ,  *プログラム検証 ,  *Petriネット ,  スループット ,  性能分析 ,  仕様記述
準シソーラス用語： *プリエンプティブスケジューリング

分類 (3件)： オペレーティングシステム  (JD03020J) ,  計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (6件)： プリエンプティブスケジューリング ,  リソース ,  共有 ,  タスク ,  仕様 ,  性能検証