| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2009-05-29 13:55 2種類の復旧シナリオを考慮したソフトウェア性能評価モデル ○得能貢一・山田 茂（鳥取大）  R2009-11 |
|
| 抄録 | （和） | 本論文では，実時間性を考慮したソフトウェアの性能評価法について考察する．ソフトウェアの動的振舞いはマルコフ過程により記述される．このとき，運用段階で実施される2種類の修復作業を考慮する．1つはデバッグ作業を伴う修復作業で，もう1つはデバッグ作業を伴わない修復作業である．システムの形態としては，複数の仕事を同時に処理するマルチタスクシステムを想定し，仕事の到着過程を非同次ポアソン過程で記述し，各仕事に課される処理時間制約を確率変数として取り扱う．到着した仕事のうち処理が完了できる仕事数の分布は，無限サーバ待ち行列モデルの考え方を用いて解析する．本モデルに基づいて，ソフトウェアの性能評価尺度を，時間およびデバッグ回数の関数として導出する．最後に，導出された性能評価尺度の数値例を示し，仕事の多様性や運用指向の修復作業の考慮が性能評価結果に与える影響について考察する． |
| （英） | In this paper, we discuss software performability evaluation considering the real-time property. The time-dependent behavior of the system alternating between up and down state is described by the Markov process. Then we incorporate the operation-oriented restoration scenario into the model, i.e., we consider 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 also consider the variety of tasks in terms of the task arrival process and the processing time limit. We describe the arrival process of the tasks follows a nonhomogeneous Poisson process and treat the processing time limit 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 impact of the variety of tasks and the operational restoration on the system performability evaluation. | |
| キーワード | （和） | パフォーマビリティ / 運用指向の修復作業 / 実時間性 / 仕事の多様性 / 無限サーバ待ち行列モデル / ソフトウェア信頼度成長 / / |
| （英） | Performability / Operation-oriented restoration / Real-time property / Variety of tasks / Infinite-server queueing model / Software reliability growth / / | |
| 文献情報 | 信学技報, vol. 109, no. 67, R2009-11, pp. 19-24, 2009年5月. | |
| 資料番号 | R2009-11 | |
| 発行日 | 2009-05-22 (R) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | R2009-11 |
|
| 研究会情報 | |
| 研究会 | R |
| 開催期間 | 2009-05-29 - 2009-05-29 |
| 開催地（和） | 広島修道大学 |
| 開催地（英） | Hiroshima Shudo University |
| テーマ（和） | ソフトウェアの信頼性、信頼性理論、信頼性一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | R |
| 会議コード | 2009-05-R |
| 本文の言語 | 英語（日本語タイトルあり） |
| タイトル（和） | 2種類の復旧シナリオを考慮したソフトウェア性能評価モデル |
| サブタイトル（和） | |
| タイトル（英） | Software Performability Model with Two Kinds of Restoration |
| サブタイトル（英） | |
| キーワード(1)（和/英） | パフォーマビリティ / Performability |
| キーワード(2)（和/英） | 運用指向の修復作業 / Operation-oriented restoration |
| キーワード(3)（和/英） | 実時間性 / Real-time property |
| キーワード(4)（和/英） | 仕事の多様性 / Variety of tasks |
| キーワード(5)（和/英） | 無限サーバ待ち行列モデル / Infinite-server queueing model |
| キーワード(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著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2009-05-29 13:55:00 |
| 発表時間 | 25分 |
| 申込先研究会 | R |
| 資料番号 | R2009-11 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | no.67 |
| ページ範囲 | pp.19-24 |
| ページ数 | 6 |
| 発行日 | 2009-05-22 (R) |
[研究会発表申込システムのトップページに戻る]