• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

実時間ソフトウェアの最適パラメータ探索および組込みソフトウェア再利用への応用

研究課題

研究課題/領域番号 21700039
研究種目

若手研究(B)

配分区分補助金
研究分野 ソフトウエア
研究機関広島市立大学

研究代表者

中田 明夫  広島市立大学, 情報科学研究科, 教授 (60295839)

研究期間 (年度) 2009 – 2011
研究課題ステータス 完了 (2011年度)
配分額 *注記
2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2011年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2010年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2009年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
キーワード組込みソフトウェア / 実時間ソフトウェア再利用 / コスト最適化 / 組込みシステム / マルチタスクソフトウェア / 性能検証 / リソース制約 / 実時間制約 / タイムバジェット / ソフトウェア再利用 / 実行時間解析 / 実時間システム / 実時間スケジューリング / 資源競合 / タスクグラフ / 優先権付きストップウォッチペトリネット / 実時間制約検証 / UML MARTE / 優先権付き時間ペトリネット
研究概要

本研究では,マルチタスク実時間組込みソフトウェアの資源制約およびスケジューリング方式を考慮した性能要求の検証手法,および,性能要求を充足する範囲における設計パラメータ最適化手法を考案した.考案した検証手法では,与えられたマルチタスクソフトウェア仕様がスループット要求を満たすか否かの判定を優先権付きストップウォッチペトリネットの検証に帰着して行う.また,最適化手法ではスループット要求の検証を繰り返しながら各タスクのタイムバジェットを自動的に緩和する.さらに,得られたタイムバジェット以内で実行できるための,各タスクプログラムの各ループの繰り返し回数やプロセッサ動作周波数を数理計画法により最適化する手法を考案した.考案した手法により,同じ性能をより低性能のリソースで実現するシステムの最適化を支援し,実時間ソフトウェア部品の異なる実行環境への再利用を容易化することができる.

報告書

(4件)
  • 2011 実績報告書   研究成果報告書 ( PDF )
  • 2010 実績報告書
  • 2009 実績報告書
  • 研究成果

    (16件)

すべて 2012 2011 2010 その他

すべて 雑誌論文 (5件) (うち査読あり 2件) 学会発表 (6件) 備考 (1件) 産業財産権 (4件)

  • [雑誌論文] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011

    • 著者名/発表者名
      椛島和宏, 中田明夫
    • 雑誌名

      電子情報通信学会技術研究報告

      巻: Vol.111, No.268 ページ: 37-42

    • NAID

      110008900200

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
  • [雑誌論文] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011

    • 著者名/発表者名
      倉田和哉, 百々太市, 中田明夫
    • 雑誌名

      電子情報通信学会技術研究報告

      巻: Vol.111, No.268 ページ: 43-48

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
  • [雑誌論文] リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証2010

    • 著者名/発表者名
      百々太一, 山脇弘, 中田明夫
    • 雑誌名

      情報処理学会研究報告

      巻: Vol.2010-EMB-16, No.35

    • NAID

      110007995069

    • 関連する報告書
      2011 研究成果報告書
  • [雑誌論文] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証、組込みシステムシンポジウム2010論文集2010

    • 著者名/発表者名
      百々太市, 中田明夫
    • 雑誌名

      情報処理学会シンポジウムシリーズ

      巻: Vol.2010, No.10 ページ: 107-112

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証2010

    • 著者名/発表者名
      百々太市, 中田明夫
    • 雑誌名

      組込みシステムシンポジウム2010論文集,情報処理学会シンポジウムシリーズ

      巻: Vol.2010, No.10 ページ: 107-112

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [学会発表] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011

    • 著者名/発表者名
      椛島和宏, 中田明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学(石川県能美市)
    • 年月日
      2011-10-28
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011

    • 著者名/発表者名
      倉田和哉, 百々太市, 中田明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学(石川県能美市)
    • 年月日
      2011-10-28
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011

    • 著者名/発表者名
      椛島和宏, 中田明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学
    • 年月日
      2011-10-28
    • 関連する報告書
      2011 実績報告書
  • [学会発表] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011

    • 著者名/発表者名
      倉田和哉, 百々太市, 中田明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学
    • 年月日
      2011-10-28
    • 関連する報告書
      2011 実績報告書
  • [学会発表] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証2010

    • 著者名/発表者名
      百々太市, 中田明夫
    • 学会等名
      情報処理学会組込みシステムシンポジウム2010
    • 発表場所
      国立オリンピック記念青少年総合センター(東京都渋谷区)
    • 年月日
      2010-10-29
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証2010

    • 著者名/発表者名
      百々太一, 山脇弘, 中田明夫
    • 学会等名
      情報処理学会組込みシステム研究会第16回研究発表会
    • 発表場所
      八丈シーパークリゾート(東京都八丈島)
    • 年月日
      2010-03-27
    • 関連する報告書
      2011 研究成果報告書 2009 実績報告書
  • [備考]

    • 関連する報告書
      2011 研究成果報告書
  • [産業財産権] パラメトリック実行時間解析装置及び解析方法2012

    • 発明者名
      中田明夫,椛島和宏
    • 権利者名
      広島市立大学
    • 産業財産権番号
      2012-033488
    • 出願年月日
      2012-02-20
    • 関連する報告書
      2011 研究成果報告書
  • [産業財産権] タイムバジェット最適化装置及び最適化方法2012

    • 発明者名
      中田明夫,倉田和哉,百々太市
    • 権利者名
      広島市立大学
    • 産業財産権番号
      2012-033489
    • 出願年月日
      2012-02-20
    • 関連する報告書
      2011 研究成果報告書
  • [産業財産権] パラメトリック実行時間解析装置及び解析方法2012

    • 発明者名
      中田明夫, 椛島和宏
    • 権利者名
      広島市立大学
    • 産業財産権番号
      2012-033488
    • 出願年月日
      2012-02-20
    • 関連する報告書
      2011 実績報告書
  • [産業財産権] タイムバジェット最適化装置及び最適化方法2012

    • 発明者名
      中田明夫, 倉田和哉, 百々太市
    • 権利者名
      広島市立大学
    • 産業財産権番号
      2012-033489
    • 出願年月日
      2012-02-20
    • 関連する報告書
      2011 実績報告書

URL: 

公開日: 2009-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi