Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Refinement Patterns for Fault Tolerant Systems

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

Downloads

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.

Publication metadata

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

Share