Improved software-based processor control-flow errors detection technique

Proceedings - Annual Reliability and Maintainability Symposium

Volumn , Issue , 2005, Pages 583-589

  Goloubeva, O ^a   Rebaudengo, M ^a   Sonza Reorda, M ^a   Violante, M ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

Microprocessor based systems; SIHFD; Software redundancy

Indexed keywords

CONTROL-FLOW ERRORS; ERROR COVERAGE; FAULT DETECTION; MICROPROCESSOR-BASED SYSTEMS; SIHFD; SOFTWARE REDUNDANCY;

COMPUTER HARDWARE; ERROR ANALYSIS; PROBLEM SOLVING; COMPUTER SOFTWARE; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; REDUNDANCY; STORAGE ALLOCATION (COMPUTER);

COMPUTER SOFTWARE; MICROPROCESSOR CHIPS;

EID: 27744515011     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RAMS.2005.1408426     Document Type: Conference Paper

References (14)

1. th International Symposium on Fault-Tolerant Computing, 1995, pp. 218-227.
2. N.R. Saxena, E.J. McCluskey, "Control Flow Checking Using Watchdog Assists and Extended-Precision Checksums", IEEE Transactions on Computers, Vol. 39, No. 4, Apr. 1990, pp. 554-559.
3. T. Michel, R. Leveugle and G. Saucier, "A New Approach to Control Flow Checking without Program Modification", Proc. FTCS-21, 1991, pp. 334-341.
4. M.Namjoo, "CERBERUS-16: An Architecture for a General Purpose Watchdog Processor", Proc. Symposium on Fault-Tolerant Computing, 1983, pp. 216-219.
5. J.B. Eifert, J.P. Shen, "Processor Monitoring Using Asynchronous Signatured Instruction Streams", Proc. 25th International Symposium on Fault-Tolerant Computing, 1995, pp. 106-111.
6. N. Oh, P.P. Shirvani, E.J. McCluskey, "Control-Flow Checking by Software Signatures", IEEE Transactions on Reliability, Vol. 51, No. 2, March 2002, pp. 111-122.
7. K. Wilken, J.P. Shen, "Continuous signature monitoring: efficient concurrent-detection of processor control errors", Proc. International Test Conference, 1988, pp. 914-925.
8. J.P. Shen and M.A. Schuette, "On-line Self-Monitoring Using Signatured Instruction Streams", Proc. ITC'83, 1983, pp. 275-282.
9. G. Miremadi, J. Harlsson, U. Gunneflo, J. Torin, "Two Software Techniques for On-line Error Detection", Proc. Twenty-Second International Symposium on Fault-Tolerant Computing, 1992, pp. 328-335.
10. 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 Transactions Parallel and Distributed Systems, Vol. 10, No. 6, June 1999, pp. 627-641.
11. R. Venkatasubramanian, J.P. Hayes, B.T. Murray, "Low-cost On-line Fault Detection Using Control Flow Assertions", Proc. On-Line Testing Symposium, 2003, pp. 137-143.
12. O. Goloubeva, M. Rebaudengo, M. Sonza Reorda, M. Violante, "Soft-Error Detection Using Control Flow Assertions", Proc. Defect and Fault Tolerance in VLSI Systems, 2003, pp. 581-588.
13. A. Aho, R. Sethi, J. Ullman, "Compilers: Principles, Techniques and Tools", Addison-Wesley, 1986.
14. S.S. Yau, F.-C. Chen, "An Approach to Concurrent Control Flow Checking", IEEE Transactions on Software Engineering, Vol. 6, No. 2, March 1980, pp. 126-137.