Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Development of Safety-Critical...

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

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko, Development of Safety-Critical Control Systems in Event-B Using FMEA . In: Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, 75–91, IGI Global, 2011.

Abstract:

Application of formal methods, in particular Event-B, helps us to verify the correctness of controlling software. However, to guarantee the 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 chapter 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. The proposed methodology is exemplified by a case study.

BibTeX entry:

@INBOOK{cPrTrLaKh11a,
  title = {Development of Safety-Critical Control Systems in Event-B Using FMEA  },
  booktitle = {Dependability and Computer Engineering: Concepts for Software-Intensive Systems},
  author = {Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Kharchenko, Vyacheslav},
  editor = {Petre, Luigia and Sere, Kaisa and Troubitsyna, Elena},
  publisher = {IGI Global},
  pages = {75–91},
  year = {2011},
}

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

Publication Forum rating of this publication: level 1

Edit publication