Recoverability preservation: A measure of last resort

Ali Mili, Frederick Sheldon, Fatma Mili, Jules Desharnais

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

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.

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

All Science Journal Classification (ASJC) codes

  • Software

Keywords

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

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

Cite this