Share Email Print
cover

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 $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

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