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

Modelling Resilient Systems-of-Systems in Event-B

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Modelling Resilient Systems-of-Systems in Event-B. In: Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier (Eds.), Computer Safety, Reliability, and Security, Lecture Notes in Computer Science 8696, 157–166, Springer, 2014.

http://dx.doi.org/10.1007/978-3-319-10557-4_19

Abstract:

Ensuring resilience – the ability to remain dependable in dynamic environment – constitutes a major challenge for engineering systems-of-systems (SoS). In this paper, we take a mission-centric view on the behaviour of SoS and demonstrate how to formally reason about their dependability. We use Event-B as our modelling framework and demonstrate how to formally specify and verify generic system-wide dependability properties as well as the dynamic behaviour of SoS. The proposed approach is exemplified by a case study – a flight formation system. As a result, we argue that Event-B offers a scalable approach to formal modelling of SoS and facilitates engineering of resilient SoS.

BibTeX entry:

@INPROCEEDINGS{inpLaPeTr14a,
  title = {Modelling Resilient Systems-of-Systems in Event-B},
  booktitle = {Computer Safety, Reliability, and Security},
  author = {Laibinis, Linas and Pereverzeva, Inna and Troubitsyna, Elena},
  volume = {8696},
  series = {Lecture Notes in Computer Science},
  editor = {Bondavalli, Andrea and Ceccarelli, Andrea and Ortmeier, Frank},
  publisher = {Springer},
  pages = {157–166},
  year = {2014},
  keywords = {Systems-of-systems, formal modelling, Event-B, refinement},
  ISSN = {0302-9743},
}

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

Publication Forum rating of this publication: level 1

Edit publication