Software dependability techniques validated via fault injection experiments

The present paper proposes a C/C++ source-to-source compiler able to increase the dependability properties of a given application. The adopted strategy is based on two main techniques: variable duplication/triplication and control flow checking. The validation of these techniques is based on the emu...

Full description

Saved in:
Bibliographic Details
Published in2001 6th European Conference on Radiation and Its Effects on Components and Systems pp. 269 - 274
Main Authors Benso, A., Di Carlo, S., Di Natale, G., Prinetto, P., Tagliaferri, L.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2001
Subjects
Application software
Circuit faults
Costs
Embedded computing
Emulation
Fault tolerance
Fractals
Hardware
Protection
Redundancy
Online AccessGet full text
ISBN9780780373136
0780373138
DOI10.1109/RADECS.2001.1159292

Cover

More Information
Summary:The present paper proposes a C/C++ source-to-source compiler able to increase the dependability properties of a given application. The adopted strategy is based on two main techniques: variable duplication/triplication and control flow checking. The validation of these techniques is based on the emulation of fault appearance by software fault injection. The chosen test case is a client-server application in charge of calculating and drawing a Mandelbrot fractal.
ISBN:9780780373136
0780373138
DOI:10.1109/RADECS.2001.1159292