Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Integrating FMEA into Event-B ...

Integrating FMEA into Event-B Development of Safety-Critical Control Systems

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Integrating FMEA into Event-B Development of Safety-Critical Control Systems. TUCS Technical Reports 986, Turku Centre for Computer Science, 2010.

Abstract:

Application of formal methods, in particular Event-B, helps us to verify correctness of controlling software. However, to guarantee dependability of software-intensive control systems, we also need to ensure that safety and fault tolerance requirements are adequately represented in a system specification. In this paper we demonstrate how to integrate the results of safety analysis, in particular, failure mode and effect analysis (FMEA), into formal system development in Event-B. FMEA allows us to systematically study the causes of components faults, their global and local effects, and the means to cope with these faults. The fault tolerance mechanisms are often implemented as a part of the developed software, therefore the information obtained as the result of FMEA constitutes the necessary requirements that the controlling software should fulfil. Our approach enables extraction and traceability of the safety requirements that thus potentially increase system dependability. The proposed methodology is exemplified by a case study.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tPrTrLa10a,
  title = {Integrating FMEA into Event-B Development of Safety-Critical Control Systems},
  author = {Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas},
  number = {986},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2010},
  keywords = {Event-B, FMEA, formal methods, safety, safety-critical control systems},
  ISBN = {978-952-12-2476-8},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication