CEDA: Control-flow error detection through assertions

Proceedings - IOLTS 2006: 12th IEEE International On-Line Testing Symposium

Volumn 2006, Issue , 2006, Pages 151-156

  Vemu, Ramtilak ^a   Abraham, Jacob A ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL FLOW ERROR DETECTION; CONTROL FLOW ERROR DETECTION THROUGH ASSERTIONS (CEDA); RUN-TIME SIGNATURES;

BENCHMARKING; COMPUTER PROGRAMMING; EMBEDDED SYSTEMS; FAULT DETECTION;

ERROR DETECTION;

EID: 34247190204     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IOLTS.2006.14     Document Type: Conference Paper

References (10)

1. Z. Alkhalifa, V. S. S. Nair, N. Krishnamurthy, and J. A. Abraham. Design and evaluation of system-level checks for on-line control flow error detection. IEEE Trans. Parallel Distrib. Syst., 10(6):627-641, 1999.
2. T. M. Austin. DIVA: a reliable substrate for deep submicron microarchitecture design. In MICRO 32: Proceedings of the 32nd annual ACM/IEEE international symposium on Microarchitecture, pages 196-207, Washington, DC, USA, 1999. IEEE Computer Society.
3. O. Goloubeva, M. Rebaudengo, M. S. Reorda, and M. Violante. Soft-error detection using control flow assertions. In 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pages 581-588, 2003.
4. J. L. Henning. Spec cpu2000: Measuring cpu performance in the new millennium. Computer, 33(7):28-35, 2000.
5. K. A. Hua. Design of systems with concurrent error detection using software redundancy. PhD thesis, University of Illinois, Urbana, IL, USA, 1987.
6. A. Mahmood and E. J. McCluskey. Concurrent error detection using watchdog processors-a survey. IEEE Trans. Comput., 37(2): 160-174, 1988.
7. V. J. N. Krishnamurthy and J. A. Abraham. A design methodology for software fault injection in embedded systems. In IFIP Int. Workshop on Dependable Computing and Its Applications (DCIA-98).
8. N. Oh, P. Shirvani, and E. McCluskey. Control-flow checking by software signatures. IEEE Transactions on Reliability, 51(1): 111-122, 2002.
9. J. Ohlsson, M. Rimen, and U. Gunneflo. A study of the effects of transient fault injection into a 32-bit rise with built-in watchdog. In 22nd Int. Symposium on Fault Tolerant Computing, pages 316-325, 1992.
10. R. Venkatasubramanian, J. P. Hayes, and B. T. Murray. Low-cost on-line fault detection using control flow assertions. In International On-Line Testing Symposium, pages 137 - 143, 2003.