Rigorous Development of Dependable Systems using Fault Tolerance Views

  1. Lookup NU author(s)
  2. Dr Ilya Lopatkin
  3. Dr Alexei Iliasov
  4. Professor Alexander Romanovsky
Author(s)Lopatkin I, Iliasov A, Romanovsky A
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateJanuary 2011
Report Number1234
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication