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

2010 年度 実績報告書

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

研究課題

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

研究代表者

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

キーワードソフトウェアシステム / サービス可用性 / ユーザから見たシステム故障 / 信頼度成長 / ユーザの間欠使用 / マルコフ過程 / コデザイン
研究概要

平成22年度は,通信システムや銀行のオンラインバンキングシステムといった常時稼動しているシステムをある1ユーザが間欠的に使用するという状況を想定して,動作・不動作状態を交互に繰り返すシステム自身の振る舞いや,そのシステムを利用するユーザの行動の様子を,マルコフ過程を用いて記述した.そして,サービス可用性を,「システムを利用することにより,ユーザが満足にサービスを受けることができる性質や度合い」と捉えて,次の3種類のサービス可用性評価尺度を導出した.(1)「時刻tにおいてユーザがシステムを使用しているとき,そのユーザ使用が中断することなくサービスを満足に完了することができる確率」と定義される使用中のソフトウェアサービスアベイラビリティ,(2)「時刻tにおいてシステムが修復中であり,かつそのとき発生するユーザの使用要求がキャンセルされる確率」と定義される使用要求拒絶によるソフトウェアサービスアンアベイラビリティ,(3)「時刻tにおいてシステムが修復中であるとき,その後に発生するユーザの使用要求がキャンセルされる確率」と定義される修復中のソフトウェアサービスアンアベイラビリティ.これらの定量的尺度は,時間およびソフトウェアシステムに対するデバッグ作業回数の関数として与えられた.本モデルを適用することにより,システム固有の信頼性特性やシステムダウン時の修復方策ならびにユーザの使用特性と,ソフトウェアシステムのサービス可用性評価の関係を把握することができることが,確かめられた.
また,前年度と同様にコデザイン(協調設計)の概念を導入したハードウェアサブシステムおよびソフトウェアサブシステムの故障/修復特性を同時に考慮したコンピュータシステムに対しても,上記と同様な議論を展開した.

  • 研究成果

    (14件)

すべて 2011 2010

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

  • [雑誌論文] Codesign-oriented performability modeling for hardware-software system2011

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

      IEEE Transactions on Reliability

      巻: Vol.60 ページ: 171-179

    • 査読あり
  • [雑誌論文] Performability analysis for software-intensive system considering variety of tasks and operation-oriented restoration2011

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

      Quality Technology and Quantitative Management

      巻: Vol.8 ページ: 27-43

    • 査読あり
  • [雑誌論文] Markovian model for user-perceived software service availability measurement with operation-oriented restoration2010

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

      Proc.7th International Conference on Service Systems and Service Management

      ページ: 478-483

    • 査読あり
  • [雑誌論文] Generalized framework for Markovian software availability modeling and its approximation2010

    • 著者名/発表者名
      Shinya Ikegami
    • 雑誌名

      Proc.16th ISSAT International Conference on Reliability and Quality in Design

      ページ: 238-242

    • 査読あり
  • [雑誌論文] Markovian performability evaluation for software system with random performance degradation and imperfect debugging2010

    • 著者名/発表者名
      Satoshi Murakami
    • 雑誌名

      Proc.16th ISSAT International Conference on Reliability and Quality in Design

      ページ: 243-247

    • 査読あり
  • [雑誌論文] Availability-based software performability analysis with operation-oriented restoration and imperfect debugging2010

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

      Proc.10th International Conference on Industrial Management

      ページ: 431-436

    • 査読あり
  • [雑誌論文] Markovian service availability modeling for hardware/software system2010

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

      Proc.4th Asia-Pacific International Symposium

      ページ: 680-687

    • 査読あり
  • [学会発表] Software reliability modeling with randomness of perfect debugging probability2011

    • 著者名/発表者名
      得能貢一
    • 学会等名
      日本オペレーションズ・リサーチ学会2011年春季研究発表会
    • 発表場所
      電気通信大学(調布市)
    • 年月日
      2011-03-17
  • [学会発表] 性能低下および運用段階特有の修復シナリオを考慮したソフトウェア性能評価のための統合モデル2010

    • 著者名/発表者名
      得能貢一
    • 学会等名
      電子情報通信学会信頼性研究会
    • 発表場所
      機械振興会館(東京都港区)
    • 年月日
      2010-12-17
  • [学会発表] On generalization framework of Markovian software reliability model and approximation of reliability assessment measures2010

    • 著者名/発表者名
      Takahiro Kodera
    • 学会等名
      3rd Japan-Korea Software Management Symposium
    • 発表場所
      米子ビッグシップ(米子市)
    • 年月日
      2010-11-22
  • [学会発表] 処理性能低下を考慮したソフトウェア可用性モデルに基づく実時間性評価法2010

    • 著者名/発表者名
      村上智史
    • 学会等名
      第12回IEEE広島支部学生シンポジウム
    • 発表場所
      島根大学松江キャンパス(松江市)
    • 年月日
      2010-11-06
  • [学会発表] 一般化マルコフ型ソフトウェア可用性モデルと可用性評価尺度算出のための代替的計算法2010

    • 著者名/発表者名
      池上慎也
    • 学会等名
      第12回IEEE広島支部学生シンポジウム
    • 発表場所
      島根大学松江キャンパス(松江市)
    • 年月日
      2010-11-06
  • [学会発表] ハードウェア/ソフトウェアシステムに対するサービス可用性評価法に関する一考察2010

    • 著者名/発表者名
      得能貢一
    • 学会等名
      電子情報通信学会信頼性研究会
    • 発表場所
      遊学館(山形市)
    • 年月日
      2010-07-30
  • [学会発表] 運用時の復旧シナリオを考慮したソフトウェア・サービスアベイラビリティ評価モデル2010

    • 著者名/発表者名
      得能貢一
    • 学会等名
      電子情報通信学会信頼性研究会
    • 発表場所
      放送大学鳥取学習センター(鳥取市)
    • 年月日
      2010-05-28

URL: 

公開日: 2012-07-19  

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

Powered by NII kakenhi