Toggle Main Menu Toggle Search

Open Access padlockePrints

Patterns for Representing FMEA in Formal Specification of Control Systems

Lookup NU author(s): Dr Ilya Lopatkin, Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD, Dr Elena Troubitsyna



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.

Publication metadata

Author(s): Romanovsky A; Iliasov A; Troubitsyna E; Lopatkin I; Prokhorova Y

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 11

Print publication date: 01/07/2011

Source Publication Date: July 2011

Report Number: 1261

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne