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 language | English (US) |
---|---|
Pages (from-to) | 54-62 |
Number of pages | 9 |
Journal | Innovations in Systems and Software Engineering |
Volume | 1 |
Issue number | 1 |
DOIs | |
State | Published - Apr 2005 |
All Science Journal Classification (ASJC) codes
- Software
Keywords
- Programming calculi
- Recoverability preservation
- Recovery routine
- Relational mathematics
- System fault tolerance