Design and verification of distributed recovery blocks with CSP
Yeung, WL and Schneider, SA (2003) Design and verification of distributed recovery blocks with CSP FORMAL METHODS IN SYSTEM DESIGN, 22 (3). pp. 225-248.
fulltext.pdf - Accepted version Manuscript
Available under License : See the attached licence file.
Plain Text (licence)
A case study on the application of Communicating Sequential Processes (CSP) to the design and verification 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.
|Subjects :||Computer Science|
|Divisions :||Faculty of Engineering and Physical Sciences > Computing Science|
|Date :||1 May 2003|
|Identification Number :||https://doi.org/10.1023/A:1022997110855|
|Copyright Disclaimer :||The final publication is available at Springer via http://dx.doi.org/10.1023/A:1022997110855|
|Uncontrolled Keywords :||Science & Technology, Technology, Computer Science, Theory & Methods, Computer Science, COMPUTER SCIENCE, THEORY & METHODS, real-time systems, fault-tolerance, distributed recovery block scheme, CSP, formal specification and verification, timewise refinement, COMMUNICATING SEQUENTIAL PROCESSES, FAULT-TOLERANT ARCHITECTURES, SOFTWARE, HARDWARE, SYSTEMS|
|Related URLs :|
|Additional Information :||The final publication is available at Springer via http://dx.doi.org/10.1023/A:1022997110855|
|Depositing User :||Mr Adam Field|
|Date Deposited :||23 Feb 2016 12:50|
|Last Modified :||23 Feb 2016 12:50|
Actions (login required)
Downloads per month over past year