Data Redundancy for the Detection and Tolerance of Software Faults

P. E. Ammann
Additional contact information
P. E. Ammann: George Mason University, Department of Information Systems and Systems Engineering

A chapter in Computing Science and Statistics, 1992, pp 43-52 from Springer

Abstract: Abstract In crucial computer applications, such as avionics systems and automated life support systems, great confidence must be placed in the correct, safe, and reliable operation of the software. For a typical system, current development, analysis, and fault tolerance techniques cannot guarantee either the absence of software faults or adequate levels of confidence in proper operation. Such systems are nonetheless being built, however, and it is desirable to enlarge the set of techniques available for improving the software for critical applications. One such set is based upon the use of design redundancy to provide fault tolerance during operation and to aid testing during development The most general of these techniques, N-version programming and recovery blocks, have been the subjects of widespread study. A newer technique, called data diversity, is based on redundancy in the the data space rather than the design space. Two observations underlie the technique. First, program faults often cause failure only under certain special case conditions. Second, for some applications a program may express its input and internal state in a large number of equivalent ways. These observations suggest obtaining a related set of points in the data space, executing the same software on these points, and then employing a decision algorithm to determine system output Like design redundancy, data redundancy can be exploited during both testing and operation. Although data redundancy avoids many of the objections to design redundant systems, it raises new issues of its own.

Keywords: Failure Probability; Fault Tolerance; Data Redundancy; Software Fault; Fault Removal (search for similar items in EconPapers)
Date: 1992
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4612-2856-1_6

Ordering information: This item can be ordered from
http://www.springer.com/9781461228561

DOI: 10.1007/978-1-4612-2856-1_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().