Toggle Main Menu Toggle Search

Open Access padlockePrints

Rigorous Development of Fault-Tolerant Systems through Co-refinement

Lookup NU author(s): Dr Ilya Lopatkin, Professor Alexander RomanovskyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


With our increasing dependency on computer-based systems, ensuring their dependability becomes one the most important concerns during system development. This is especially true for safety-critical systems. Critical systems typically use fault tolerance mechanisms to mitigate runtime errors. However, fault tolerance modelling and, in particular, rigorous definitions of fault tolerance requirements, fault assumptions and system recovery have not been given enough attention during formal system development. This paper proposes a development method for stepwise modelling of high-level system fault tolerant behaviour. The method provides an environment for explicit modelling of fault tolerance and modal aspects of system behaviour and is supported by tools that are smoothly integrated into an industry-strength development environment. A case study is used to demonstrate the proposed method.

Publication metadata

Author(s): Lopatkin I, Romanovsky A

Editor(s): Laurent George, Tullio Vardanega

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 19th Ada-Europe International Conference on Reliable Software Technologies

Year of Conference: 2014

Pages: 11-26

Acceptance date: 01/01/1900

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-319-08311-7_3

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319083100