creators_name: Iliasov, Alexei creators_name: Romanovsky, Alexander creators_id: "Alexei Iliasov" creators_id: alexander.romanovsky@ncl.ac.uk type: conference_item datestamp: 2009-05-06 11:54:45 lastmod: 2010-04-19 15:05:54 metadata_visibility: show title: Refinement Patterns for Fault Tolerant Systems ispublished: pub subjects: deploy_method_comp subjects: deploy_method_resil subjects: Event-Bsemantics subjects: deploy_method full_text_status: public pres_type: paper abstract: 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 date_type: published event_title: EDCC 7: the Seventh European Dependable Computing Conference (EDCC-7) event_location: Kaunas, Lithuania event_dates: May 7-9, 2008 event_type: conference refereed: TRUE citation: 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. document_url: http://deploy-eprints.ecs.soton.ac.uk/99/1/edcc-final.pdf