Toggle Main Menu Toggle Search

Open Access padlockePrints

A Method for Rigorous Development of Fault-Tolerant Systems

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



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 mission- and safety-critical systems. Critical systems typically use fault tolerance mechanisms to mitigate run-time 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 from the aerospace domain is used to demonstrate the proposed method.

Publication metadata

Author(s): Romanovsky A; Lopatkin I

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2013

Pages: 18

Print publication date: 01/02/2013

Source Publication Date: February 2013

Report Number: 1374

Institution: Newcastle University

Place Published: Newcastle upon Tyne