Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Deriving a Mode Logic Using Fa...

Deriving a Mode Logic Using Failure Modes and Effects Analysis

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala, Deriving a Mode Logic Using Failure Modes and Effects Analysis. International Journal of Critical Computer-Based Systems 3(4), 305–328, 2012.

http://dx.doi.org/10.1504/IJCCBS.2012.053206

Abstract:

Modes are widely used to structure the behaviour of control systems. However, derivation and verification of a mode logic for complex systems is challenging due to a large number of modes and intricate mode transitions. In this paper, we propose an approach to deriving, formalising and verifying consistency of a mode logic for fault-tolerant control systems. We propose to use failure modes and effects analysis (FMEA) to systematically derive the fault tolerance part of the mode logic. We formalise the mode logic and define mode consistency properties for layered systems with reconfigurable components. We use our formalisation to develop and verify a mode-rich system by refinement in Event-B.

Files:

Full publication in PDF-format

BibTeX entry:

@ARTICLE{jPrLaTrVaLa12a,
  title = {Deriving a Mode Logic Using Failure Modes and Effects Analysis},
  author = {Prokhorova, Yuliya and Laibinis, Linas and Troubitsyna, Elena and Varpaaniemi, Kimmo and Latvala, Timo},
  journal = {International Journal of Critical Computer-Based Systems},
  volume = {3},
  number = {4},
  publisher = {Inderscience Enterprises Ltd.},
  pages = {305–328},
  year = {2012},
  keywords = {Event-B, formal specification, fault tolerance, failure modes and effects analysis, FMEA, layered control systems, mode logic},
}

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

Publication Forum rating of this publication: level 1

Edit publication