A new approach to control flow checking without program modification
- 1 January 1991
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 334-341
- https://doi.org/10.1109/ftcs.1991.146682
Abstract
An approach to concurrent control flow checking that avoids performance and software compatibility problems while preserving a high error coverage and a low detection latency is proposed. The approach is called watchdog direct processing. Extensions of the basic method, taking into account the characteristics of complex processors, are also considered. The architecture of a watchdog processor based on the proposed method is described. Implementation results are reported for a watchdog designed for the Intel 80386sx microprocessor.Keywords
This publication has 8 references indexed in Scilit:
- Processor Monitoring Using Asynchronous Signatured Instruction StreamsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- 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
- 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
- Optimized synthesis of concurrently checked controllersIEEE Transactions on Computers, 1990
- Design of concurrently testable microprogrammed control unitsACM SIGMICRO Newsletter, 1982