Abstract
An approach for assessing the impact of physical injection of transient faults on control flow behaviour is described and evaluated. The fault injection is based on two complementary methods using heavyion radiation and power supply disturbances. A total of 6,000 transient faults was injected into the target microprocessor, an MC6809E 8-bit CPU, running three different benchmark programs. In the evaluation, the control flow errors were distinguished from those that had no effect on the correct flow of control, vis. the control flow OKs. The errors that led to wrong results are separated from those that had no effect on the correct results. The errors that had no effect on either the correct flow or the correct result are specified. Three error detection techniques, namely two software-based techniques and one watchdog timer, were combined and used in the test in order to characterize the detected and undetected errors. It was found that more than 87% of all errors and 93% of the control flow errors could be detected.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aho, A., R Sethi, and J. Ullman, “Compilers: Principles, Techniques, and Tools,” Addison-Wesley, 1986.
Ball, H., and F. Hardy, “Effects and Detection of Intermittent Failures in Digital Systems,” 1969 FJCC, AFIPS Conference Proceedings, Vol. 35, pp. 329–335, 1969.
Castillo, X, S. R. McConnel, and D. P. Siewiorek, “Derivation and Calibration of a Transient Error Reliability Model,” IEEE Transactions on Computers, Vol. C-31, No. 7, pp. 658–671, July 1982.
Choi, C., R. Iyer, R. Saleh, and V. Carreno, “A Fault Behaviour Model for an Avionic Microprocessor: A Case Study,” Proceedings of 1st IFIP Working Conference on Dependable Computing for Critical Applications, pp. 71-77, Santa Barbara, California, Aug. 1989.
Czeck, E. W., D. P. Siewiorek, “Effect of Transient Gate-level Faults on Program Behaviour,” Digest of Papers, 20th Annual International Symposium on Fault-Tolerant Computing (FTCS-20), pp. 236-243, Newcastle, UK, June 1990.
Eifert, J. B., and J. P. Shen, “Processor Monitoring Using Asynchronous Signatured Instruction Streams,” Digest of Papers, 14th Annual International Conference on Fault-Tolerant Computing (FTCS-14), pp. 394-399, Kissimmee, Florida, June 1984.
Gunneflo, U., “The Effects of Power Supply Disturbances on the MC6809E Microprocessor,” Technical Report No. 89, Department of Computer Engineering, Chalmers University of Technology, Göteborg, Sweden, 1990.
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.
Iyengar, V. S., and L. L. Kinney, “Concurrent Fault Detection in Microprogrammed Control Units,” IEEE Transactions on Computers, Vol. C-34, No. 9, pp. 810–821, Sept. 1985.
Iyer, R. K., and D. J. Rossetti, “A Measurement-Based Model for Workload Dependence of CPU Errors,” IEEE Transactions on Computers, Vol. C-35, No. 6, pp. 511–519, June 1986.
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.
Karlsson, J., U. Gunneflo, and J. Torin, “The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor,” Proceedings of 4th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, pp. 296-307, Baden-Baden, Sept. 1989.
Karlsson, J., U. Gunneflo, and J. Torin, “Use of Heavy-ion Radiation From 252Californium for Fault Injection Experiments,” Proceedings of 1st IFIP Working Conference on Dependable Computing for Critical Applications, pp. 79-84, Santa Barbara, California, Aug. 1989.
Karlsson, J., U. Gunneflo, P. Lidén, and J. Torin, “Two Fault Injection Techniques for Test of Fault Handling Mechanisms,” Digest of Papers, IEEE 1991 International Test Conference, pp. 140-149, Nashville, TN, Nov. 1991.
Lu, D. J., “Watchdog Processors and Structural Integrity Checking,” IEEE Transactions on Computers, Vol. C-31, No. 7, pp. 681–685, July 1982.
Mahmood, A., and E. J. McCluskey, “Watchdog Processors: Error Coverage and Overhead,” Digest of Papers, 15th Annual International Symposium on Fault-Tolerant Computing (FTCS-15), pp. 214-219, Ann Arbor, Michigan, June 1985.
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.
Messenger, G. C, and S. A. Milton, “The Effects of Radiation on Electronics System,” Van Nostrand Reinhold Company Inc., 1986.
Miremadi, G., “Software Techniques for On-line Error Detection in Microcomputer-based Systems,” Technical Report No. 102L, Department of Computer Engineering, Chalmers University of Technology, Göteborg, Sweden, 1990.
Miremadi, G., Karlsson, J., U. Gunneflo, and J. Torin, “Two Software Techniques for Online Error Detection,” Digest of Papers, 22nd Annual International Symposium on Fault-Tolerant Computing (FTCS-22), pp. 328-335, Boston, July 1992.
“8-bit Microprocessors Data Manual 1983,” Motorola Semiconductors, Switzerland, Sept. 1983.
Namjoo, M., “Techniques for Concurrent Testing of VLSI Processor Operation,” Digest of Papers, IEEE 1982 International Test Conference, pp. 461-468, Philadelphia, Nov. 1982.
Rimén, M., and J. Ohlsson, “A Study of the Error Behaviour of a 32-bit RISC Subjected to Simulation Transient Fault Injection,” Digest of Papers, IEEE 1992 International Test Conference, pp. 696-704, Baltimore, Nov. 1992.
Saxena, N. R., and E. J. McCluskey, “Control Flow Checking Using Watchdog Assists and Extended-Precision Checksums,” Digest of Papers, 19th Annual International Symposium on Fault-Tolerant Computing (FTCS-19), pp. 428-435, Chicago, June 1989.
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.
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.
Shen, J. P., and M. A. Schuette, “On-Line Self-Monitoring Using Signatured Instruction Streams,” Digest of Papers, 1983 IEEE International Test Conference, pp. 275-282, Philadelphia, 1983.
Siewiorek, D. P., V. Kini, H. Mashbrun, S. McConnel and M. Tsao, “A Case Study of C.mmp, Cm*, and C.vmp: Part I — Experiences with Fault Tolerance in Multiprocessor Systems,” Proceeding of the IEEE, Vol. 66, No. 10, pp. 1178–1199, October 1978.
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.
Wilken, K., and J. P. Shen, “Continuous Signature Monitoring: Low-Cost Concurrent-Detection of Processor Control Errors,” IEEE Transactions on Computer-Aided Design, Vol. 9, No. 6, pp. 629–641, June 1990.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Miremadi, G., Torin, J. (1995). Effects of Physical Injection of Transient Faults on Control Flow and Evaluation of Some Software-Implemented Error Detection Techniques. In: Cristian, F., Le Lann, G., Lunt, T. (eds) Dependable Computing for Critical Applications 4. Dependable Computing and Fault-Tolerant Systems, vol 9. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9396-9_36
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9396-9_36
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-9398-3
Online ISBN: 978-3-7091-9396-9
eBook Packages: Springer Book Archive