Redundancy in Data Structures: Improving Software Fault Tolerance

The increasing cost of computer system failure has stimulated interest in improving software reliability. One way to do this is by adding redundant structural data to data structures. Such redundancy can be used to detect and correct (structural) errors in instances of a data structure. The intuitive approach of this paper, which makes heavy use of examples, is complemented by the more formal development of the companion paper, "Redundancy in Data Structures: Some Theoretical Results."

[1]  David J. Taylor,et al.  Redundancy in Data Structures: Some Theoretical Results , 1980, IEEE Transactions on Software Engineering.

[2]  Maurice V. Wilkes,et al.  On preserving the integrity of data bases , 1972, Comput. J..

[3]  Allan L. Scherr.  The design of IBM OS/VS2 release 2 , 1973, AFIPS National Computer Conference.

[4]  Brian Randell.  System structure for software fault tolerance , 1975 .

[5]  Peter C. Lockemann,et al.  Information Retrieval: Recovery of disk contents after system failure , 1968, CACM.

[6]  David James Taylor,et al.  Robust data structure implementations for software reliability. , 1977 .

[7]  Brian Randell,et al.  Computing Systems Reliability , 1979 .

[8]  A. Avizienis,et al.  Fault-tolerance: The survival attribute of digital systems , 1978, Proceedings of the IEEE.

[9]  D. McLeod.  HIGH LEVEL EXPRESSION OF SEMANTIC INTEGRITY SPECIFICATIONS IN A RELATIONAL DATA BASE SYSTEM , 1976 .

[10]  Peter J. Denning,et al.  Fault Tolerant Operating Systems , 1976, CSUR.

[11]  Brian Randell,et al.  Operating Systems: The Problems of Performance and Reliability , 1971, IFIP Congress.

[12]  Dennis McLeod,et al.  Semantic integrity in a relational data base system , 1975, VLDB '75.

[13]  Richard W. Hamming,et al.  Error detecting and error correcting codes , 1950 .

[14]  Eric Nussbaum,et al.  Administration and maintenance plan , 1969 .

[15]  P. A. Dearnley.  An Investigation Into Database Resilience , 1976, Comput. J..

[16]  P. M. Melliar-Smith,et al.  Software reliability: The role of programmed exception handling , 1977, Language Design for Reliable Software.

[17]  Naftaly H. Minsky.  Files with semantics , 1976, SIGMOD '76.

[18]  Peter C. Lockemann,et al.  Recovery of disk contents after system failure , 1968 .

[19]  R. W. Downing,et al.  No. 1 ESS maintenance plan , 1964 .

[20]  Raymond A. Lorie,et al.  Physical integrity in a large segmented database , 1977, TODS.

[21]  Brian Randell,et al.  System structure for software fault tolerance , 1975, IEEE Transactions on Software Engineering.

[22]  Allan L. Scherr,et al.  Functional Structure of IBM Virtual Storage Operating Systems. Part II: OS/VS2-2 Concepts and Philosophies , 1973, IBM Syst. J..

[23]  P. J. Gardner.  A transportation of ALGOL68C , 1977 .

[24]  Frank Wm. Tompa.  Data Structure Design , 1977 .

[25]  Edgar H. Sibley,et al.  Evolution of Data-Base Management Systems , 1976, CSUR.