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.
['Alfredo Benso', 'S. Di Carlo', 'G. Di Natale', 'Paolo Ernesto Prinetto', 'L. Tagliaferri']
Control-flow checking via regular expressions