Two software techniques for on-line error detection

FTCS 1992 - 22nd Annual International Symposium on Fault-Tolerant Computing

Volumn , Issue , 1992, Pages 328-335

  Miremadi, G ^a   Harlsson, J ^a   Gunneflo, U ^a   Torin, J ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT DETECTION; FAULT TOLERANCE; HEAVY IONS; SOFTWARE TESTING;

CONTROL-FLOW ERRORS; ERROR-DETECTION TECHNIQUES; EXECUTABLE CODES; FAULT INJECTION TECHNIQUES; ON-LINE DETECTION; ON-LINE ERROR DETECTION; SOFTWARE TECHNIQUES; SOFTWARE-BASED TECHNIQUES;

ERROR DETECTION;

EID: 33747346430     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1992.243568     Document Type: Conference Paper

References (19)

1. Aho, A., R Sethi, and J. Ullman, Compilers: Principles, Techniques, and Tools, (Addison-Wesley, 1986).
2. Gunneflo, U., J. Karlsson, and J. Torin, "Evaluation of Error Detection Schemes Using Fault Injection by Heavy-ion Radiation, " Digest of Papers, 19th Annual International Symposium on Fault-Tolerant Computing (FTCS-19), pp. 428-435, Chicago, June 1989.
3. Halse, R. G., and C. Preece, "Erroneous Execution and Recovery in Microprocessor Systems, " Software and Microsystems, Vol. 4, No. 3, pp. 63-70, June 1985.
4. Kane, J. R., and S. S. Yau, "Concurrent Software Fault Detection, " IEEE Transactions on Software Engineering, Vol. SE-1, No. 1, pp. 87-99, March 1975.
5. Karlsson, J., U. Gunneflo, and J. Torin, "Use of Heavy-ion Radiation From 252californium for Fault Injection Experiments, " Proceedings of 1st JFJP Working Conference on Dependable Computing for Critical Applica-tions, pp. 79-84, Santa Barbara, California, Aug. 1989.
6. Karlsson, J., U. Gunneflo, P. Liden, and J. Torin, "Two Fault Injection Techniques for Test of Fault Handling Mechanisms, " Proceedings, IEEE 1991 International Test Conference, pp. 140-149, Nashville, TN, Oct. 1991.
7. Lu, D. J., "Watchdog Processors and Structural Integrity Checking, " IEEE Transactions on Computers, Vol. C-31, No. 7, pp. 681-685, July 1982.
8. Mahmood, A., and E. J. McCluskey, "Watchdog Processors: Error Coverage and Overhead. " Digest of Papers, 15th Annual International Symposium on FaultTolerant Computing (FTCS-15), pp. 214-219, Ann Arbor, Michigan, June 1985.
9. Mahmood, A., and E. J. McCluskey, "Concurrent Error Detection Using Watchdog Processors-A survey, " IEEE Transactions on Computers, Vol. 37, No. 2, pp. 160-174, Feb. 1988.
10. Namjoo, M., "Techniques for Concurrent Testing of VLSI Processor Operation, " Digest of Papers, IEEE 1982 International Test Conference, pp. 461-468, Philadelphia, Nov. 1982.
11. Saxena, N. R., and E. J. McCluskey, "Control Flow Checking Using Watchdog Assists and ExtendedPrecision Checksums, " Digest of Papers, 19th Annual International Symposium on Fault-Tolerant Computing (FTCS-19), pp. 428-435, Chicago, June 1989.
12. Schmid, M. E., R. L. Trapp, A. E. Davidoff, and M. Masson, "Upset Exposure by Means of Abstraction Verification, " Digest of Papers, 12th Annual International Symposium on Fault-Tolerant Computing (FTCS-12), pp. 237-244, Santa Monica, June 1982.
13. Schuette, M. A., and J. P. Shen, "Processor Control Flow Monitoring Using Signatured Instruction Streams, " IEEE Transactions on Computers, Vol. C-36, No. 3, pp. 264-276, March 1987.
14. Shen, J. P., and M. A. Schuette, "On-Line SelfMonitoring Using Signatured Instruction Streams, " Digest of Papers, 1983 IEEE International Test Conference, pp. 275-282, Philadelphia, 1983.
15. Sridhar, T., and S. M. Thatte, "Concurrent Checking of Program Flow in VLSI Processors, " Digest of Papers, IEEE 1982 International Test Conference, pp. 191-199, Philadelphia, Nov. 1982.
16. Wilken, K., and J. P. Shen, "Continuous Signature Monitoring: Efficient Concurrent-Detection of Processor Control Errors, " Proceedings, IEEE 1988 International Test Conference, pp. 914-925, Washington D. C., Sept. 1988.
17. Wilken, K., and J. P. Shen, "Continuous Signature Monitoring: Low-Cost Concurrent-Detection of Processor Control Errors, " IEEE Transactions on ComputerAided Design, Vol. 9, No. 6, pp. 629-641, Juni 1990.
18. Wingate, G. A. S., and C. Preece, "Performance Evaluation of a new Design-Tool for Microprocessor Transient Fault Recovery, " Microprocessing and Microprogramming, Vol. 27, pp. 801-808, 1989.
19. Yau, S. S., and FU-C. Chen, "An Approach to Concurrent Control Flow Checking, " IEEE Transactions on Software Engineering, Vol. SE-6, No. 2, pp. 126-137, March 1980.