DocumentCode :
1441313
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
Volume :
47
Issue :
6
fYear :
2000
fDate :
12/1/2000 12:00:00 AM
Firstpage :
2231
Lastpage :
2236
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;
fLanguage :
English
Journal_Title :
Nuclear Science, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9499
Type :
jour
DOI :
10.1109/23.903758
Filename :
903758
Link To Document :
بازگشت