Title :
A new approach to control flow checking without program modification
Author :
Michel, T. ; Leveugle, R. ; Saucier, G.
Author_Institution :
Inst. Nat. Polytech. de Grenoble, France
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 :
fault tolerant computing; parallel programming; Intel 80386sx microprocessor; concurrent control flow checking; detection latency; error coverage; watchdog direct processing; Application software; Application specific integrated circuits; Computer architecture; Costs; Delay; Hardware; Microprocessors; Monitoring; Software performance; Testing;
Conference_Titel :
Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium
Conference_Location :
Montreal, Quebec, Canada
Print_ISBN :
0-8186-2150-8
DOI :
10.1109/FTCS.1991.146682
