Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Patterns for Representing FMEA...

Patterns for Representing FMEA in Formal Specification of Control Systems

Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna, Patterns for Representing FMEA in Formal Specification of Control Systems. TECHNICAL REPORT SERIES CS-TR-1261, Newcastle University, 2011.

Abstract:

Failure Modes and Effect analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides engineers with 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 requirements derived from FMEA in formal system model in Event-B. The patterns help the developers to trace the requirements and allow them to increase automation of formal system development by refinement. Our approach is illustrated by an example - a sluice system.

BibTeX entry:

@TECHREPORT{tLoIlRoPrTr11a,
  title = {Patterns for Representing FMEA in Formal Specification of Control Systems},
  author = {Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander and Prokhorova, Yuliya and Troubitsyna, Elena},
  series = {TECHNICAL REPORT SERIES},
  publisher = {Newcastle University},
  year = {2011},
  keywords = {formal specification, Event-B, FMEA, patterns, safety, control systems},
}

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

Edit publication