Industrial deployment of system engineering methods providing high dependability and productivity


Correct-by-Construction Development of Fault Tolerant Systems (Tutorial at FM 2011)

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander (2011) Correct-by-Construction Development of Fault Tolerant Systems (Tutorial at FM 2011). [Teaching Resource]

Full text not available from this repository.

Official URL:


Ensuring system fault tolerance is one of the major concerns in developing critical industrial applications. The tutorial shows how to rigorously develop systems that are not only functionally correct but also fault tolerant. The material of the tutorial is built on the results of two EC projects, RODIN and DEPLOY, that created and validated in the industrial settings the RODIN platform - an Eclipse-based development environment supporting formal modelling in Event-B. The focus of the tutorial is on demonstrating how fault tolerance can be systematically specified and verified as an intrinsic part of the overall system behavior. The general principles are demonstrated by several industrial case studies based on our work with telecommunication, space and business information sectors. As part of the tutorial we will introduce and demonstrate a number of RODIN tools that support model structuring using modes, modules, and fault tolerance views, and facilitate fault tolerance modelling. All materials of this tutorial are available on

Item Type:Teaching Resource
Methodology > Refinement
Methodology > Resilience
ID Code:319
Deposited By:Prof A Romanovsky
Deposited On:02 Aug 2011 13:57
Last Modified:02 Aug 2011 13:57

Repository Staff Only: item control page

Deploy-Project - All right reserved