The Library
Evaluating the use of reference run models in fault injection analysis
Tools
Tools
Tools
Leeke, Matthew and Jhumka, Arshad (2009) Evaluating the use of reference run models in fault injection analysis. In: 15th Pacific Rim International Symposium on Dependable Computing, Shanghai, People's Republic of China, November 16-18, 2009. Published in: IEEE 15th Pacific Rim International Symposium on Dependable Computing, Proceedings pp. 121-124.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/PRDC.2009.28
Abstract
Fault injection (FI) has been shown to be an effective approach to assessing the dependability of software systems. To determine the impact of faults injected during FI, a given oracle is needed. Oracles can take a variety of forms, including (i) specifications, (ii) error detection mechanisms and (iii) golden runs. Focusing on golden runs, in this paper we show that there are classes of software which a golden run based approach can not be used to analyse. Specifically, we demonstrate that a golden run based approach can not be used in the analysis of systems which employ a main control loop with an irregular period. Further, we show how a simple model, which has been refined using FI experiments, can be employed as an oracle in the analysis of such a system.
| Item Type: | Conference Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > TK Electrical engineering. Electronics Nuclear engineering |
| Divisions: | Faculty of Science > Computer Science |
| Journal or Publication Title: | IEEE 15th Pacific Rim International Symposium on Dependable Computing, Proceedings |
| Publisher: | IEEE Computer Society |
| ISBN: | 978-0-7695-3849-5 |
| Date: | 2009 |
| Number of Pages: | 4 |
| Page Range: | pp. 121-124 |
| Identification Number: | 10.1109/PRDC.2009.28 |
| Status: | Peer Reviewed |
| Publication Status: | Published |
| Access rights to Published version: | Restricted or Subscription Access |
| Conference Paper Type: | Paper |
| Title of Event: | 15th Pacific Rim International Symposium on Dependable Computing |
| Type of Event: | Conference |
| Location of Event: | Shanghai, People's Republic of China |
| Date(s) of Event: | November 16-18, 2009 |
| URI: | http://wrap.warwick.ac.uk/id/eprint/6330 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
