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