Title :
Control-flow checking via regular expressions
Author :
Benso, Alfredo ; Di Carlo, Stefano ; Di Natale, Giorgio ; Prinetto, Paolo ; Tagliaferri, Luca
Author_Institution :
Dipt. di Automatica e Informatica, Politecnico di Torino, Italy
Abstract :
The present paper explains a new approach to program control flow checking. The check has been inserted at source-code level using a signature methodology based on regular expressions. The signature checking is performed without a dedicated watchdog processor but resorting to inter-process communication (IPC) facilities offered by most of the modern operating systems. The proposed approach allows very low memory overhead and trade-off between fault latency and program execution time overhead
Keywords :
program control structures; program testing; program verification; IPC facilities; fault latency; inter-process communication facilities; program control flow checking; program execution time overhead; regular expressions; signature methodology; source code level; Application software; Automatic control; Circuit faults; Fault detection; Hardware; Humans; Monitoring; Redundancy; Safety; World Wide Web;
Conference_Titel :
Test Symposium, 2001. Proceedings. 10th Asian
Conference_Location :
Kyoto
Print_ISBN :
0-7695-1378-6
DOI :
10.1109/ATS.2001.990300