title: Refinement Patterns for Fault Tolerant Systems
creator: Iliasov, Alexei
creator: Romanovsky, Alexander
subject: Composition and reuse
subject: Resilience
subject: Event-B
subject: Methodology
description: The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigorous system design. Two patterns are proposed to support a correct introduction of recovery blocks and N-version programming into a system model; these are formally defined and their correctness proven. We also discuss several important issues involved in the use of these patterns in engineering systems, including tool support and pattern composition.design) as a major means for improving the quality of products.     
date: 2008
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/99/1/edcc-final.pdf
identifier:   Iliasov, Alexei and Romanovsky, Alexander  (2008) Refinement Patterns for Fault Tolerant Systems.  In: EDCC 7: the Seventh European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania.     
relation: http://deploy-eprints.ecs.soton.ac.uk/99/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>