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 placement of software mechanisms for detection of data errors
AU - Hiller, M.
AU - Jhumka, A.
AU - Suri, Neeraj
PY - 2002/6/23
Y1 - 2002/6/23
N2 - 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.
AB - 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.
KW - Black box modular software
KW - Data errors
KW - Error model effects
KW - Error propagation analysis
KW - Computer simulation
KW - Computer system recovery
KW - Data storage equipment
KW - Error analysis
KW - Error detection
KW - Heuristic methods
KW - Software engineering
U2 - 10.1109/DSN.2002.1028894
DO - 10.1109/DSN.2002.1028894
M3 - Conference contribution/Paper
SN - 0769515975
SN - 0769511015
SP - 135
EP - 144
BT - Proceedings International Conference on Dependable Systems and Networks
ER -