Industrial deployment of system engineering methods providing high dependability and productivity

 

Rigorous Development of Dependable Systems using Fault Tolerance Views

Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander (2011) Rigorous Development of Dependable Systems using Fault Tolerance Views. In: The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011), Nov 29 - Dec 2, 2011, Hiroshima, Japan.

[img]
Preview
PDF
363Kb

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
Subjects:Event-B
Methodology > Composition and reuse
Methodology > Resilience
Tool developments > Model construction
Tool developments > Rodin plug-ins
ID Code:343
Deposited By: Prof A Romanovsky
Deposited On:23 Sep 2011 13:15
Last Modified:23 Sep 2011 13:15

Repository Staff Only: item control page

Deploy-Project - All right reserved