TY  - CHAP
CY  - IGI Global Publishing, USA
ID  - deploy404
UR  - http://deploy-eprints.ecs.soton.ac.uk/404/
A1  - Prokhorova, Yuliya
A1  - Troubitsyna, Elena
A1  - Laibinis, Linas
A1  - Kharchenko, Vyacheslav
Y1  - 2011///
N2  - 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.
PB  - IGI Global
SN  - 978-1-60960-747-0
ED  - Stolen, Ketil
ED  - Nadj-Tehrani, Simin
ED  - Damsgaard Jensen , Christian
ED  - Vain, Juri
TI  - Development of Safety-Critical Control Systems in Event-B Using FMEA
SP  - 75
AV  - none
EP  - 91
T2  - Dependability and Computer Engineering: Concepts for Software-Intensive Systems
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>