講演抄録/キーワード |
講演名 |
2010-12-17 13:00
性能低下および運用段階特有の修復シナリオを考慮したソフトウェア性能評価のための統合モデル ○得能貢一・山田 茂(鳥取大) R2010-37 |
抄録 |
(和) |
本論文では,運用環境を反映したソフトウェアシステムの性能評価のための統合モデルを構築する.ソフトウェアシステムの動的振舞いはマルコフ過程を用いて記述される.このとき,動作状態および不動作状態について,それぞれ次の2つの状態を考慮する.?システムの動作状態においては,十分な処理性能を発揮している(望ましい)動作状態と処理性能が低下しつつも稼動状態を保っている動作状態の2種類,?運用段階におけるシステムの修復作業として,信頼度向上を目的としたデバッグ作業を伴う修復作業と不稼動時間短縮を目的としたデバッグ作業を伴わない修復作業の2種類,である.システムの形態としてはマルチタスクシステムを想定し,仕事の到着過程は非同次ポアソン過程で記述する.また,各仕事には処理時間制約が課せらている場合を取扱う.このモデルに基づいて,ある時刻までに処理を完了することができた仕事数に関する分布を,無限サーバ待ち行列モデルを用いて解析し,実時間性を考慮したシステムの性能評価尺度を導出する.最後に,本モデルに基づくシステムの性能評価例を示して,稼動中の処理性低下の度合や頻度およびフィールドにおける復旧政策とシステム性能評価の関係について考察する. |
(英) |
This paper constructs the integrated software performability model reflecting the actual field environment. The time-dependent behavior of the system alternating between up and down states is described by the Markov process. Then we incorporate the undesirable operational state and the field-oriented restoration scenario into the model, i.e., we consider the following two types of operational state: one is operating with the desirable performance level according to specification and the other is with degraded performance level, and the following two types of restoration: one is the restoration with debugging and the other is without debugging. Assuming that the software system can process the multiple tasks simultaneously, we describe the arrival process of the tasks follows a nonhomogeneous Poisson process and treat the processing time limit imposed on each task as a random variable. We analyze the distribution of the number of tasks whose processes can be completed within the processing time limit with the infinite server queueing model. From the model, we derive several software performability measures considering the real-time property. Finally, we illustrate several numerical examples of the measures to investigate the impacts of the difference of the operational performance levels and the field-oriented restoration on the system performability evaluation. |
キーワード |
(和) |
パフォーマビリティ / リアルタイム性 / 性能低下 / 運用指向の修復シナリオ / マルコフ過程 / ソフトウェア信頼度成長 / / |
(英) |
Performability / Real-time property / Performance degradation / Field-oriented restoration scenario / Markov process / Software reliability growth / / |
文献情報 |
信学技報, vol. 110, no. 345, R2010-37, pp. 1-6, 2010年12月. |
資料番号 |
R2010-37 |
発行日 |
2010-12-10 (R) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
R2010-37 |
研究会情報 |
研究会 |
R |
開催期間 |
2010-12-17 - 2010-12-17 |
開催地(和) |
機械振興会館 |
開催地(英) |
|
テーマ(和) |
信頼性国際規格,安全性,信頼性一般 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
R |
会議コード |
2010-12-R |
本文の言語 |
英語(日本語タイトルあり) |
タイトル(和) |
性能低下および運用段階特有の修復シナリオを考慮したソフトウェア性能評価のための統合モデル |
サブタイトル(和) |
|
タイトル(英) |
Integrated Model for Software Performability Measurement Considering Random Performance Degradation and Field-oriented Restoration |
サブタイトル(英) |
|
キーワード(1)(和/英) |
パフォーマビリティ / Performability |
キーワード(2)(和/英) |
リアルタイム性 / Real-time property |
キーワード(3)(和/英) |
性能低下 / Performance degradation |
キーワード(4)(和/英) |
運用指向の修復シナリオ / Field-oriented restoration scenario |
キーワード(5)(和/英) |
マルコフ過程 / Markov process |
キーワード(6)(和/英) |
ソフトウェア信頼度成長 / Software reliability growth |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
得能 貢一 / Koichi Tokuno / トクノウ コウイチ |
第1著者 所属(和/英) |
鳥取大学 (略称: 鳥取大)
Tottori University (略称: Tottori Univ.) |
第2著者 氏名(和/英/ヨミ) |
山田 茂 / Shigeru Yamada / ヤマダ シゲル |
第2著者 所属(和/英) |
鳥取大学 (略称: 鳥取大)
Tottori University (略称: Tottori Univ.) |
第3著者 氏名(和/英/ヨミ) |
/ / |
第3著者 所属(和/英) |
(略称: )
(略称: ) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2010-12-17 13:00:00 |
発表時間 |
25分 |
申込先研究会 |
R |
資料番号 |
R2010-37 |
巻番号(vol) |
vol.110 |
号番号(no) |
no.345 |
ページ範囲 |
pp.1-6 |
ページ数 |
6 |
発行日 |
2010-12-10 (R) |