--- 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.' accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - Ilya.Lopatkin@newcastle.ac.uk - '"Alexei Iliasov" ' - alexander.romanovsky@ncl.ac.uk creators_name: - family: Lopatkin given: Ilya honourific: '' lineage: '' - family: Iliasov given: Alexei honourific: '' lineage: '' - family: Romanovsky given: Alexander honourific: '' lineage: '' data_type: ~ date: 2011 date_type: published datestamp: 2011-09-23 13:15:27 department: ~ dir: disk0/00/00/03/43 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 343 event_dates: 'Nov 29 - Dec 2, 2011' event_location: 'Hiroshima, Japan' event_title: The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011) event_type: conference exhibitors_id: [] exhibitors_name: [] fileinfo: application/pdf;http://deploy-eprints.ecs.soton.ac.uk/343/1/issre%2Dfinal.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: ~ item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2011-09-23 13:15:27 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: ~ output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: paper producers_id: [] producers_name: [] projects: [] publication: ~ publisher: ~ refereed: TRUE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 11 series: ~ skill_areas: [] source: ~ status_changed: 2011-09-23 13:15:27 subjects: - Event-Bsemantics - deploy_method_comp - deploy_method_resil - deploy_tooldev_modelc - deploy_tooldev_rodinplugins succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: Rigorous Development of Dependable Systems using Fault Tolerance Views type: conference_item userid: 7 volume: ~