System safety through automatic high-level code transformations: An experimental evaluation

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2001, Pages 297-301

  Rebaudengo, M ^a   Sonza Reorda, M ^a   Violante, M ^a   Cheynet, P ^b   Nicolescu, B ^b   Velazco, R ^b  

^a POLITECNICO DI TORINO   (Italy)

^b GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODE TRANSFORMATION; DETECTION CAPABILITY; EXPERIMENTAL EVALUATION; ON-LINE DETECTION; SOFTWARE AND HARDWARES; SOFTWARE MODIFICATION; SYSTEM SAFETY; TRANSIENT ERRORS;

COSINE TRANSFORMS; EXHIBITIONS; FAULT DETECTION;

AUTOMATION;

EID: 0142226768     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2001.915040     Document Type: Conference Paper

References (12)

1. B. Randell, "System Structure for Software Fault Tolerant", IEEE Trans, on Software Engineering, Vol. 1, No. 2, June 1975, pp. 220-232
2. A. Avizienis, "The N-Version Approach to Fault-Tolerant Software", IEEE Trans. On Software Engineering, Vol. 11, No. 12, Dec. 1985, pp. 1491-1501
3. K. H. Huang, J. A. Abraham, "Algorithm-Based Fault Tolerance for Matrix Operations", IEEE Trans. on Computers, vol. 33, December 1984, pp. 518-528
4. 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
5. K. Wilken, J. P. Shen, "Continuous Signature Monitoring: Low-Cost Concurrent Detection of Processor Control Errors", IEEE Trans, on Computer-Aided Design, Vol. 9, No. 6, June 1990, pp. 629-641
6. P. Shirvani, N. Saxena, E. J. McCluskey, "Software-Implemented EDAC Protection against SEUs", to be published on IEEE Transactions on Reliability
7. M. Nicolaidis, "Time Redundancy Based Soft-Error Tolerance to Rescue Nanometer Technologies", VTS'99: IEEE VLSI Test Symposium, 1999, pp. 86-94
8. A. Benso, S. Chiusano, P. Prinetto, L. Tagliaferri, "A C/C++ Source-to-Source Compiler for Dependable Applications", International Conference on Dependable Systems and Networks, DSN 2000, pp. 71-78
9. M. Rebaudengo, M. Sonza Reorda, M. Torchiano, M. Violante, "Soft-error Detection through Software Fault-Tolerance techniques", DFT'99: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 1999, pp. 210-218
10. J. Levine, T. Mason, D. Brown, Lex & Yacc, 2nd Edition October 1992, O'Reilly & Associates, Inc.
11. R. Velazco, Ph. Cheynet, A. Tissot, J. Haussy, J. Lambert, R. Ecoffet, "Evidences of SEU tolerance for digital implementations of Artificial Neural Networks: one year MPTB flight results", Proceedings of RADECS'99
12. M. Rebaudengo, M. Sonza Reorda, M. Violante, P. Cheynet, B. Nicolescu, R. Velazco, "Evaluating the effectiveness of a Software Fault-Tolerance technique on RISC- and CISC-based architectures", IEEE On-Line Testing Workshop, 2000, pp. 17-21