Rigorous Development of Dependable Systems Using Fault Tolerance Views
Rigorous Development of Dependable Systems Using Fault Tolerance Views
复制标题
使用容错视图严格开发可靠系统
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
A. Romanovsky
中科院分区：
文献类型：
--
作者：
I. Lopatkin;A. Iliasov;A. Romanovsky
本文介绍了用于关键系统逐步严格开发的模式和容错视图方法。它支持系统容错的系统化、结构化和递归建模，包括错误检测、错误恢复和降级模式。本文以我们之前的工作为基础，通过容错推理扩展了 Event-B 方法，重点关注该方法的实际应用和评估。所提出的建模方法由集成工具集支持。本文通过航空航天领域的案例研究进行了说明。
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.