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.
Control-flow checking via regular expressions / Benso, Alfredo; DI CARLO, Stefano; DI NATALE, Giorgio; Prinetto, Paolo Ernesto; Tagliaferri, Luca. - STAMPA. - (2001), pp. 299-303. (Intervento presentato al convegno IEEE 10th Asian Test Symposium (ATS) tenutosi a Kyoto, JP nel 19-21 Nov. 2001) [10.1109/ATS.2001.990300].
Control-flow checking via regular expressions
BENSO, Alfredo;DI CARLO, STEFANO;DI NATALE, Giorgio;PRINETTO, Paolo Ernesto;TAGLIAFERRI, Luca
2001
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.File | Dimensione | Formato | |
---|---|---|---|
2001-ATS-ControlFlow-AuthorVersion.pdf
accesso aperto
Descrizione: Manuscript author version
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
PUBBLICO - Tutti i diritti riservati
Dimensione
6.42 MB
Formato
Adobe PDF
|
6.42 MB | Adobe PDF | Visualizza/Apri |
2001-ATS-ControlFlow.pdf
accesso aperto
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
PUBBLICO - Tutti i diritti riservati
Dimensione
396.22 kB
Formato
Adobe PDF
|
396.22 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/1416288
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo