Home > Research > Publications & Outputs > An approach for analysing the propagation of da...

Links

Text available via DOI:

View graph of relations

An approach for analysing the propagation of data errors in software

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

Published
Close
Publication date1/07/2001
Host publication 2001 International Conference on Dependable Systems and Networks
PublisherIEEE
Pages161-170
Number of pages10
ISBN (print)0769511015
<mark>Original language</mark>English

Abstract

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.