DocumentCode :
2343594
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
fYear :
2001
fDate :
2001
Firstpage :
299
Lastpage :
303
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Test Symposium, 2001. Proceedings. 10th Asian
Conference_Location :
Kyoto
ISSN :
1081-7735
Print_ISBN :
0-7695-1378-6
Type :
conf
DOI :
10.1109/ATS.2001.990300
Filename :
990300
Link To Document :
بازگشت