The Library
A transformational approach to specifying recovery in asynchronous communicating systems
Tools
Tools
Tools
Liu, Zhiming and Joseph, Mathai (1992) A transformational approach to specifying recovery in asynchronous communicating systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-206.pdf - Other - Requires a PDF viewer. Download (7Mb) | Preview |
Abstract
This paper describes how the transformational framework developed in [Liu91, LJ92] is applied to backward error-recovery in asynchronous communicating systems. A physical fault is modelled as an atomic action which performs state transformations in the same way as any other program action. The possible effects of a set of faults on the execution of a program are described by a transformation of the program into its fault-affected version. Fault-tolerance is provided by using transformations to add recovery actions to a non-fault-tolerant program, so that the fault-affected version of the transformed program will then satisfy a required specification. Refinement transformations can be used in the development of a fault-tolerant program. This paper provides a feasible and formal way to consider existing backward recovery techniques in terms of simple transformations. Keywords: transformations, faults, checkpoints, recovery propagation.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | T Technology > TK Electrical engineering. Electronics Nuclear engineering | ||||
| Divisions: | Faculty of Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Fault-tolerant computing, Telecommunication systems | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | January 1992 | ||||
| Dates: |
|
||||
| Number: | Number 206 | ||||
| Number of Pages: | 18 | ||||
| DOI: | CS-RR-206 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Publisher Statement: | Zhiming Liu and M. Joseph, “Specification and Verification of Recovery in Communicating Systems”, <i>Formal Techniques in Real-Time and Fault-Tolerant Systems</i>, ed. J. Vytopil, Kluwer Academic, pp. 137-166 (1993) | ||||
| Funder: | Science and Engineering Research Council (Great Britain) (SERC) | ||||
| Grant number: | GR/D11521 (SERC) | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
