Patterns for Representing FMEA in Formal Specification of Control Systems

  1. Lookup NU author(s)
  2. Dr Ilya Lopatkin
  3. Dr Alexei Iliasov
  4. Professor Alexander Romanovsky
Author(s)Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna Y
Editor(s)Khoshgoftaar, T.M.
Publication type Conference Proceedings (inc. Abstract)
Conference Name13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011
Conference LocationBoca Raton, Florida, USA
Year of Conference2011
Date10-12 November 2011
Volume
Pages146-151
ISBN9781467301077
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Failure Modes and Effects 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 specified in Event-B. The patterns help the developers to trace the requirements from safety analysis to formal specification. Moreover, they allow them to increase automation of formal system development by refinement. Our approach is illustrated by an example ‑ a sluice control system.
PublisherIEEE
URLhttp://dx.doi.org/10.1109/HASE.2011.10
DOI10.1109/HASE.2011.10
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item