• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Deriving Mode Logic for Fault-Tolerant Control Systems

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Kimmo Varpaaniemi, Timo Latvala, Deriving Mode Logic for Fault-Tolerant Control Systems. In: Naveed Ahmed, Daniele Quercia, Christian D. Jensen (Eds.), Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), 309-323, Technical University of Denmark, 2011.

Abstract:

Deriving the mode logic for complex systems is a challenging and error prone task. In this paper we propose an approach to systematic derivation of the mode logic by using Failure Modes and Effects Analysis (FMEA). We formally model mode-rich control systems to ensure correct implementation of the mode logic and guarantee preservation of essential system properties in the presence of failures. The proposed approach is exemplified by a case study - Attitude and Orbit Control System.

BibTeX entry:

@INPROCEEDINGS{iPrTrLaVaLa11a,
  title = {Deriving Mode Logic for Fault-Tolerant Control Systems},
  booktitle = {Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)},
  author = {Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Varpaaniemi, Kimmo and Latvala, Timo},
  editor = {Ahmed, Naveed and Quercia, Daniele and Jensen, Christian D.},
  publisher = {Technical University of Denmark},
  pages = {309-323},
  year = {2011},
  keywords = {Event-B, formal specification, fault-tolerance, FMEA, mode-rich systems},
}

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

Edit publication