Browse by author
Lookup NU author(s): Dr Ilya Lopatkin, Dr Alexei Iliasov, Emeritus 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.
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
