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
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name22nd IEEE International Symposium on Software Reliability Engineering (ISSRE)
Conference LocationHiroshima, Japan
Year of Conference2011
Date29 November - 2 December 2012
Volume
Pages180-189
ISBN9781457720604
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper introduces the Mode and Fault Tolerance Views approach to stepwise rigorous development ofcritical systems. It supports systematic, structured and recursive modelling of system fault tolerance, including error detection, error recovery and degraded modes. Built on our previous work extending the Event-B method with reasoning about fault tolerance, the paper focuses on a practical application and evaluation of the approach. The proposed modelling approach is backed by an integrated toolset. The paper is illustrated with a case study from the aerospace domain.
PublisherIEEE
URLhttp://dx.doi.org/10.1109/ISSRE.2011.13
DOI10.1109/ISSRE.2011.13
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item