Conference Paper

An approach for analysing the propagation of data errors in software

Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden;
DOI: 10.1109/DSN.2001.941402 Conference: Dependable Systems and Networks, 2001. DSN 2001. International Conference on
Source: CiteSeer

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 (EDMs) and error recovery mechanisms (ERMs). 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 EDMs and ERMs.

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: It is the sad truth that no matter how good a programme r you are all software systems will contain faults and be exposed to faults from the environment! Therefore, an important aspect of any software component is how resilient it is to faults. The concept of using software implemented fault injection (SWIFI) for software component evaluation seems very appealing. There are however many questions that needs to be resolved before any real use of such a technique can be gained. Questions like what type of faults that arise in real systems and how to emulate them in software must be answered. Is the system at all suitable for testing with SWIFI? What impact does the tool have on the experiment and impact does the workload have? In this paper some of the more important questions are discussed and references are given to previous work done in the corresponding area. Several examples of existing tools are presented and parallels are drawn to the technique presented in the book, IPA, interface propagation analysis.
  • [Show abstract] [Hide abstract]
    ABSTRACT: We present a quantitative approach for identifying soft- ware modules and signals which will not be able to contain data errors that may be present in a software system, thus rendering the system non-dependable. Based on error prop- agation analysis in combination with error effect analysis we discuss how the results can be used to identify a) mod- ules/signals which have a high "ablity" to let propagating errors pass through them on their way through the system, and b) modules/signals which, when be subjected to errors, have a severe negative effect on the results produced by the system. This knowledge is very useful for directing and allo- cating resources for increased software reliability. Both the error propagation analysis and the error effect analysis are based on the Error Permeability measure. Using this mea- sure we define a range of subsequent measures which allow us to quantify error propagation as well as error effect.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper presents a layer model tailored for the test of distributed systems that rely on the time-triggered paradigm, such as the FlexRay protocol that is currently employed in the automotive industry. The presented layer model is applied for the generation of a fault model, aids in the inspection of fault propagation throughout the distributed system under consideration and is used for fault diagnosis of defective electronic control units. To that end, this systematic test and diagnosis approach to provide a solid basis for analyzing and verifying future by-wire systems with respect to their communication properties.
    Factory Communication Systems, 2004. Proceedings. 2004 IEEE International Workshop on; 10/2004

Full-text (3 Sources)

Available from
May 27, 2014