creators_name: Prokhorova, Yuliya
creators_name: Troubitsyna, Elena
creators_name: Laibinis, Linas
creators_name: Kharchenko, Vyacheslav
creators_id: Yuliya.Prokhorova@abo.fi
creators_id: Elena.Troubitsyna@abo.fi
creators_id: Linas.Laibinis@abo.fi
editors_name: Stolen, Ketil
editors_name: Nadj-Tehrani, Simin
editors_name: Damsgaard Jensen , Christian
editors_name: Vain, Juri
type: book_section
datestamp: 2012-06-29 07:53:39
lastmod: 2012-06-29 07:53:39
metadata_visibility: show
title: Development of Safety-Critical Control Systems in Event-B Using FMEA
ispublished: pub
subjects: Event-Bsemantics
subjects: deploy_method_resil
subjects: examples
full_text_status: none
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.
date: 2011
date_type: published
publisher: IGI Global
place_of_pub: IGI Global Publishing, USA
pagerange: 75-91
pages: 515
refereed: TRUE
isbn: 978-1-60960-747-0
book_title: Dependability and Computer Engineering: Concepts for Software-Intensive Systems
citation:   Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Kharchenko, Vyacheslav  (2011) Development of Safety-Critical Control Systems in Event-B Using FMEA.   In:  Dependability and Computer Engineering: Concepts for Software-Intensive Systems.   IGI Global, IGI Global Publishing, USA, pp. 75-91.  ISBN 978-1-60960-747-0