--- abstract: 'Application of formal methods, in particular Event-B, helps us to build control systems correct by construction. On the other hand, to guarantee safety of such a system, we need to incorporate safety and fault tolerance requirements into its formal specification. In this chapter, we demonstrate how to integrate the results obtained during fault analysis, specifically, failure mode and effect analysis (FMEA), into the control system development process in Event-B. The proposed methodology is exemplified by a case study.' accompaniment: [] book_title: 'Dependability and Computer Engineering: Concepts for Software-Intensive Systems' commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - Yuliya.Prokhorova@abo.fi - Elena.Troubitsyna@abo.fi - Linas.Laibinis@abo.fi - ~ creators_name: - family: Prokhorova given: Yuliya honourific: '' lineage: '' - family: Troubitsyna given: Elena honourific: '' lineage: '' - family: Laibinis given: Linas honourific: '' lineage: '' - family: Kharchenko given: Vyacheslav honourific: '' lineage: '' data_type: ~ date: 2011 date_type: published datestamp: 2012-06-29 07:53:39 department: ~ dir: disk0/00/00/04/04 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: - family: Stolen given: Ketil honourific: '' lineage: '' - family: Nadj-Tehrani given: Simin honourific: '' lineage: '' - family: 'Damsgaard Jensen ' given: Christian honourific: '' lineage: '' - family: Vain given: Juri honourific: '' lineage: '' eprint_status: archive eprintid: 404 event_dates: ~ event_location: ~ event_title: ~ event_type: ~ exhibitors_id: [] exhibitors_name: [] fileinfo: ~ full_text_status: none funders: [] id_number: ~ importid: ~ institution: ~ isbn: 978-1-60960-747-0 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: 2012-06-29 07:53:39 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: ~ output_media: ~ pagerange: 75-91 pages: 515 patent_applicant: ~ pedagogic_type: ~ place_of_pub: 'IGI Global Publishing, USA' pres_type: ~ producers_id: [] producers_name: [] projects: [] publication: ~ publisher: IGI Global refereed: TRUE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 8 series: ~ skill_areas: [] source: ~ status_changed: 2012-06-29 07:53:39 subjects: - Event-Bsemantics - deploy_method_resil - examples succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: Development of Safety-Critical Control Systems in Event-B Using FMEA type: book_section userid: 20 volume: ~