Title :
Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors
Author :
Cheynet, Phillipe ; Nicolescu, Bogdan ; Velazco, Raoul ; Rebaudengo, Maurizio ; Reorda, Matteo Sonza ; Violante, Massimo
Author_Institution :
TIMA Lab., Grenoble, France
fDate :
12/1/2000 12:00:00 AM
Abstract :
This paper deals with a software modification strategy allowing 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 therefore particularly suited for low-cost safety-critical microprocessor-based applications. Experimental results are presented and discussed, demonstrating the effectiveness of the approach in terms of fault detection capabilities
Keywords :
errors; microprocessor chips; redundancy; safety-critical software; software fault tolerance; automatic generation; high-level code; microprocessor; on-line fault detection; redundancy; safety-critical software; transient error; Application software; Automotive engineering; Costs; Face detection; Fault detection; Fault tolerance; Hardware; Helium; Redundancy; Software safety;
Journal_Title :
Nuclear Science, IEEE Transactions on