Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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)

[img]
Preview
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-206.pdf - Other - Requires a PDF viewer.

Download (7Mb) | Preview

Request Changes to record.

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, Engineering and Medicine > 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:
DateEvent
January 1992Completion
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
Reuse Statement (publisher, data, author rights): Zhiming Liu and M.&nbsp;Joseph, &ldquo;Specification and Verification of Recovery in Communicating Systems&rdquo;, <i>Formal Techniques in Real-Time and Fault-Tolerant Systems</i>, ed.&nbsp;J.&nbsp;Vytopil, Kluwer Academic, pp.&nbsp;137-166 (1993)
Funder: Science and Engineering Research Council (Great Britain) (SERC)
Grant number: GR/D11521 (SERC)
Related URLs:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us