Low-cost on-line fault detection using control flow assertions

Proceedings - 9th IEEE International On-Line Testing Symposium, IOLTS 2003

Volumn , Issue , 2003, Pages 137-143

  Venkatasubramanian, Rajesh ^a   Hayes, J P ^a   Murray, B T ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b DELPHI CORPORATION   (United States)

Author keywords

Automotive engineering; Computer architecture; Costs; Fault detection; Instruments; Laboratories; Performance loss; Registers; Rivers; Testing

Indexed keywords

AUTOMOTIVE ENGINEERING; C (PROGRAMMING LANGUAGE); COMPUTER ARCHITECTURE; COST ENGINEERING; COSTS; ERRORS; FLOW GRAPHS; GRAPH THEORY; INSTRUMENT TESTING; INSTRUMENTS; LABORATORIES; OPEN SOURCE SOFTWARE; PROGRAM DEBUGGING; PROGRAM PROCESSORS; RIVERS; SOFTWARE TESTING; TESTING;

CONTROL FLOW CHECKING; EXECUTABLE ASSERTIONS; INVARIANT PROPERTIES; LOW COST METHODS; ON-LINE DETECTION; ON-LINE FAULT DETECTION; PERFORMANCE LOSS; REGISTERS;

FAULT DETECTION;

EID: 81355162831     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/OLT.2003.1214380     Document Type: Conference Paper

References (17)

1. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools, Addison Wesley, Reading, MA, 1988.
2. 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. on Parallel and Distributed Systems, vol. 10, pp. 627-641, June 1999.
3. J. Carreira, H. Madeira, and J. G. Silva, "Xception: A Technique for Experimental Evaluation of Dependability in Modern Computers", IEEE Trans. on Software Engineering, vol. 24, pp. 125-136, Feb. 1998.
4. U. Gunneflo, J. Karlssson, and J. Torin, "Evaluation of Error Detection Schemes Using Fault Injection by Heavy-ion Radiation", Proc. of Intl. Symposium on Fault Tolerant Computing, pp. 340-347, 1989.
5. J. L. Hennessy and D. A. Patterson, Computer Architecture: A Quantitative Approach, Morgan Kaufmann, San Fransico, 1996.
6. J. Hennessy, Stanford Integer Benchmarks, Personal Communications, 1988.
7. G. A. Kanawati, N. A. Kanawati, and J. A. Abraham, "FERRARI: a flexible software-based fault and error injection system", IEEE Trans. on Computers, vol. 44, pp. 248-260, Feb. 1995.
8. J. H. Lala and R. E. Harper, "Architecture Principles for Safety-Critical Real-Time Applications", Proc. of the IEEE, vol. 82, pp. 25-50, Jan. 1994.
9. M. Lutz, Programming Python, O'Reilly, Sebastopol, CA, 1996.
10. A. Mahmood and E. J. McCluskey, "Concurrent Error Detection Using Watchdog Processors - A Survey", IEEE Trans. on Computers, vol. 37, pp. 160-174, Feb. 1988.
11. G. Miremadi, J. Karlsson, U. Gunneflo, and J. Torin, "Two Software Techniques for On-line Error Detection", Proc. of Intl. Symposium on Fault Tolerant Computing, pp. 328-335, 1992.
12. 4I: Error Detection by Diverse Data and Duplicated Instructions", IEEE Trans. on Computers, vol. 51, pp. 180-199, Feb. 2002.
13. N. Oh, P. P. Shirvani, and E. J. McCluskey, "Control Flow Checking by Software Signatures", IEEE Transactions on Reliability, vol. 51, pp. 111-122, Mar. 2002.
14. J. Ohlsson, M. Rimen, and U. Gunneflo, "A Study of the Effects of Transient Fault Injection into a 32-bit RISC with Built-in Watchdog", Proc. of Intl. Symposium on Fault Tolerant Computing, pp. 316-325, 1992.
15. D. K. Pradhan, Fault-Tolerant Computer System Design, Prentice-Hall, Englewood Cliffs, NJ, 1996.
16. M. Z. Rela, H. Madeira, and J. G. Silva, "Experimental Evaluation of the Fail-Silent Behavior in Programs with Consistency Checks", Proc. of Intl. Symposium on Fault Tolerant Computing, pp. 394-403, 1996.
17. S. H. Saib, "Executable Assertions - An Aid to Reliable Software", Proc. of 11th Asilomar Conference on Circuits, Systems and Computers, pp. 277-281, 1978.