Industrial deployment of system engineering methods providing high dependability and productivity


Refinement Patterns for Fault Tolerant Systems

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.

This is the latest version of this item.



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 as a major means for improving the quality of products.

Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Composition and reuse
Methodology > Resilience
ID Code:99
Deposited By:Prof A Romanovsky
Deposited On:06 May 2009 12:54
Last Modified:19 Apr 2010 16:05

Available Versions of this Item

Repository Staff Only: item control page

Deploy-Project - All right reserved