Share Email Print

Proceedings Paper

Design and evaluation of automated checks for signal processing applications
Author(s): V. S. Sukumar Nair; Hyun Kim; N. Krishnamurthy; Jacob A. Abraham
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper 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.

Paper Details

Date Published: 22 October 1996
PDF: 11 pages
Proc. SPIE 2846, Advanced Signal Processing Algorithms, Architectures, and Implementations VI, (22 October 1996); doi: 10.1117/12.255457
Show Author Affiliations
V. S. Sukumar Nair, Southern Methodist Univ. (United States)
Hyun Kim, Southern Methodist Univ. (United States)
N. Krishnamurthy, Univ. of Texas/Austin (United States)
Jacob A. Abraham, Univ. of Texas/Austin (United States)

Published in SPIE Proceedings Vol. 2846:
Advanced Signal Processing Algorithms, Architectures, and Implementations VI
Franklin T. Luk, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?