Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD
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.
Author(s): Iliasov A, Romanovsky A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Proceedings of the Seventh European Dependable Computing Conference (EDCC-7)
Year of Conference: 2008
Pages: 167-176
Date deposited: 07/09/2010
Publisher: IEEE Computer Society
URL: http://dx.doi.org/10.1109/EDCC-7.2008.18
DOI: 10.1109/EDCC-7.2008.18
Library holdings: Search Newcastle University Library for this item
ISBN: 9780769531380
