Implicit signature checking
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 218-227
- https://doi.org/10.1109/ftcs.1995.466976
Abstract
Proposes a control flow checking method that assigns unique initial signatures to each basic block in a program by using the block's start address. Using this strategy, implicit signature checking points are obtained at the beginning of each basic block, which results in a short error detection latency (2-5 instructions). Justifying signatures are embedded at each branch instruction, and a watchdog timer is used to detect the absence of a signature checking point. The method does not require the building of a program flow graph and it handles jumps to destinations that are not fixed at compile/link-time, e.g. subroutine calls using function pointers in the C language. This paper includes a generalized description of the control flow checking method, as well as a description and evaluation of an implementation of the method.Keywords
This publication has 12 references indexed in Scilit:
- Processor Monitoring Using Asynchronous Signatured Instruction StreamsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A study of the effects of transient fault injection into a 32-bit RISC with built-in watchdogPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Optimal signature placement for processor-error detection using signature monitoringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Control flow checking in pipelined RISC microprocessors: the Motorola MC88100 case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A software based approach to achieving optimal performance for signature control flow checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Design of microprocessors with built-in on-line testPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An optimal graph-construction approach to placing program signatures for signature monitoringIEEE Transactions on Computers, 1993
- A new approach to control flow checking without program modificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Continuous signature monitoring: low-cost concurrent detection of processor control errorsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
- Control-flow checking using watchdog assists and extended-precision checksumsIEEE Transactions on Computers, 1990