Home > Research > Publications & Outputs > On the selection of error model(s) for OS robus...

Links

Text available via DOI:

View graph of relations

On the selection of error model(s) for OS robustness evaluation

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Published
Close
NullPointerException

Abstract

The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation precision. In order to find an "effective" error model for OS evaluation, this paper systematically compares the relative effectiveness of three prominent error models, namely bit-flips, data type errors and fuzzing errors using fault injection at the interface between device drivers OS. Bit-flips come with higher costs (time) than the other models, but allow for more detailed results. Fuzzing is cheaper to implement but is found to be less precise. A composite error model is presented where the low cost of fuzzing is combined with the higher level of details of bit-flips, resulting in high precision with moderate setup and execution costs. © 2007 IEEE.

Bibliographic note

Cited By :22 Export Date: 7 October 2019 Correspondence Address: Johansson, A.; Dept. of CS, TU-DarmstadtGermany; email: aja@informatik.tu-darmstadt.de