Software-implemented fault detection for high-performance space applications

Michael Turmon, Robert Granat, Daniel S. Katz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checksum methods to validate results returned by a numerical subroutine operating subject to unpredictable errors in data. We can treat subroutines that return results satisfying a necessary condition having a linear form; the checksum tests compliance with this condition. We discuss the theory and practice of setting numerical tolerances to separate errors caused by a fault from those inherent in finite-precision numerical calculations. We test both the general effectiveness of the linear fault tolerant schemes we propose, and the correct behavior of our parallel implementation of them.

Original languageEnglish (US)
Title of host publicationProceedings of the 2002 International Conference on Dependable Systems and Networks
Pages107-116
Number of pages10
DOIs
StatePublished - Dec 1 2000
Externally publishedYes
EventProceedings of the International Conference on Dependable Systems and Networks - New York, NY, United States
Duration: Jul 1 2001Jul 4 2001

Publication series

NameProceedings of the 2002 International Conference on Dependable Systems and Networks

Other

OtherProceedings of the International Conference on Dependable Systems and Networks
CountryUnited States
CityNew York, NY
Period7/1/017/4/01

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Software-implemented fault detection for high-performance space applications'. Together they form a unique fingerprint.

  • Cite this

    Turmon, M., Granat, R., & Katz, D. S. (2000). Software-implemented fault detection for high-performance space applications. In Proceedings of the 2002 International Conference on Dependable Systems and Networks (pp. 107-116). (Proceedings of the 2002 International Conference on Dependable Systems and Networks). https://doi.org/10.1109/ICDSN.2000.857522