Dissemin is shutting down on January 1st, 2025

Published in

Proceeding International Conference on Dependable Systems and Networks. DSN 2000

DOI: 10.1109/icdsn.2000.857522

Links

Tools

Export citation

Search in Google Scholar

Software-implemented fault detection for high-performance space applications

Proceedings article published in 1970 by M. Turmon, R. Granat, D. Katz ORCID
This paper is made freely available by the publisher.
This paper is made freely available by the publisher.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

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 infinite-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