Design and Verification of Distributed Recovery Blocks with CSP (1998)
Cached
Download Links
- [www.dcs.rhbnc.ac.uk]
- [www.serg.cse.unsw.edu.au]
- DBLP
Other Repositories/Bibliography
| Citations: | 1 - 1 self |
BibTeX
@MISC{Yeung98designand,
author = {W. L. Yeung and S. A. Schneider},
title = {Design and Verification of Distributed Recovery Blocks with CSP},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A case study on the application of Communicating Sequential Processes (CSP) to the design and veri cation of fault-tolerant real-time systems is presented. The distributed recovery block (DRB) scheme is a design technique for the uniform treatment of hardware and software faults in real-time systems. Through a simple fault-tolerant real-time system design using the DRB scheme, the case study illustrates a paradigm for specifying fault-tolerant software and demonstrates how the different behavioural aspects of a fault-tolerant real-time system design can be separately and systematically specified, formulated, and verified using an integrated set of formal techniques based on CSP.
