An experimental evaluation of the effectiveness of automatic rule-based transformations for safety-critical applications

Proceedings - IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems

Volumn Part F5373300, Issue , 2000, Pages 257-265

  Rebaudengo, Maurizio ^a   Sonza Reorda, Matteo ^a   Torchiano, Marco ^a   Violante, Massimo ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; BENCHMARKING; COSTS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; HARDENING; SAFETY ENGINEERING;

ALGORITHM BASED FAULT TOLERANCE; COMPUTER-BASED APPLICATIONS; CONJUGATE FAULTS; CRITICAL TASKS; DETECTION CAPABILITY; EXPERIMENTAL EVALUATION; FAULTS DETECTION; LOW-COSTS; RULE-BASED TRANSFORMATION; SAFETY CRITICAL APPLICATIONS;

FAULT DETECTION;

EID: 0034508590     PISSN: 15505774     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DFTVS.2000.887164     Document Type: Conference Paper

References (15)

1. M. Nicolaidis, "Time Redundancy Based Soft-Error Tolerance to Rescue Nanometer Technologies", VTS'99: IEEE VLSI Test Symp., 1999, pp. 86-94
2. L. Anghel, M. Nicolaidis, "Cost Reduction and Evolution of a Temporary Faults Detecting Techniques", IEEE DATE'00, 2000, pp. 591-598
3. B. Randell, "System Structure for Software Fault Tolerant," IEEE Trans. On Software Engineering, Vol. 1, No. 2, Jun. 1975, pp. 220-232
4. A. Avizienis, "The N-Version Approach to Fault-Tolerant Software," IEEE Trans. On Software Engineering, Vol. 11, No. 12, Dec. 1985, pp. 1491-1501
5. K. H. Huang, J. A. Abraham, "Algorithm-Based Fault Tolerance for Matrix Operations", IEEE Transaction on Computers, Vol. 33, Dec 1984, pp. 518-528
6. Z. Alkhalifa, V.S.S. Nair, N. Krishnamurthy, J.A. Abraham, "Design and Evaluation of System-level Checks for On-line Control Flow Error Detection," IEEE Trans. On Parallel and Distributed Systems, Vol. 10, No. 6, Jun. 1999, pp. 627-641
7. S.S. Yau, F.-C. Chen, "An Approach to Concurrent Control Flow Checking," IEEE Trans. On Software Engineering, Vol. 6, No. 2, March 1980, pp. 126-137
8. M. Rebaudengo, M. Sonza Reorda, M. Torchiano, M. Violante, "Soft-error Detection through Software Fault-Tolerance techniques", IEEE DFT'99: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 1999, pp. 210-218
9. A. Benso, S. Chiusano, P. Prinetto, L. Tagliaferro, "A C/C++ Source-to-Source Compiler for Dependable Applications", to be presented to the International Conference on Dependable Systems and Networks, June 2000
10. ftp://iecc.com/pub/file/c-grammar.gz
11. A. Benso, M. Rebaudengo, M. Sonza Reorda, P.L. Civera, An Integrated HW and SW Fault Injection Environment for Real-Time Systems, DFT'98: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 1998, pp. 117-122
12. M. Zenha Rela, H. Madeira, J.G. Silva, Experimental Evaluation of the Fail-Silent Behavior in Programs with Consistency Checks, Proc. FTCS-26, 1996, pp. 415-424
13. V.S. Nair, J.A. Abraham, Real-Number Codes for Fault-Tolerant Matrix Operations on Processor Arrays, IEEE Transactions on Computer, April 1990, Vol. 39, pp. 426-435
14. S. Dutt, F.T. Assaad, "Mantissa-preserving operations and robust algorithm based fault tolerance for matrix computations", IEEE Transactions on Computer, Vol. 45, No. 4, July 1996, pp. 408-424
15. S.-J. Wang, N. Jha, "Algorithm-Based Fault Tolerance for FFT Networks", IEEE Transactions on Computer, Vol. 43, No. 7, July 1994, pp. 849-854