Proceedings 10th Asian Test Symposium (2001)
Nov. 19, 2001 to Nov. 21, 2001
Alfredo Benso , Politecnico di Torino
Stefano Di Carlo , Politecnico di Torino
Giorgio Di Natale , Politecnico di Torino
Paolo Prinetto , Politecnico di Torino
Luca Tagliaferri , Politecnico di Torino
The present paper explains a new approach to program control-flow checking. The check has inserted at source-code level using a signature methodology based on regular expressions. The signature checking is performed without 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.
L. Tagliaferri, G. Di Natale, A. Benso, P. Prinetto and S. Di Carlo, "Control-Flow Checking via Regular Expressions," Proceedings 10th Asian Test Symposium(ATS), vol. 00, no. , pp. 299, 2001.