System safety through automatic high-level code transformations: an experimental evaluation

Author

Rebaudengo, M. ; Reorda, M. Sonza ; Violante, M. ; Cheynet, P. ; Nicolescu, B. ; Velazco, R.

Author_Institution

Dipartimento di Autom. e Inf., Politecnico di Torino, Italy

fYear

2001

fDate

2001

Firstpage

297

Lastpage

301

Abstract

This paper deals with a software modification strategy allowing the on-line detection of transient errors. Being based on a set of rules for introducing redundancy in the high-level code, the method can be completely automated, and is particularly suited for low-cost safety-critical microprocessor-based applications. Experimental results from software and hardware fault injection campaigns are presented and discussed, demonstrating the effectiveness of the approach in terms of fault detection capabilities

Keywords

redundancy; safety-critical software; software fault tolerance; automatic high-level code transformations; fault detection capabilities; hardware fault injection; low-cost safety-critical microprocessor-based applications; on-line detection; redundancy; software fault injection; software modification strategy; transient errors; Application software; Circuit faults; Costs; Face detection; Fault detection; Fault tolerance; Hardware; Programming profession; Redundancy; Software safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Design, Automation and Test in Europe, 2001. Conference and Exhibition 2001. Proceedings

Conference_Location

Munich

ISSN

1530-1591

Print_ISBN

0-7695-0993-2

Type

conf

DOI

10.1109/DATE.2001.915040

Filename

915040