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

2008 Fiscal Year Annual Research Report

ソフトウェアサイバネティクスに基づいた自律的信頼性評価技術の開発

Research Project

Project/Area Number 19510148
Research InstitutionHiroshima University

Principal Investigator

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

Keywordsソフトウェア / 信頼性評価 / サイバネティクス / 自律計算 / ツール開発 / 適応計算 / 統計的推定アルゴリズム / ウェッブシステム
Research Abstract

前年度の成果に基づいて,モジュールテストと結合テストに対する信頼性評価技術の開発を行った.具体的には次のように要素技術を列挙することができる。
(1)ソフトウェア・アーキテクチャモデルの開発:多数のモジュール(コンポーネント)から構成されるソフトウェア・アーキテクチャ上で、モジュールテストの実行プロファイルを記述するための信頼性モデルを定式化した。実行プロファイルの推移率や結合テストの失敗確率はすべて可観測ではないため、パラメータの推定にはEMアルゴリズムもしくは変分ベイズアルゴリズムを用いた。
(2)実験システムの追加整備:分散開発環境下でのモジュールテスト環境を仮想的に模擬するために実機システムを整備した。これにより、モジュールテスト、結合テスト、システムテストという一連のテスト環境を連続してシミュレート出来る実験環境が整った。
(3)適応オンライン推定に基づくテスト進捗過程の再構成:前年度に開発されたシステムにモジュールテストに対する信頼度推定機能を付加し、テスト工程全般を通じて信頼度を推定するためのスキームを確立すした。
(4)テスト環境の変化への対応:テスト工程において発生する「フォールトの検出傾向の変化」時点を統計的に検出する機能を追加し、テスト環境の変化(モデルの構造変化)に対応することの出来るロバストな推定スキームに変更した。
(5)ウェッブアプリケーションの開発と実証研究:得られた理論的成果を基に、自律的ソフトウェア信頼性評価を実施するためのウェッブアプリケーションの開発と、実工程で観測されたデータに基づいて実証研究を行った。

  • Research Products

    (30 results)

All 2009 2008

