Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Modelling Resilience of Data P...

Modelling Resilience of Data Processing Capabilities of CPS

Linas Laibinis, Dmitry Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov, Modelling Resilience of Data Processing Capabilities of CPS. In: Istvan Majzik, Marco Vieira (Eds.), Software Engineering for Resilient Systems, Lecture Notes in Computer Science 8785, 55–70, Springer, 2014.

Abstract:

Modern CPS should process large amount of data with high speed and reliability. To ensure that the system can handle varying volumes of data, the system designers usually rely on the architectures with the dynamically scaling degree of parallelism. However, to guarantee resilience of data processing, we should also ensure system fault tolerance, i.e., integrate the mechanisms for dynamic reconfiguration. In this paper, we present an approach to formal modelling and assessment of reconfigurable dynamically scaling systems that guarantees resilience of data processing. We rely on modelling in Event-B to formally define the dynamic system architecture with the integrated dynamically scaling parallelism and reconfiguration. The formal development allows us to derive a complex system architecture and verify its correctness. To quantitatively assess resilience of data processing architecture, we rely on statistical model checking and evaluate the likelihood of successful data processing under different system parameters. The proposed integrated approach facilitates design space exploration and improves predictability in the development of complex data processing capabilities.

BibTeX entry:

@INPROCEEDINGS{inpLaKlTrDoLiKu14a,
  title = {Modelling Resilience of Data Processing Capabilities of CPS},
  booktitle = {Software Engineering for Resilient Systems},
  author = {Laibinis, Linas and Klionskiy, Dmitry and Troubitsyna, Elena and Dorokhov, Anatoly and Lilius, Johan and Kupriyanov, Mikhail},
  volume = {8785},
  series = {Lecture Notes in Computer Science},
  editor = {Majzik, Istvan and Vieira, Marco},
  publisher = {Springer},
  pages = {55–70},
  year = {2014},
  keywords = {Formal modelling, Event-B, statistical model-checking},
  ISSN = {0302-9743},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 1

Edit publication