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

P. Cheynet (1) , B. Nicolescu (1) , Raoul Velazco (1) , M. Rebaudengo (2) , M. Sonza Reorda (2) , M. Violante (2)

1 TIMA - Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés
2 DAUIN - Dipartimento di Automatica e Informatica [Torino]

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.

Mots clés: transient-errors; redundancy-; low-cost-safety-critical-microprocessor-based-applications; hardware-fault-injection; software-fault-injection; fault-detection-capabilities; automatic-high-level-code-transformations; software-modification-strategy; on-line-detection

Domaines: Micro et nanotechnologies/Microélectronique

P. Cheynet, B. Nicolescu, Raoul Velazco, M. Rebaudengo, M. Sonza Reorda, et al.. System safety through automatic high-level code transformations: an experimental evaluation. 2001, pp.297-301, ⟨10.1109/DATE.2001.915040⟩. ⟨hal-00008218⟩