| 講演名 | 1995/11/10 幾何減少型ハザードレートモデルに基づくソフトウェア・アベイラビリティ評価法に関する考察 , |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本研究では,ソフトウェア故障発生時間およびフォールト修正時間の確率的挙動を考慮したソフトウェア・アベイラビリティモデルについて議論する.フォールト修正作業が進捗するにつれて,ソフトウェア故障の発生時間間隔は長くなり,その発生原因であるフォールトの修正も難しくなることを考慮して,各ソフトウェア故障に対するハザードレートおよびフォールト修正率は幾何級数的に減少すると仮定し,ソフトウェアの時間的挙動をマルコフ過程を用いて記述する.このソフトウェア・アベイラビリティモデルに基づいて,ソフトウェアの性能評価のための尺度を導出し,モデルパラメータの推定法について言及する.最後に,アベイラビリティ評価の数値例を示す. |
| 抄録(英) | We discuss a software availability model incorporating software failure-occurrence and fault-correction times. Considering that the mean time between software failure-occurrences becomes longer and that the debugging activity becomes more difficult with the progress in fault-removal process, we assume that both the software failure-occurrence and the fault-correction rates reduce geometrically Then, the time-dependent behavior of the software system is described by a Markov process. Several quantitative measures for software availability assesment are derived from this model, and the maximum likelihood estimations of unknown model parameters are presented. Finally, numerical examples are presented for illustration of software availability measurement. |
| キーワード(和) | ソフトウェア・アベイラビリティ / 性能評価と計測 / マルコフ過程 / 瞬間ソフトウェア・アベイラビリティ |
| キーワード(英) | Software availability / Measurement and assessment / Markov process / Instantaneous software availability |
| 資料番号 | R95-28 |
| 発行日 |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 1995/11/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Reliability(R) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 幾何減少型ハザードレートモデルに基づくソフトウェア・アベイラビリティ評価法に関する考察 |
| サブタイトル（和） | |
| タイトル（英） | A Markovian Software Availability Modeling with a Geometrically Decreasing Hazard Rate |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア・アベイラビリティ / Software availability |
| キーワード(2)（和/英） | 性能評価と計測 / Measurement and assessment |
| キーワード(3)（和/英） | マルコフ過程 / Markov process |
| キーワード(4)（和/英） | 瞬間ソフトウェア・アベイラビリティ / Instantaneous software availability |
| 第 1 著者 氏名（和/英） | / Keiko Takata |
| 第 1 著者 所属（和/英） | 鳥取大学工学部社会開発システム工学科 Department of Social Systems Engineering Faculty of Engineering, Tottori University |
| 発表年月日 | 1995/11/10 |
| 資料番号 | R95-28 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 348 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |