Recoverability preservation: A measure of last resort

Ali Mili, Frederick Sheldon, Fatma Mili, Jules Desharnais

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)54-62
Number of pages9
JournalInnovations in Systems and Software Engineering
Issue number1
StatePublished - Apr 2005

All Science Journal Classification (ASJC) codes

  • Software


  • Programming calculi
  • Recoverability preservation
  • Recovery routine
  • Relational mathematics
  • System fault tolerance


Dive into the research topics of 'Recoverability preservation: A measure of last resort'. Together they form a unique fingerprint.

Cite this