TY - GEN ID - deploy319 UR - http://iliasov.org/fm2011/ A1 - Iliasov, Alexei A1 - Laibinis, Linas A1 - Troubitsyna, Elena A1 - Romanovsky, Alexander TI - Correct-by-Construction Development of Fault Tolerant Systems (Tutorial at FM 2011) Y1 - 2011/// N2 - 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 http://iliasov.org/fm2011/ AV - none ER -