Modelling Resilient Systems-of-Systems in Event-B

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Laibinis L, Pereverzeva I, Troubitsyna E
Editors: Bondavalli A, Ceccarelli A, Ortmeier F
Publisher: Springer
Publication year: 2014
Publisher: Springer
Book title: Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
Title of series: Lecture Notes in Computer Science
Volume number: 8696
Start page: 157
End page: 166
ISBN: 978-3-319-10556-7
eISBN: 978-3-319-10557-4
ISSN: 0302-9743


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.


Event-B, formal modelling, refinement, systems-of-systems

Last updated on 2020-12-07 at 06:11