DocumentCode :
2166307
Title :
Budget-Dependent Control-Flow Error Detection
Author :
Vemu, Ramtilak ; Abraham, Jacob A.
Author_Institution :
Comput. Eng. Res. Center, Univ. of Texas at Austin, Austin, TX
fYear :
2008
fDate :
7-9 July 2008
Firstpage :
73
Lastpage :
78
Abstract :
The problem of detection of control flow errors in software has been studied extensively in literature and many detection techniques have been proposed. These techniques typically have high memory and performance overheads and hence are unusable for real-time embedded systems which have tight memory and performance budgets. This paper presents two algorithms by which the overheads associated with any detection technique can be lowered by trading off fault coverage. These algorithms are generic and can be applied to any detection technique. They can be applied either individually or cumulatively. The algorithms are validated on a previously proposed detection technique using SPEC benchmark programs. Fault injection experiments suggest that massive savings in overheads can be achieved using the algorithms with just a minor drop off in fault coverage.
Keywords :
software fault tolerance; software reliability; SPEC benchmark programs; budget-dependent control-flow error detection; fault injection; real-time embedded systems; trading off fault coverage; Application software; CMOS technology; Change detection algorithms; Circuit faults; Computer errors; Costs; Embedded system; Error correction; Hardware; Real time systems; budget-dependent error detection; control-flow error detection; software based error detection; software implemented hardware fault tolerance;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
On-Line Testing Symposium, 2008. IOLTS '08. 14th IEEE International
Conference_Location :
Rhodes
Print_ISBN :
978-0-7695-3264-6
Type :
conf
DOI :
10.1109/IOLTS.2008.52
Filename :
4567065
Link To Document :
بازگشت