Rigorous development of dependable systems using fault tolerance views
I Lopatkin, A Iliasov… - 2011 IEEE 22nd …, 2011 - ieeexplore.ieee.org
I Lopatkin, A Iliasov, A Romanovsky
2011 IEEE 22nd International Symposium on Software Reliability …, 2011•ieeexplore.ieee.orgThis paper introduces the Mode and Fault Tolerance Views approach to stepwise rigorous
development of critical 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 …
development of critical 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 …
This paper introduces the Mode and Fault Tolerance Views approach to stepwise rigorous development of critical 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.
ieeexplore.ieee.org
Showing the best result for this search. See all results