All Journal Article (18 results) (of which Peer Reviewed: 18 results) Presentation (11 results) Book (1 results)

  • [Journal Article] Gompertz software reliability model : estimation algorithm and empirical validation2009

    • Author(s)
      K. Ohishi, H. Okamura, T. Dohi
    • Journal Title

      Journal of Systems and Software 82

      Pages: 535-543

    • Peer Reviewed
  • [Journal Article] Numerical computat ion algorithms for sequential checkpoint placement2009

    • Author(s)
      T. Ozaki, T. Dohi, N. Kaio
    • Journal Title

      Performance Evaluation 66

      Pages: 311-326

    • Peer Reviewed
  • [Journal Article] Software reliability model ing based on capture-recapture sampling2009

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

      IEICE Transact ions on Fundamentals (A) E92-A(掲載決定)

    • Peer Reviewed
  • [Journal Article] Markovian arrival process parameter est imation with group data2009

    • Author(s)
      H. Okamura, T. Dohi K. S. Trivedi
    • Journal Title

      IEEE/ACM Transactions on Networking 17(掲載決定)

    • Peer Reviewed
  • [Journal Article] A security match management model2009

    • Author(s)
      T. Uemura, T. Dohi
    • Journal Title

      Proc. The IASTED International Conference on Software Engineering なし

      Pages: 114-119

    • Peer Reviewed
  • [Journal Article] On equilibrium distribution properties in software reliability modeling2009

    • Author(s)
      X. Xiao, T. Dohi
    • Journal Title

      Proc. 4th International Conference on Availability, Reliability and Security なし

      Pages: 158-165

    • Peer Reviewed
  • [Journal Article] statistical failure analysis of a web server system2009

    • Author(s)
      T. Fujii, T. Dohi
    • Journal Title

      Proc. 4th International Conference on Availability, Reliability and Security なし

      Pages: 554-559

    • Peer Reviewed
  • [Journal Article] Software reliability mode ling based on mixed Poisson distributions2008

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering 15(1)

      Pages: 9-32

    • Peer Reviewed
  • [Journal Article] Bivariate extension of discrete software reliability modeling with number of test cases2008

    • Author(s)
      T. Ishii, T. Fujiwara, T. Dohi
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering 15(1)

      Pages: 1-17

    • Peer Reviewed
  • [Journal Article] Estimating periodic software rejuvenation schedule in discrete operational circumstance2008

    • Author(s)
      K. Iwamoto, T. Dohi, N. Kaio
    • Journal Title

      IEICE Transactions on Information & Systems(D) E91-D(1)

      Pages: 23-31

    • Peer Reviewed
  • [Journal Article] Estimating the optimal software rejuvenation schedule with small sample data2008

    • Author(s)
      K. Rinsaka, T. Dohi
    • Journal Title

      Quality Technology and Quantitative Management Journal 6(1)

      Pages: 55-65

    • Peer Reviewed
  • [Journal Article] 耐侵入システムの設計と評価〜確率モデルを中心に〜2008

    • Author(s)
      植村俊和, 土肥正
    • Journal Title

      日本信頼性学会誌 30(3)

      Pages: 223-234

    • Peer Reviewed
  • [Journal Article] Analysis of a software system with rejuvenation, restoration and checkpointing2008

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

      Service Availability : 5th International Service Availability Symposium, Springer LNCS 5017

      Pages: 110-128

    • Peer Reviewed
  • [Journal Article] Simulation-based optimization approach for software cost model with rejuvenation2008

    • Author(s)
      H. Eto, T. Dohi, T. Ma
    • Journal Title

      The 5th International Conference on Autonomic and Trusted Computing, Springer LNCS 5060

      Pages: 206-218

    • Peer Reviewed
  • [Journal Article] How good is gamma process modeling for software reliability assessment2008

    • Author(s)
      L. Z. Jin, T. Dohi
    • Journal Title

      Proc. 2008 Asian International Workshop on Advanced Reliability Modeling なし

      Pages: 567-574

    • Peer Reviewed
  • [Journal Article] Adaptive software rejuvenation schedule based on non-parametric predictive inference : an expected cost model2008

    • Author(s)
      K. Rinsaka, T. Dohi
    • Journal Title

      Proc. 2008 Asian International Workshop on Advanced Reliability Modeling なし

      Pages: 591-598

    • Peer Reviewed
  • [Journal Article] A new paradi gm for software reliability model ing- from NHPP to NHGP -2008

    • Author(s)
      T. Ishii, T. Dohi
    • Journal Title

      Proc. 14th Pacific Rim International Symposium on Dependable Computing なし

      Pages: 224-231

    • Peer Reviewed
  • [Journal Article] Hyper-Erlang software reliability model2008

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

      Proc. 14th Pac if ic Rim International Sympos ium on Dependable Computing Dependable Computing なし

      Pages: 232-239

    • Peer Reviewed
  • [Presentation] ノンパラメトリック予測推論に基づいたソフトウェアの最適若化方策-3ステップ適応的スケジューリング-2009

    • Author(s)
      林坂弘一郎, 土肥正
    • Organizer
      日本オペレーションズ・リサーチ学会春季研究発表会
    • Place of Presentation
      筑波大学
    • Year and Date
      20090317-20090318
  • [Presentation] 最適セキュリティパッチマネジメントに関する考察2008

    • Author(s)
      岡村寛之, 徳育賢山, 土肥正
    • Organizer
      日本オペレーションズ・リサーチ学会秋季研究発表会
    • Place of Presentation
      札幌コンベンションセンター
    • Year and Date
      20080911-20080912
  • [Presentation] 非定常カンマ過程に基づいたソフトウェア信頼性評価II --連続状態モデル--2008

    • Author(s)
      金林柱, 土肥正
    • Organizer
      日本オペレーションズ・リサーチ学会秋季研究発表会
    • Place of Presentation
      札幌コンベンションセンター
    • Year and Date
      20080911-20080912
  • [Presentation] NPI-based adaptive software rejuvenation strategies under expected cost criterion2008

    • Author(s)
      K. Rinsaka, T. Dohi
    • Organizer
      日本オペレーションズ・リサーチ学会秋季研究発表会
    • Place of Presentation
      札幌コンベンションセンター
    • Year and Date
      20080911-20080912
  • [Presentation] マルコフ変調ポアソン過程によるコンピュ-タウイルス増殖過程の推定2008

    • Author(s)
      岡村寛之, 土肥正
    • Organizer
      電子情報通信学会信頼性研究会
    • Place of Presentation
      機械振興会館
    • Year and Date
      2008-12-12
  • [Presentation] Availability optimization in operational software system with aperiodic time-based rejuvenation scheme2008

    • Author(s)
      H. Okamura, T. Dohi
    • Organizer
      The First International Workshop on Software Aging and Rejuvenationg (WoSAR'08)
    • Place of Presentation
      (株)マイクロソフト, (シアトル, 米国)
    • Year and Date
      2008-11-11
  • [Presentation] コスト有効性に基づいたソフトウェアの適応的若化スケジューリング2008

    • Author(s)
      林坂弘一郎, 土肥正
    • Organizer
      電子情報通信学会アシュアランスシステム研究会
    • Place of Presentation
      兵庫県立大学
    • Year and Date
      2008-11-04
  • [Presentation] 混合アーランソフトウェア信頼性モデル2008

    • Author(s)
      岡村寛之, 土肥正
    • Organizer
      電子情報通信学会信頼性研究会
    • Place of Presentation
      とかちプラザ(帯広)
    • Year and Date
      2008-07-11
  • [Presentation] ウェブサーバシステムにおけるエラー率の実験的評価2008

    • Author(s)
      肖霄, 土肥正
    • Organizer
      電子情報通信学会信頼性研究会
    • Place of Presentation
      とかちプラザ(帯広)
    • Year and Date
      2008-07-11
  • [Presentation] 脆弱性ライフサイクルとユーザプロファイルを考慮したソフトウェアシステムのセキュリティ評価2008

    • Author(s)
      岡村寛之, 徳育賢山, 土肥正
    • Organizer
      電子情報通信学会信頼性研究会
    • Place of Presentation
      神戸学院大学
    • Year and Date
      2008-05-30
  • [Presentation] IMS-based VoIPネットワークシステムの定置的セキュリティ分析2008

    • Author(s)
      植村俊和, 土肥正, 海生直人
    • Organizer
      電子情報通信学会信頼性研究会
    • Place of Presentation
      神戸学院大学
    • Year and Date
      2008-05-30
  • [Book] Advanced Reliability Modeling III - Global Aspect of Reliability and Maintainability2008

    • Author(s)
      S. -H. Shu, T. Dohi(eds. )
    • Total Pages
      811
    • Publisher
      McGraw Hill

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi