creators_name: Lopatkin, Ilya creators_name: Iliasov, Alexei creators_name: Romanovsky, Alexander creators_id: Ilya.Lopatkin@newcastle.ac.uk creators_id: "Alexei Iliasov" creators_id: alexander.romanovsky@ncl.ac.uk type: conference_item datestamp: 2011-09-23 13:15:27 lastmod: 2011-09-23 13:15:27 metadata_visibility: show title: Rigorous Development of Dependable Systems using Fault Tolerance Views ispublished: pub subjects: Event-Bsemantics subjects: deploy_method_comp subjects: deploy_method_resil subjects: deploy_tooldev_modelc subjects: deploy_tooldev_rodinplugins full_text_status: public pres_type: paper 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. date: 2011 date_type: published event_title: The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011) event_location: Hiroshima, Japan event_dates: Nov 29 - Dec 2, 2011 event_type: conference refereed: TRUE citation: 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. document_url: http://deploy-eprints.ecs.soton.ac.uk/343/1/issre-final.pdf