Design and evaluation of automated checks for signal processing applications

V. S. Sukumar Nair; Hyun Kim; N. Krishnamurthy; Jacob A. Abraham

doi:10.1117/12.255457

22 October 1996 Design and evaluation of automated checks for signal processing applications

V. S. Sukumar Nair, Hyun Kim, N. Krishnamurthy, Jacob A. Abraham

Proceedings Volume 2846, Advanced Signal Processing Algorithms, Architectures, and Implementations VI; (1996) https://doi.org/10.1117/12.255457
Event: SPIE's 1996 International Symposium on Optical Science, Engineering, and Instrumentation, 1996, Denver, CO, United States

Abstract

Most of the signal processing application programs involve computationally intensive iterative steps. In such programs, various failures in the underlying hardware manifest as control-flow errors that affect the reliability of the computed results. Various techniques have been proposed in the past to detect and recover from such control-flow errors. Unfortunately, all these techniques need either additional hardware or modification of the hardware and are not portable across various platforms. To circumvent these limitations, recently we have developed a high-level control-flow checking approach using assertions (CCA). In CCA, branch-free intervals in a given high-level language program are identified and the entry and exit points of the intervals are fortified through pre-inserted assertions. In this paper we describe an implementation of CCA through a pre-processor that will automatically insert the necessary assertions into a high-level language program. Based on the implementation we study the fault detection capabilities of CCA with the help of fault injection experiments using FERRARI.

Citation Download Citation

V. S. Sukumar Nair, Hyun Kim, N. Krishnamurthy, and Jacob A. Abraham "Design and evaluation of automated checks for signal processing applications", Proc. SPIE 2846, Advanced Signal Processing Algorithms, Architectures, and Implementations VI, (22 October 1996); https://doi.org/10.1117/12.255457

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available