Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - On the selection of error model(s) for OS robustness evaluation
AU - Johansson, A.
AU - Suri, Neeraj
AU - Murphy, B.
N1 - Cited By :22 Export Date: 7 October 2019 Correspondence Address: Johansson, A.; Dept. of CS, TU-DarmstadtGermany; email: aja@informatik.tu-darmstadt.de
PY - 2007/6/25
Y1 - 2007/6/25
N2 - 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.
AB - 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.
KW - Error analysis
KW - Interfaces (computer)
KW - Mathematical models
KW - Robustness (control systems)
KW - Device drivers
KW - Error models
KW - Execution costs
KW - Fuzzing errors
KW - Computer operating systems
U2 - 10.1109/DSN.2007.71
DO - 10.1109/DSN.2007.71
M3 - Conference contribution/Paper
SN - 0769528554
SP - 502
EP - 511
BT - 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07)
PB - IEEE
ER -