| 講演抄録/キーワード |
| 講演名 |
2007-07-13 15:45
可用性モデルを用いたソフトウェアの処理性評価法 ~ タスクの到着率がNHPPに従う場合 ~ ○得能貢一・山田 茂(鳥取大) R2007-28 |
| 抄録 |
(和) |
本論文では,実時間性を導入したソフトウェアの性能評価法について議論する.動作/不動作状態を交互に繰り返すソフトウェアシステム自身の時間的・確率的振舞いは,マルコフ過程を用いて記述される.システムの形態として,同時に複数の処理を実行するマルチタスクシステムを想定し,システムに到着する仕事数は非同次ポアソン過程に従うものとする.このとき,到着した仕事数のうち処理が完了できる仕事数の分布は,無限サーバ待ち行列モデルの考え方を用いて解析する.このモデルに基づいて,実時間性を考慮したソフトウェアの性能評価尺度を,時間およびデバッグ回数の関数として導出する.最後に,導出された性能評価尺度の数値例を示し,ソフトウェアの信頼性/修復特性と性能評価結果の関係について考察を行う. |
| (英) |
In this paper, we discuss the software performance evaluation method considering the real-time property. The time-dependent behavior of the software system itself alternating between up and down states is described by the Markovian software availability model. Assuming that the software system can process the plural tasks simultaneously and that the arrival process of the tasks follows an NHPP, we analyze the distribution of the number of tasks whose processes can be complete within a prespecified processing time limit with the infinite server queueing model. We derive several stochastic quantities for software performance measurement considering the real-time property; these are given as the functions of time and the number of debugging activities. Finally, we illustrate several numerical examples of the quantities to investigate the relationship between the software reliability/restoration characteristics and the system performance. |
| キーワード |
(和) |
性能評価 / ソフトウェア可用性モデル / マルコフ過程 / 実時間性 / 無限サーバ待ち行列モデル / / / |
| (英) |
Performance evaluation / Software availability model / Markov process / Real-time property / Infinite server queueing model / / / |
| 文献情報 |
信学技報, vol. 107, no. 137, R2007-28, pp. 51-56, 2007年7月. |
| 資料番号 |
R2007-28 |
| 発行日 |
2007-07-06 (R) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
R2007-28 |