• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2010 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 20510136
Research InstitutionTottori University

Principal Investigator

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

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

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

  • Research Products

    (14 results)

All 2011 2010

All Journal Article (7 results) (of which Peer Reviewed: 7 results) Presentation (7 results)

  • [Journal Article] Codesign-oriented performability modeling for hardware-software system2011

    • Author(s)
      Koichi Tokuno
    • Journal Title

      IEEE Transactions on Reliability

      Volume: Vol.60 Pages: 171-179

    • Peer Reviewed
  • [Journal Article] Performability analysis for software-intensive system considering variety of tasks and operation-oriented restoration2011

    • Author(s)
      Koichi Tokuno
    • Journal Title

      Quality Technology and Quantitative Management

      Volume: Vol.8 Pages: 27-43

    • Peer Reviewed
  • [Journal Article] Markovian model for user-perceived software service availability measurement with operation-oriented restoration2010

    • Author(s)
      Koichi Tokuno
    • Journal Title

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

      Pages: 478-483

    • Peer Reviewed
  • [Journal Article] Generalized framework for Markovian software availability modeling and its approximation2010

    • Author(s)
      Shinya Ikegami
    • Journal Title

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

      Pages: 238-242

    • Peer Reviewed
  • [Journal Article] Markovian performability evaluation for software system with random performance degradation and imperfect debugging2010

    • Author(s)
      Satoshi Murakami
    • Journal Title

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

      Pages: 243-247

    • Peer Reviewed
  • [Journal Article] Availability-based software performability analysis with operation-oriented restoration and imperfect debugging2010

    • Author(s)
      Koichi Tokuno
    • Journal Title

      Proc.10th International Conference on Industrial Management

      Pages: 431-436

    • Peer Reviewed
  • [Journal Article] Markovian service availability modeling for hardware/software system2010

    • Author(s)
      Koichi Tokuno
    • Journal Title

      Proc.4th Asia-Pacific International Symposium

      Pages: 680-687

    • Peer Reviewed
  • [Presentation] Software reliability modeling with randomness of perfect debugging probability2011

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

    • Author(s)
      得能貢一
    • Organizer
      電子情報通信学会信頼性研究会
    • Place of Presentation
      機械振興会館(東京都港区)
    • Year and Date
      2010-12-17
  • [Presentation] On generalization framework of Markovian software reliability model and approximation of reliability assessment measures2010

    • Author(s)
      Takahiro Kodera
    • Organizer
      3rd Japan-Korea Software Management Symposium
    • Place of Presentation
      米子ビッグシップ(米子市)
    • Year and Date
      2010-11-22
  • [Presentation] 処理性能低下を考慮したソフトウェア可用性モデルに基づく実時間性評価法2010

    • Author(s)
      村上智史
    • Organizer
      第12回IEEE広島支部学生シンポジウム
    • Place of Presentation
      島根大学松江キャンパス(松江市)
    • Year and Date
      2010-11-06
  • [Presentation] 一般化マルコフ型ソフトウェア可用性モデルと可用性評価尺度算出のための代替的計算法2010

    • Author(s)
      池上慎也
    • Organizer
      第12回IEEE広島支部学生シンポジウム
    • Place of Presentation
      島根大学松江キャンパス(松江市)
    • Year and Date
      2010-11-06
  • [Presentation] ハードウェア/ソフトウェアシステムに対するサービス可用性評価法に関する一考察2010

    • Author(s)
      得能貢一
    • Organizer
      電子情報通信学会信頼性研究会
    • Place of Presentation
      遊学館(山形市)
    • Year and Date
      2010-07-30
  • [Presentation] 運用時の復旧シナリオを考慮したソフトウェア・サービスアベイラビリティ評価モデル2010

    • Author(s)
      得能貢一
    • Organizer
      電子情報通信学会信頼性研究会
    • Place of Presentation
      放送大学鳥取学習センター(鳥取市)
    • Year and Date
      2010-05-28

URL: 

Published: 2012-07-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi