Control-flow checking via regular expressions

被引：23

作者：

Benso, A ^{[1
]}

Di Carlo, S ^{[1
]}

Di Natale, G ^{[1
]}

Prinetto, P ^{[1
]}

Tagliaferri, L ^{[1
]}

机构：

[1] Politecn Torino, Dipartimento Automat & Informat, I-10129 Turin, Italy

来源：

10TH ASIAN TEST SYMPOSIUM, PROCEEDINGS | 2001年

关键词：

D O I：

10.1109/ATS.2001.990300

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

The present paper explains a new approach to program control-flow checking. The check has inserted at source-code level rising 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.

引用

页码：299 / 303

页数：5

共 16 条

[1]

Aho Alfred V., 1986, ADDISON WESLEY SERIE

[2] Design and evaluation of system-level checks for on-line control flow error detection [J].

Alkhalifa, Z ;

Nair, VSS ;

Krishnamurthy, N ;

Abraham, JA .

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1999, 10 (06) :627-641

[3]

AMDEIRA H, 1991, 2 IFIP WORK C DEP CO, P170

[4]

[Anonymous], 1998, Operating System Concepts

[5]

Baldini A, 2000, INT SYM DEFEC FAU TO, P387, DOI 10.1109/DFTVS.2000.887179

[6]

DELORD X, 1990, WORKSH REAL TIM EUR, P162

[7]

LEVEUGLE R, 1990, 20 INT S FAULT TOL C, P450

[8] CONCURRENT ERROR-DETECTION USING WATCHDOG PROCESSORS - A SURVEY [J].

MAHMOOD, A ;

MCCLUSKEY, EJ .

IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (02) :160-174

[9]

MICHEL T, 1991, 21 INT S FAULT TOL C, P334

[10]

MIREMADI G, 1995, 5 IFIP WORK C DEP CO, P113

← 1 2 →