Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Formalisation of an Industrial...

Formalisation of an Industrial Approach to Monitoring Critical Data

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala, Formalisation of an Industrial Approach to Monitoring Critical Data. In: Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Lecture Notes in Computer Science 8153, 57–69, Springer-Verlag Berlin Heidelberg, 2013.

Abstract:

A large class of safety-critical control systems contains monitoring subsystems that display certain system parameters to (human) operators. Ensuring that the displayed data are sufficiently fresh and non-corrupted constitutes an important part of safety requirements. However, the monitoring subsystems are typically not a part of a safety kernel and hence often built of SIL1–SIL2 components. In this paper, we formalise a recently implemented industrial approach to architecting dependable monitoring systems, which ensures data freshness and integrity despite unreliability of their components. Moreover, we derive an architectural pattern that allows us to formally reason about data freshness and integrity. The proposed approach is illustrated by an industrial case study.

BibTeX entry:

@INPROCEEDINGS{inpPrTrLaIlLa13a,
  title = {Formalisation of an Industrial Approach to Monitoring Critical Data},
  booktitle = {Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013)},
  author = {Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Ilić, Dubravka and Latvala, Timo},
  volume = {8153},
  series = {Lecture Notes in Computer Science},
  editor = {Bitsch, Friedemann and Guiochet, Jérémie and Kaâniche, Mohamed},
  publisher = {Springer-Verlag Berlin Heidelberg},
  pages = {57–69},
  year = {2013},
  keywords = {fault-tolerance, data monitoring systems, formal modelling, Event-B, data freshness, data integrity},
}

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

Publication Forum rating of this publication: level 1

Edit publication