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

リアルタイムソフトウェアシステムの予防保全に関する理論的研究

Research Project

Project/Area Number 13780367
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field 社会システム工学
Research InstitutionHiroshima University

Principal Investigator

土肥 正  広島大学, 大学院・工学研究科, 教授 (00243600)

Project Period (FY) 2001 – 2002
Project Status Completed (Fiscal Year 2002)
Budget Amount *help
¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2002: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2001: ¥900,000 (Direct Cost: ¥900,000)
Keywordsソフトウェアシステム / リアルタイム処理 / 予防保全 / ソフトウェア若化 / ソフトウェアエージング / システムディペンダビリティ / フォールトトレランス / スケジューリングアルゴリズム
Research Abstract

本年度は,オペレーティングシステムに対する予防保全スケジュールの生成問題について調査した.
Software Rejuvenationを実施することが最も効果的なリアルタイムシステムはオペレーティングシステムであると考えられるため,オペレーティングシステムにおけるエージング現象をモデル化し,オペレーティングシステム上で動作している多くのアプリケーションソフトウェアに対する非同期的挙動を数理的に表現することが本質的に重要な問題となる.これは,外部環境からのアクセスに対する確率的性質に大きく依存するサーバシステムとは異なり,非同期性,分散性,協調性を伴う離散事象システムとして捉える必要がある.オペレーティングシステムの動作特性を記述するためには様々な方法が考えられるが,本研究では確率ペトリネットによるアプローチを採用した.最も単純な指数発火を伴う確率ペトリネットを解析するためには,その可達木が連続状態マルコフ連鎖に帰着されることから,初年度に構築したSHARP2000に基づいたアルゴリズムを直接用いればよい.しかしながら,オペレーティングシステムにおけるエージング特性は無記憶性を有することが稀であるのが通常であり,より一般的なMarkov Regenerative確率ペトリネットのクラスに属する確率過程によって記述される.現在までにMarkov Regenerative確率ペトリネットの専用解析ツールはデューク大学電気計算機工学科において開発された"SPNP2000"だけであり,さらにソフトウェアディペンダビリティ尺度を算出したり予防保全アルゴリズムを決定するために,SPNP2000のカーネル部分の改良を行った.
また,ここではSPNP2000上でオペレーティングシステムの動作特性を表現し,さらに予防保全スケジュールとディペンダビリティ尺度を計算するためのアルゴリズムの開発ならびにシステムの実装を行った.購入したデスクトップ型パーソナルコンピュータは,SPNP2000の専用ハードウェアとして,また大学研究室に設置している全ての端末からオペレーティングシステムの動作情報を逐次記録するためのデータベースとしても利用した.初年度購入したノート型パーソナルコンピュータとの互換性は,データやアルゴリズムの共同利用を行うためには不可欠であったため,Windowsマシンの中でも特にコンパチブルなタイプを選定した.最終的に,Nバージョンプログラミングやリカバリブロック等の典型的な耐故障計算技術とのパフォーマンスを比較し,高信頼性リアルタイムシステムに対するRejuvenation Scheduleの有効性を調べた.

Report

(2 results)
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • Research Products

    (13 results)

All Other

All Publications (13 results)

  • [Publications] H.Suzuki: "Cost-effective analysis of periodic software rejuvenation policies for a telecommunication billing application"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (A). E85-A(12). 2923-2932 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Okumura: "Refined non-homogeneous Markovian models for a single server software system with rejuvenation"Revue Francaise d'Automatique, Informatique et Recherche Operationnelle. 36. 129-148 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 岩本一樹: "コスト有効性に基づいた離散時間ソフトウェア若化スケジュールの推定"電子情報通信学会論文誌(A). J86-A(3). 269-277 (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Dohi: "Availability models with age dependent-checkpointing"Proceedings of 21st Symposium on Reliable Distributed Systems. 130-139 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Dohi: "Discrete availability models to rejuvenate a telecommunication billing application"Proceedings of 7th IEEE International Symposium on High Assurance Systems Engineering. 156-166 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Okamura: "Dependability analysis of a client/server software systems with rejuvenation"Proceedings of 13th International Symposium on Software Reliability Engineering. 171-180 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Suzuki: "Advances in Stochastic Modelling (分担執筆)"Notable Publications, Inc.. 24 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Dohi: "A statistical estimation method of optimal software release timing applying autoregressive models"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (A). vol. E84-A, no. 1. 331-338 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] H.Okamura: "Performance evaluation of workload-based software rejuvenation scheme"IEICE Transactions on Information and Systems (D). vol. E84-D, no. 10. 1368-1375 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] T.Dohi: "Estimating software rejuvenation schedule in high assurance systems"The Computer Journal. vol. 44 no. 6. 473-485 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 西尾泰彦: "比例ハザードモデルに基づいたソフトウェア製品の信頼性評価"電子情報通信学会論文誌 (A). vol. J85-A, no. 1. 84-94 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 土肥正: "コスト有効性に基づいたソフトウェアシステムに対する予防保全スケジュールの決定"電子情報通信学会論文誌 (A). vol. J85-A, no. 2. 197-206 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] T.Dohi: "Analysis on the hypergeometric software reliability model"Proceedings of 12th International Symposium on Software Reliability Engineering. 166-175 (2001)

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi