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

2009 年度 実績報告書

ソフトウェアシステムのサービス可用性評価法に関する研究

研究課題

研究課題/領域番号 20510136
研究機関鳥取大学

研究代表者

得能 貢一  鳥取大学, 工学研究科, 准教授 (40263488)

キーワードソフトウェア可用性 / サービス信頼性 / マルコフ過程 / 信頼度成長 / 無限サーバ待ち行列理論 / リアルタイム性 / コデザイン
研究概要

前年度は,サービス容量の概念を導入して,性能低下を考慮したソフトウェアサービス可用性評価モデルを構築したが,平成21年度はこのモデルをさらに発展させて,複数のサービス(仕事)を同時に処理するマルチタスクソフトウェアシステムに対して,性能低下を考慮したシステムのサービス指向型性能評価モデルを構築した.システム内の仕事の処理規程は無限サーバ待ち行列理論を用いて記述され,仕事の到着過程が非同次ボアソン過程(NHPP)に従うとき,処理時間制約以内に処理可能な仕事数を表す確率過程も同様にNHPPに従うことが導出された.また,瞬間仕事処理完了率(instantaneous task completionratio)や累積仕事損失率(cumulative task incompletion ratio)といったリアルタイム性(real-time property)を考慮した定量的なサービス可用性評価尺度を,時間およびシステムに施されるデバッグ作業回数の関数として導出した.望ましい動作状態と性能低下しつつも動作している状態間をシステムが行き来するサイクル時間,システム固有の故障/修復特性,およびメンテナンスチームのデバッグ能力と,システムのサービス可用性評価との関係について考察し,本モデルの有効性を確認した.
また,コデザイン(協調設計)の概念を導入したハードウェアサブシステムおよびソフトウェアサブシステムの故障/修復特性を同時に考慮したコンピュータシステムに対してや,システムの運用段階特有の復旧シナリオを考慮した場合に対しても,上記と同様な議論を展開した.

  • 研究成果

    (15件)

すべて 2010 2009

すべて 雑誌論文 (7件) (うち査読あり 7件) 学会発表 (8件)

  • [雑誌論文] Availability-based software performability model with user-perceived performance degradation2010

    • 著者名/発表者名
      Koichi Tokuno
    • 雑誌名

      International Journal of Software Engineering and Its Applications Vol.4

      ページ: 1-14

    • 査読あり
  • [雑誌論文] Operational software performance evaluation based on the number of de buggings with two kinds of restoration scenarios2009

    • 著者名/発表者名
      Koichi Tokuno
    • 雑誌名

      Recent Advances in Stochastic Operations Research II

      ページ: 253-269

    • 査読あり
  • [雑誌論文] Performability modeling for software system with performance degradation and reliability growth2009

    • 著者名/発表者名
      Koichi Tokuno
    • 雑誌名

      IEICE Transactions on Fundamentals Vol.E92-A

      ページ: 1563-1571

    • 査読あり
  • [雑誌論文] Generalized Markovian software reliability modeling and its approximation2009

    • 著者名/発表者名
      Takahiro Kodera
    • 雑誌名

      Proc.15th ISSAT Int.Conf.RQD 2009

      ページ: 377-381

    • 査読あり
  • [雑誌論文] Markovian performability modeling for hardware-software system2009

    • 著者名/発表者名
      Junichi Takahashi
    • 雑誌名

      Proc.15th ISSAT Int.Conf.RQD 2009

      ページ: 382-386

    • 査読あり
  • [雑誌論文] Generalized Markovian software reliability modeling and its alternative calculation2009

    • 著者名/発表者名
      Koichi Tokuno
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering Vol.16

      ページ: 385-402

    • 査読あり
  • [雑誌論文] Software performability measurement based on availability model with user-perceived performance degradation2009

    • 著者名/発表者名
      Koichi Tokuno
    • 雑誌名

      Advances in Software Engineering, ASEA 2009

      ページ: 264-271

    • 査読あり
  • [学会発表] マルコフ型ソフトウェア可用性評価モデルの一般化枠組みとその代替的計算法2010

    • 著者名/発表者名
      得能貢一
    • 学会等名
      統計数理研究所研究集会「最適化:モデリングとアルゴリズム」
    • 発表場所
      統計数理研究所(立川市)
    • 年月日
      2010-03-24
  • [学会発表] Markovian software reliability modeling with randomness of environmental factor2010

    • 著者名/発表者名
      得能貢一
    • 学会等名
      日本オペレーションズ・リサーチ学会2010年春季研究発表会
    • 発表場所
      首都大学東京(八王子市)
    • 年月日
      2010-03-04
  • [学会発表] ハードウェアおよびソフトウェアコンポーネントの故障/修復特性を同時に考慮したコンピュータシステムの性能評価法2009

    • 著者名/発表者名
      高橋淳一, 得能貢一, 山田茂
    • 学会等名
      平成21年度電気・情報関連学会中国支部第60会連合大会
    • 発表場所
      山口大学工学部(宇部市)
    • 年月日
      2009-11-21
  • [学会発表] マルコフ型ソフトウェア信頼性モデルの一般化枠組みと信頼性評価尺度算出のための近似計算法に関する-考察2009

    • 著者名/発表者名
      小寺貴裕
    • 学会等名
      平成21年度電気・情報関連学会中国支部第60会連合大会
    • 発表場所
      山口大学工学部(宇部市)
    • 年月日
      2009-11-21
  • [学会発表] ソフトウェア信頼度成長を考慮したコンピュータシステムの性能評価モデル2009

    • 著者名/発表者名
      高橋淳一
    • 学会等名
      京都大学数理解析研究所「不確実・不確定性下での意思決定過程」研究集会
    • 発表場所
      京都大学(京都市)
    • 年月日
      2009-11-12
  • [学会発表] User-perceived software service availability modeling with operation-oriented restoration2009

    • 著者名/発表者名
      得能貢一
    • 学会等名
      日本オペレーションズ・リサーチ学会2009年秋季研究発表会
    • 発表場所
      長崎大学(長崎市)
    • 年月日
      2009-09-09
  • [学会発表] 性能低下を考慮したマルコフ型ソフトウェア性能評価モデル2009

    • 著者名/発表者名
      得能貢一
    • 学会等名
      電子情報通信学会信頼性研究会
    • 発表場所
      藤田観光ワシントンホテル旭川(旭川市)
    • 年月日
      2009-07-31
  • [学会発表] 2種類の復旧シナリオを考慮したソフトウェア性能評価モデル2009

    • 著者名/発表者名
      得能貢一
    • 学会等名
      電子情報通信学会信頼性研究会
    • 発表場所
      広島修道大学(広島市)
    • 年月日
      2009-05-29

URL: 

公開日: 2011-06-16   更新日: 2016-04-21  

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

Powered by NII kakenhi