The Library
Evaluating the use of reference run models in fault injection analysis
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. ISBN 978-0-7695-3849-5. doi:10.1109/PRDC.2009.28
PDF
Evaluating_the_use_of_Reference_Run_Models_in_Fault_Injection_Analysis.pdf - Published Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (81Kb) |
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, Engineering and Medicine > 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 | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Number of Pages: | 4 | ||||
Page Range: | pp. 121-124 | ||||
DOI: | 10.1109/PRDC.2009.28 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Date of first compliant deposit: | 3 December 2015 | ||||
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 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |