Two software techniques for on-line error detection
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 328-335
- https://doi.org/10.1109/ftcs.1992.243568
Abstract
Two software-based techniques for online detection of control flow errors were evaluated by fault injection. One technique, called block signature self-checking (BSSC), checks the control flow between program blocks. The other, called error capturing instructions (ECIs), inserts ECIs in the program area, the data area, and the unused area of the memory. To demonstrate these techniques, a program has been developed which modifies the executable code for the MC6809E 8-b microprocessor. The error detection techniques were evaluated using two fault injection techniques: heavy-ion radiation from a californium-252 source and power supply disturbances. Combinations of the two error detection techniques were tested for three different workloads. A combination BSSC, ECIs, and a watchdog timer was also evaluated.<>Keywords
This publication has 12 references indexed in Scilit:
- TWO FAULT INJECTION TECHNIQUES FOR TEST OF FAULT HANDLING MECHANISMSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Control-flow checking using watchdog assists and extended-precision checksumsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Continuous signature monitoring: efficient concurrent-detection of processor control errorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Continuous signature monitoring: low-cost concurrent detection of processor control errorsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
- Performance evaluation of a new design-tool for microprocessor transient fault recoveryMicroprocessing and Microprogramming, 1989
- Processor Control Flow Monitoring Using Signatured Instruction StreamsIEEE Transactions on Computers, 1987
- Erroneous execution and recovery in microprocessor systemsSoftware & Microsystems, 1985
- Watchdog Processors and Structural Integrity CheckingIEEE Transactions on Computers, 1982
- An Approach to Concurrent Control Flow CheckingIEEE Transactions on Software Engineering, 1980
- Concurrent software fault detectionIEEE Transactions on Software Engineering, 1975