Static analysis of SEU effects on software applications

Author

Benso, A. ; Carlo, S. Di ; Natale, G. Di ; Prinetto, P.

Author_Institution

Dipt. di Automatica e Informatica, Politecnico di Torino, Italy

fYear

2002

fDate

2002

Firstpage

500

Lastpage

508

Abstract

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.

Keywords

error analysis; error detection; error handling; error statistics; probability; program diagnostics; program testing; software fault tolerance; software performance evaluation; system recovery; FEA; SEU detection; computer system dependability/reliability threats; control flow error probability analysis; fault effect analysis; fault tolerant system overheads; microprocessor platforms; single event upsets; software application SEU effects; static executable code analysis methodology; upper-bound probability; Application software; Automatic control; Computer errors; Control systems; Electromagnetic transients; Error correction; Error correction codes; Flip-flops; Microprocessors; Single event upset;

fLanguage

English

Publisher

ieee

Conference_Titel

Test Conference, 2002. Proceedings. International

ISSN

1089-3539

Print_ISBN

0-7803-7542-4

Type

conf

DOI

10.1109/TEST.2002.1041800

Filename

1041800