|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/12363
|
| タイトル: | Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors |
| 著者: | Pham, Thanh-Trung
Defago, Xavier
Huynh, Quyet-Thang |
| キーワード: | Reliability modeling and prediction
component-based software systems
error propagation
software fault tolerance mechanisms
error detection and error handling |
| 発行日: | 2014-05-15 |
| 出版者: | Elsevier |
| 誌名: | Science of Computer Programming |
| 巻: | 97 |
| 開始ページ: | 426 |
| 終了ページ: | 457 |
| DOI: | 10.1016/j.scico.2014.03.016 |
| 抄録: | One of the most important quality attributes of a software system beyond its functional attributes is its reliability. Techniques for predicting reliability of a software system based on the design models can help software architects in evaluating the impact of their design decisions on the system reliability. This can help to make the system more reliable and avoid costs for fixing the implementation. However, existing reliability prediction approaches for component-based software systems are limited in their applicability because they either neglect or do not support modeling explicitly several factors which influence the system reliability: (i) error propagation, (ii) software fault tolerance mechanisms, and (iii) concurrently present errors. In this paper, we present a reliability modeling and prediction approach for component-based software systems that considers explicitly these reliability-relevant factors. Our approach offers a reliability modeling schema whose models are automatically transformed by our reliability prediction tool into Markov models for reliability predictions and sensitivity analyses. We evaluate our approach in two case studies with reliability predictions and sensitivity analyses. Via these two case studies, we demonstrate its applicability in supporting design decisions. |
| Rights: | NOTICE: This is the author’s version of a work accepted for publication by Elsevier. Changes resulting from the publishing process, including peer review, editing, corrections, structural formatting and other quality control mechanisms, may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Thanh-Trung Pham, Xavier Defago, Quyet-Thang Huynh, Science of Computer Programming, 97, 2014, 426-457, http://dx.doi.org/10.1016/j.scico.2014.03.016 |
| URI: | http://hdl.handle.net/10119/12363 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 20572.pdf | | 4571Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
