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 - An approach for analysing the propagation of data errors in software
AU - Hiller, M.
AU - Jhumka, A.
AU - Suri, Neeraj
A2 - D.C., Young
PY - 2001/7/1
Y1 - 2001/7/1
N2 - We present a novel approach for analysing the propagation of data errors in software. The concept of error permeability is introduced as a basic measure upon which we define a set of related measures. These measures guide us in the process of analysing the vulnerability of software to find the modules that are most likely exposed to propagating errors. Based on the analysis performed with error permeability and its related measures, we describe how to select suitable locations for error detection mechanisms (EDM's) and error recovery mechanisms (ERM's). A method for experimental estimation of error permeability based on fault injection, is described and the software of a real embedded control system analysed to show the type of results obtainable by the analysis framework. The results show that the developed framework is very useful for analysing error propagation and software vulnerability, and for deciding where to place EDM's and ERM's.
AB - We present a novel approach for analysing the propagation of data errors in software. The concept of error permeability is introduced as a basic measure upon which we define a set of related measures. These measures guide us in the process of analysing the vulnerability of software to find the modules that are most likely exposed to propagating errors. Based on the analysis performed with error permeability and its related measures, we describe how to select suitable locations for error detection mechanisms (EDM's) and error recovery mechanisms (ERM's). A method for experimental estimation of error permeability based on fault injection, is described and the software of a real embedded control system analysed to show the type of results obtainable by the analysis framework. The results show that the developed framework is very useful for analysing error propagation and software vulnerability, and for deciding where to place EDM's and ERM's.
KW - Software vulnerability
KW - Algorithms
KW - Embedded systems
KW - Error analysis
KW - Probability
KW - Real time systems
KW - Computer software selection and evaluation
U2 - 10.1109/DSN.2001.941402
DO - 10.1109/DSN.2001.941402
M3 - Conference contribution/Paper
SN - 0769511015
SP - 161
EP - 170
BT - 2001 International Conference on Dependable Systems and Networks
PB - IEEE
ER -