by Martin Hiller, Arshad Jhumka, Neeraj Suri
In Proceedings of the 2002 International Conference on Dependable Systems & Networks (DSN2002), IEEE Computer Society
http://www.deeds.informatik.tu-darmstadt.de/publications/hiller_dsn02.pdf
Add To MetaCart
Abstract:
An important aspect in the development of dependable software is to decide where to locate mechanisms for efficient error detection and recovery. We present a comparison between two methods for selecting locations for error detection mechanisms, in this case executable assertions (EA’s), in black-box modular software. Our results show that by placing EA’s based on error propagation analysis one may reduce the memory and execution time requirements as compared to experience- and heuristic-based placement while maintaining the obtained detection coverage. Further, we show the sensitivity of the EA-provided coverage estimation on the choice of the underlying error model. Subsequently, we extend the analysis framework such that error-model effects are also addressed and introduce measures for classifying signals according to their effect on system output when errors are present. The extended framework facilitates profiling of software systems from varied dependability perspectives and is also less susceptible to the effects of having different error models for estimating detection coverage. 1
Citations
|
168
|
An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
– Goel
- 1995
|
|
110
|
Fault Injection for Dependability Validation: A Methodology and Some Applications
– Arlat, Aguera, et al.
- 1990
|
|
99
|
On the acceleration of test generation algorithms
– Fujiwara, Shimono
- 1983
|
|
81
|
PIE: A dynamic failure-based technique
– Voas
- 1992
|
|
60
|
Understanding Large System Failures - A Fault Injection Experiment
– Chillarege, Bowen
- 1989
|
|
19
|
Estimators for Fault Tolerance Coverage Evaluation
– Powell, Martins, et al.
- 1995
|
|
16
|
Coverage estimation methods for stratified fault-injection
– Cukier, Powell, et al.
- 1999
|
|
10
|
Computer Logic, Testing and Verification
– Roth
- 1980
|
|
10
|
On Finding an Optimal Combination of Error Detection Mechanisms Based on Results of Fault Injection Experiments
– Steininger, Scherrer
- 1997
|
|
8
|
Error propagation analysis studies in a nuclear research code
– Voas, Charron, et al.
- 1998
|
|
6
|
Executable Assertions - An Aid To Reliable
– Saib
- 1978
|
|
5
|
Executable Assertions for Detecting Data Errors
– Hiller
- 2000
|
|
5
|
Propagation and Infection Analysis (PIA) Applied to Debugging
– Voas, Morell
- 1990
|
|
4
|
Air Force - 99, “MIL-SPEC: Aircraft Arresting System BAK12A/E32A
– US
- 1986
|
|
3
|
A Tool for Examining the Behavior of Faults and Errors
– Hiller
- 2000
|
|
3
|
Tang D., “Experimental Analysis of Computer
– Iyer
- 1996
|
|
2
|
et al., “Assessment of Microkernels by Fault Injection
– Fabre
- 1999
|
|
2
|
An Approach for Analysing the
– Hiller, Jhumka, et al.
- 2001
|
