Static analysis of SEU effects on software applications

被引：16

作者：

Benso, A ^{[1
]}

Di Carlo, S ^{[1
]}

Di Natale, G ^{[1
]}

Prinetto, P ^{[1
]}

机构：

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

来源：

INTERNATIONAL TEST CONFERENCE 2002, PROCEEDINGS | 2002年

关键词：

D O I：

10.1109/TEST.2002.1041800

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Control Flow Errors have been widely addressed in literature as a possible threat to the dependability of computer systems, and many clever techniques have been proposed to detect and tolerate them. Nevertheless, it has never been discussed if the overheads introduced by many of these techniques are justified by a reasonable probability of incurring Control Flow Errors. This paper presents a static executable code analysis methodology able to compute, depending on the target microprocessor platform, the upper-bound probability that a given application incurs in a Control Flow Error.

引用

页码：500 / 508

页数：9

共 11 条

[1] 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

[2]

ANDREWS D, 1979, 9 FAULT TOL COMP S M

[3] FAULT INJECTION FOR DEPENDABILITY VALIDATION - A METHODOLOGY AND SOME APPLICATIONS [J].

ARLAT, J ;

AGUERA, M ;

AMAT, L ;

CROUZET, Y ;

FABRE, JC ;

LAPRIE, JC ;

MARTINS, E ;

POWELL, D .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (02) :166-182

[4]

BENSO A, 2001, IEEE AS TEST S ATS

[5]

CLARK JA, 1995, IEEE COMPUTER JUN, P47

[6]

DELONG TA, 1996, IEEE DESIGN TEST WIN, P24

[7]

ERSOZ A, 858 TR STANF U CTR R

[8]

IGNATUSHCHENKO VV, 1994, AUTOMAT REM CONTR+, V55, P900

[9] FERRARI - A FLEXIBLE SOFTWARE-BASED FAULT AND ERROR INJECTION SYSTEM [J].

KANAWATI, GA ;

KANAWATI, NA ;

ABRAHAM, JA .

IEEE TRANSACTIONS ON COMPUTERS, 1995, 44 (02) :248-260

[10]

MADEIRA H, 1992, DEPENDABLE COMPUTING, V2, P395

← 1 2 →