DocumentCode
2919556
Title
Software dependability techniques validated via fault injection experiments
Author
Benso, A. ; Carlo, S. Di ; Natale, G. Di ; Prinetto, P. ; Tagliaferri, L.
fYear
2001
fDate
10-14 Sept. 2001
Firstpage
269
Lastpage
274
Abstract
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.
Keywords
circuit reliability; electronic engineering computing; fault simulation; fractals; redundancy; reliability; C/C++ source-to-source compiler; Mandelbrot fractal; client-server application; control flow checking; fault injection experiments; software dependability techniques; variable duplication/triplication; Application software; Circuit faults; Costs; Embedded computing; Emulation; Fault tolerance; Fractals; Hardware; Protection; Redundancy;
fLanguage
English
Publisher
ieee
Conference_Titel
Radiation and Its Effects on Components and Systems, 2001. 6th European Conference on
Print_ISBN
0-7803-7313-8
Type
conf
DOI
10.1109/RADECS.2001.1159292
Filename
1159292
Link To Document