Recoverability preservation: a measure of last resort

Abstract.Recoverability preservation is the property of a system to maintain recoverability even when it does not maintain correctness; recoverability, in turn, is the property of a system to avoid failure, even when system states have errors. In this paper, we argue that fault tolerance techniques could be more streamlined, less intrusive, and more effective if they focused on the criterion of recoverability preservation instead of the traditional criterion of correctness preservation. To this effect, we briefly introduce, motivate, illustrate, and analyze the concept of recoverability preservation, then we explore some of its applications.

[1]  Michael R. Lowry,et al.  Towards a theory for integration of mathematical verification and empirical testing , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[2]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.

[3]  Jean-Claude Laprie,et al.  Dependability — Its Attributes, Impairments and Means , 1995 .

[4]  Tony Hoare,et al.  The Weakest Prespecification II , 1986 .

[5]  Jules Desharnais,et al.  A Relation Division Operator: The Conjugate Kernel , 1993, Theor. Comput. Sci..

[6]  Ali Mili,et al.  Combining fault avoidance, fault removal and fault tolerance: an integrated model , 1999, 14th IEEE International Conference on Automated Software Engineering.

[7]  Ali Mili,et al.  Certifying Adaptive Flight Control Software , 2000 .

[8]  C. A. R. Hoare,et al.  The Weakest Prespecification , 1987, Information Processing Letters.

[9]  Jules Desharnais,et al.  Relational characterizations of system fault tolerance , 2005, Sci. Comput. Program..

[10]  Gunther Schmidt,et al.  Relationen und Graphen , 1989, Mathematik für Informatiker.

[11]  B. Jónsson.  Varieties of relation algebras , 1982 .

[12]  Ali Mili,et al.  Re-engineering fault tolerance requirements: a case study in specifying fault tolerant flight control systems , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[13]  Wolfram Kahl,et al.  Relational Methods in Computer Science , 1997, Advances in Computing Sciences.

[14]  Alan R. Hevner,et al.  Principles of Information Systems Analysis and Design , 1986 .

[15]  Gunther Schmidt,et al.  Symmetric Quotients and Domain Constructions , 1989, Inf. Process. Lett..

[16]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[17]  Harlan D. Mills,et al.  Cleanroom Software Engineering , 1987, IEEE Software.