An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications

1 Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting markets where costs is a major issue, and thus solutions are required which conjugate fault tolerance with low costs. In this paper, a software-based approach for developing safetycritical applications is analyzed. By exploiting an ad-hoc tool implementing the proposed technique, several benchmark applications have been hardened against transient errors. Fault Injection campaigns have been performed to evaluate the fault detection capability of the hardened applications. Moreover, a comparison of the proposed techniques with the Algorithm-Based Fault Tolerance (ABFT) approach is proposed. Experimental results show that the proposed approach is far more effective than ABFT in terms of fault detection capability when injecting transient faults in data and code memory, at a cost of an increased memory overhead. ...

• Type: Conference
• Year: 2000
• Where: DFT
• Authors: Maurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante
• Keywords: DFT 2000, Fault Detection Capability, Fault Tolerance, Safety-critical Computer-based Applications, VLSI