Leeke, Matthew and Jhumka, Arshad (2009) Beyond the golden run : evaluating the use of reference run models in fault injection analysis. In: UK Performance Engineering Workshop (UKPEW 2009), Leeds, UK, 6-7th July 2009 pp. 61-74.

Full text not available from this repository.

Abstract

Fault injection (FI) has been shown to be an effective approach to assess- ing the dependability of software systems. To determine the impact of faults injected during FI, a given oracle is needed. This oracle can take a variety of forms, however prominent oracles include (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 when analysing systems which employ a main control loop with an irregular period. Further, we show how a simple model, which has been refined using FI, 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
Divisions:	Faculty of Science > Computer Science
Date:	6 July 2009
Page Range:	pp. 61-74
Status:	Not Peer Reviewed
Publication Status:	Published
Conference Paper Type:	Paper
Title of Event:	UK Performance Engineering Workshop (UKPEW 2009)
Type of Event:	Workshop
Location of Event:	Leeds, UK
Date(s) of Event:	6-7th July 2009
Related URLs:	Other Repository
URI:	http://wrap.warwick.ac.uk/id/eprint/47538

Request changes to a record

Actions (login required)

View Item