Where academic tradition
meets the exciting future

Patterns for Representing FMEA in Formal Specification of Control Systems

Ilya Lopatkin, Yuliya Prokhorova, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky, Patterns for Representing FMEA in Formal Specification of Control Systems. TUCS Technical Reports 1003, Turku Centre for Computer Science, 2011.

Abstract:

Failure Modes and Effect analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides the engineers with the valuable information about failure modes of system components as well as procedures for error detection and recovery. In this paper we propose an approach that facilitates representation of FMEA results in formal Event-B specifications of control systems. We define a number of patterns for representing the requirements derived from FMEA in formal system model in Event-B. These patterns facilitate traceability of requirements and allow us to increase automation of formal system development by refinement. Our approach is illustrated by an example a sluice system.

Files:

Abstract in PDF-format

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tLoPrTrIlRo11a,
  title = {Patterns for Representing FMEA in Formal Specification of Control Systems},
  author = {Lopatkin, Ilya and Prokhorova, Yuliya and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander},
  number = {1003},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2011},
  keywords = {formal specification, Event-B, FMEA, patterns, safety, control systems},
  ISBN = {978-952-12-2571-0},
}

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

Edit publication