A new approach to control flow checking without program modification

T. Michel (1) , Régis Leveugle (1, 2) , G. Saucier (1)

1 CSI - CSI, INPG, Grenoble
2 TIMA - Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés

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.

Mots clés: concurrent-control-flow-checking; error-coverage; detection-latency; watchdog-direct-processing; Intel-80386sx-microprocessor

Domaines: Micro et nanotechnologies/Microélectronique

T. Michel, Régis Leveugle, G. Saucier. A new approach to control flow checking without program modification. Digest-of-Papers.-Fault-Tolerant-Computing:-Twenty-First-International-Symposium-Cat.-No.91CH2985-0., 1991, Montreal, Que., Canada. pp.334-41, ⟨10.1109/FTCS.1991.146682⟩. ⟨hal-00015242⟩