DocumentCode
3548557
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
fYear
1991
fDate
25-27 June 1991
Firstpage
334
Lastpage
341
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/FTCS.1991.146682
Filename
146682
Link To Document