Modelling Resilient Systems-of-Systems in Event-B

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Laibinis L, Pereverzeva I, Troubitsyna E
Redaktörer: Bondavalli A, Ceccarelli A, Ortmeier F
Förläggare: Springer
Publiceringsår: 2014
Förläggare: Springer
Moderpublikationens namn: Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
Seriens namn: Lecture Notes in Computer Science
Volym: 8696
Artikelns första sida, sidnummer: 157
Artikelns sista sida, sidnummer: 166
ISBN: 978-3-319-10556-7
eISBN: 978-3-319-10557-4
ISSN: 0302-9743


Abstrakt

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.


Nyckelord

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

Senast uppdaterad 2019-13-12 vid 04:29