Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors

This paper deals with a software modification strategy allowing on-line det ection of transient errors. Being based on a set of rules for introducing r edundancy in the high- level code, the method can be completely automated, and is therefore particularly suited for low-cost safety-critical microproc essor-based applications. Experimental results are presented and discussed, demonstrating the effectiveness of the approach in terms of fault detectio n capabilities.