Toggle Main Menu Toggle Search

Open Access padlockePrints

Rigorous Development of Dependable Systems using Fault Tolerance Views

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



This paper introduces the Mode and Fault Tolerance Views approach to stepwise rigorous development of critical systems. This supports structured and recursive modelling of system fault tolerance, including error detection, error recovery and degraded modes. The paper offers a formal and detailed definition of the approach, proposing a way to extend the Event-B modelling with reasoning about fault tolerance. To support the approach, a tool which is integrated into the Rodin development environment is employed. The method is shown by developing a medium-scale case study from the aerospace domain; this models complex mode management enriched with graceful degradation caused by errors.

Publication metadata

Author(s): Lopatkin I, Iliasov A, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 22

Print publication date: 01/01/2011

Source Publication Date: January 2011

Report Number: 1234

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne