Archivio Istituzionale della RicercaThe 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.
Software dependability techniques validated via fault injection experiments / Benso, Alfredo; DI CARLO, Stefano; DI NATALE, Giorgio; Prinetto, Paolo Ernesto; Tagliaferri, Luca. - STAMPA. - (2001), pp. 269-274. (Intervento presentato al convegno IEEE 6th European Conference on Radiation and Its Effects on Components and Systems (RADECS) tenutosi a Grenoble, FR nel 10-14 Sept. 2001) [10.1109/RADECS.2001.1159292].
Software dependability techniques validated via fault injection experiments
BENSO, Alfredo;DI CARLO, STEFANO;DI NATALE, Giorgio;PRINETTO, Paolo Ernesto;TAGLIAFERRI, Luca
2001
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
2001-RADECS-SIHFT-AuthorVersion.pdf
accesso aperto
Descrizione: Manuscript author version
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
PUBBLICO - Tutti i diritti riservati
Dimensione
7.35 MB
Formato
Adobe PDF
|
7.35 MB | Adobe PDF | Visualizza/Apri |
|
2001-RADECS-SIHFT.pdf
accesso aperto
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
PUBBLICO - Tutti i diritti riservati
Dimensione
327.17 kB
Formato
Adobe PDF
|
327.17 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/1499884
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo