Industrial deployment of system engineering methods providing high dependability and productivity


Development of Safety-Critical Control Systems in Event-B Using FMEA

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

Full text not available from this repository.


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.

Item Type:Book Section
Methodology > Resilience
Event-B > Event-B Examples
ID Code:404
Deposited By: Mr. Linas Laibinis
Deposited On:29 Jun 2012 07:53
Last Modified:29 Jun 2012 07:53

Repository Staff Only: item control page

Deploy-Project - All right reserved