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

2008 年度 実績報告書

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

研究課題

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

研究代表者

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

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

まず,既存のマルコフ型ソフトウェア可用性評価モデルに,ユーザが実際にシステムを利用する際に知覚するサービスレベルを考慮して,サービス指向のソフトウェア可用性モデルを再構築した.具体的には,「単位時間当りにシステムが処理可能なサービス処理量」と定義される「サービス容量」(service capacity)と呼ばれる概念を導入し,システムが利用可能な状況において,次の2種類の状態を考慮した.
状態Wn:望ましいサービス容量を維持している動作状態
状態Ln:サービス容量が低下しつつもシステムは動作している状態
これを踏まえて,マルコフ解析を実施した結果,「ある時刻におけるシステムの期待サービス容量」と定義される瞬間ソフトウェア・サービスアベイラビリティ(instantaneous soft ware service availability)を,時間およびデバッグ作業回数の関数として導出することができた.このサービス可用性評価尺度を用いて,システム固有の故障/修復特性,メンテナンスチームのデバッグ能力,およびシステムが状態Wn-Ln間を行き来するサイクル時間と,システムのサービス可用性評価との関係について考察し,本モデルの有効性を確認した.
また,別のアプローチとして,システムに要求される複数のサービス(仕事)を同時に処理するマルチタスクソフトウェアシステムの振舞いを,無限サーバ待ち行列モデルで記述した上で,種々のサービス指向型可用性評価尺度を導出した.

  • 研究成果

    (10件)

すべて 2009 2008

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

  • [雑誌論文] Performance analysis based on the number of debuggings for software system with processing time limit using reliability growth model2008

    • 著者名/発表者名
      得能 貢一
    • 雑誌名

      Asia-Pacific Journal of Operational Research 25

      ページ: 765-780

    • 査読あり
  • [雑誌論文] Stochastic performability evaluation for software-intensive system in case of tasks with various processing deadlines2008

    • 著者名/発表者名
      得能 貢一
    • 雑誌名

      Proceedings of the 3rd Asian International Workshop on Advanced Reliability Modeling

      ページ: 575-582

    • 査読あり
  • [雑誌論文] Service-oriented software availability model with service degradation2008

    • 著者名/発表者名
      得能 貢一
    • 雑誌名

      Proceedings of the 9th International Conference on Industrial Management

      ページ: 626-631

    • 査読あり
  • [雑誌論文] Markovian software reliability Modeling with testing-effort2008

    • 著者名/発表者名
      前橋 健太
    • 雑誌名

      Proceedings of the 14th ISSAT International Conference on Reliability and Quality in Design

      ページ: 193-197

    • 査読あり
  • [雑誌論文] Dynamic performance analysis for software system considering real-time property in case of NHPP task arrival2008

    • 著者名/発表者名
      得能 貢一
    • 雑誌名

      Proceedings of 2nd IEEE International Conference on Secure System Integration and Reliability Improvement

      ページ: 73-80

    • 査読あり
  • [雑誌論文] User-perceived software service availability Modeling with reliability growth2008

    • 著者名/発表者名
      得能 貢一
    • 雑誌名

      Service Availability -5th International Service Availability Symposium, ISAS 2008

      ページ: 75-89

    • 査読あり
  • [学会発表] マルコフ型ソフトウェア信頼性モデルの一般化とその近似計算法2009

    • 著者名/発表者名
      得能 貢一
    • 学会等名
      統計数理研究所研究集会「最適化 : モデリングとアルゴリズム」
    • 発表場所
      統計数理研究所
    • 年月日
      2009-03-25
  • [学会発表] Software Performability Evaluation Considering Performance Degradation2009

    • 著者名/発表者名
      得能 貢一
    • 学会等名
      日本OR学会2009年春季研究発表会
    • 発表場所
      筑波大学春日キャンパス
    • 年月日
      2009-03-17
  • [学会発表] Performability Modeling for Hardware-Software System with Software Reliability Growth2008

    • 著者名/発表者名
      得能貢一, 山田茂
    • 学会等名
      日本OR学会2008年秋季研究発表会
    • 発表場所
      札幌コンベンションセンター
    • 年月日
      2008-09-10
  • [学会発表] stochastic Software Performance Evaluation in Case of Tasks with Distributed Deadline2008

    • 著者名/発表者名
      得能 貢一
    • 学会等名
      電子情報通信学会信頼性研究会
    • 発表場所
      神戸学院大学ポートアイランドキャンパス
    • 年月日
      2008-05-30

URL: 

公開日: 2010-06-11   更新日: 2016-04-21  

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

Powered by NII kakenhi