| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-05-25 17:20 システマビリティを導入したソフトウェア性能評価法に関する一考察 ○得能貢一・山田 茂（鳥取大）  R2012-10 |
|
| 抄録 | （和） | 本稿では，運用環境の不安定性・不確定性を考慮した信頼性特性と定義されるシステマビリティの概念を導入したソフトウェア性能評価法について議論する．システムの形態としては複数の仕事を同時に処理するマルチタスクシステムを想定し，仕事の到着過程は非同次ポアソン過程に従う場合を考察する．また，運用段階におけるソフトウェア故障発生現象は，マルコフ型ソフトウェア信頼性モデル(MSRM)を用いて記述される．本稿では，テスト環境と運用環境におけるソフトウェア故障発生特性は，基本的には異なるという立場を取る．そこで，この差異を埋めるための環境係数をMSRMに対して導入し，これを確率変数として取扱い，システマビリティを考慮したMSRM(MSRM-S)として再構築する．次に，MSRM-Sを基に，ある時刻までに処理を完了することができた仕事数に関する分布を，無限サーバ待ち行列モデルを用いて解析する．この解析結果より，実時間性を考慮したシステムの性能評価尺度を導出し，時間およびデバッグ作業回数の関数として示す．最後に，本手法の数値例を示しながら，システマビリティの考慮がソフトウェアの性能評価結果に与える影響について考察する． |
| （英） | In this paper, we discuss the performability evaluation model for the software-based system, introducing the concept of systemability which is defined as the reliability characteristic subject to the uncertainty of the field environment. Assuming that the software system can process the multiple tasks simultaneously and that the arrival process of the tasks follows a nonhomogeneous Poisson process, we analyze the distribution of the number of tasks whose processes can be completed within the processing time limit with the infinite-server queueing theory. Here we take the position that the software reliability characteristic in the testing phase is originally different from that in the operation phase. Then, the software failure-occurrence phenomenon in the operation phase is described with the Markovian software reliability model with systemability, i.e., we consider the randomness of the environmental factor which is introduced to bridge the gap between the software failure-occurrence characteristics during the testing and the operation phases. We derive several software performability measures 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 measures to investigate the impact of consideration of systemability on the system performability evaluation. | |
| キーワード | （和） | 性能評価 / システマビリティ / 運用環境のランダム性 / マルコフ型ソフトウェア信頼性モデル / 無限サーバ待ち行列モデル / / / |
| （英） | performability evaluation / systemability / randomness of field environment / Markovian software reliability model / infinite-server queueing model / / / | |
| 文献情報 | 信学技報, vol. 112, no. 59, R2012-10, pp. 53-58, 2012年5月. | |
| 資料番号 | R2012-10 | |
| 発行日 | 2012-05-18 (R) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | R2012-10 |
|
| 研究会情報 | |
| 研究会 | R |
| 開催期間 | 2012-05-25 - 2012-05-25 |
| 開催地（和） | 出雲グリーンホテルモーリス |
| 開催地（英） | |
| テーマ（和） | ソフトウェアの信頼性，信頼性一般 |
| テーマ（英） | Softwar Reliability, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | R |
| 会議コード | 2012-05-R |
| 本文の言語 | 英語（日本語タイトルあり） |
| タイトル（和） | システマビリティを導入したソフトウェア性能評価法に関する一考察 |
| サブタイトル（和） | |
| タイトル（英） | A Note on Software Performability Evaluation with Systemability |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 性能評価 / performability evaluation |
| キーワード(2)（和/英） | システマビリティ / systemability |
| キーワード(3)（和/英） | 運用環境のランダム性 / randomness of field environment |
| キーワード(4)（和/英） | マルコフ型ソフトウェア信頼性モデル / Markovian software reliability model |
| キーワード(5)（和/英） | 無限サーバ待ち行列モデル / infinite-server queueing model |
| キーワード(6)（和/英） | / |
| キーワード(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著者 |
| 発表日時 | 2012-05-25 17:20:00 |
| 発表時間 | 25分 |
| 申込先研究会 | R |
| 資料番号 | R2012-10 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | no.59 |
| ページ範囲 | pp.53-58 |
| ページ数 | 6 |
| 発行日 | 2012-05-18 (R) |
[研究会発表申込システムのトップページに戻る]