Toggle Main Menu Toggle Search

Open Access padlockePrints

Refinement Patterns for Fault Tolerant Systems

Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD



This paper proposes to use fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms during rigorous system design. Two patterns, that help correctly introduce recovery blocks and N-version programming into a system model, are developed, formally defined and their correctness is proven. Several important issues in engineering systems using these patterns, including tool support and pattern composition, are discussed.

Publication metadata

Author(s): Iliasov A, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2008

Pages: 26

Print publication date: 01/02/2008

Source Publication Date: February 2008

Report Number: 1074

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne