| 講演名 | 2004/5/14 ソフトウェア可用性モデルを用いたシステムの処理性評価に関する考察(セッション3 : ソフトウェアの信頼性,信頼性理論) 得能 貢一, 山田 茂, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では,同時に複数の仕事を処理するようなシステムを想定して,ソフトウェア可用性モデルを用いた仕事数に基づく処理性評価法について議論する.動作/不動作状態を交互に繰り返すソフトウェアシステム自身の時間的・確率的振舞いは,マルコフ過程を用いて記述される.システムに到着する仕事数を同次ポアソン過程で記述し,各仕事の処理時間を指数分布と仮定する.このとき,処理を完了できる仕事数の確率過程を,無限サーバ待ち行列モデルの考え方を用いて解析する.本モデルより,仕事数に関係するソフトウェアシステムの処理性評価尺度が導出される.最後に,本モデルに基づく処理性評価尺度の数値例を示し,システムの故障/修復特性と性能評価の関係を考察する. |
| 抄録(英) | We propose the performance evaluation method for the multi-task system with the Markovian software availability model. The time-dependent behavior of the system itself alternating between up and down states is described by the Markov process. We assume that the cumulative number of tasks arriving at the system and the processing time for a task follow the homogeneous Poisson process and the exponential distribution, respectively. Then we can formulate the distribution of the number of tasks whose processes can be complete with the infinite-server queueing model. Prom the model, several quantities for software performance measurement related to the task processing can be derived. Finally, we present several numerical examples of the quantities to analyze the relationship between the software reliability characteristics and the system performance measurement. |
| キーワード(和) | マルチタスクシステム / ソフトウェア可用性 / マルコフ過程 / 無限サーバ待ち行列モデル / ソフトウェア信頼度成長 |
| キーワード(英) | multi-task system / software availability / Markov process / infinite-server queueing model / software reliabilitv growth |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2004/5/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Reliability(R) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ソフトウェア可用性モデルを用いたシステムの処理性評価に関する考察(セッション3 : ソフトウェアの信頼性,信頼性理論) |
| サブタイトル（和） | |
| タイトル（英） | Software Performance Evaluation Method with Availability Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | マルチタスクシステム / multi-task system |
| キーワード(2)（和/英） | ソフトウェア可用性 / software availability |
| キーワード(3)（和/英） | マルコフ過程 / Markov process |
| キーワード(4)（和/英） | 無限サーバ待ち行列モデル / infinite-server queueing model |
| キーワード(5)（和/英） | ソフトウェア信頼度成長 / software reliabilitv growth |
| 第 1 著者 氏名（和/英） | 得能 貢一 / Koichi TOKUNO |
| 第 1 著者 所属（和/英） | 鳥取大学工学部社会開発システム工学科 Department of Social Systems Engineering, Faculty of Engineering, Tottori University |
| 第 2 著者 氏名（和/英） | 山田 茂 / Shigeru YAMADA |
| 第 2 著者 所属（和/英） | 鳥取大学工学部社会開発システム工学科 Department of Social Systems Engineering, Faculty of Engineering, Tottori University |
| 発表年月日 | 2004/5/14 |
| 資料番号 | |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 72 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |