Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1074.pdf
