Modelling Resilient Systems-of-Systems in Event-B

Linas Laibinis; I Pereverzeva; Elena Troubitsyna

doi:10.1007/978-3-319-10557-4_19

Modelling Resilient Systems-of-Systems in Event-B

Linas Laibinis, I Pereverzeva, Elena Troubitsyna

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

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.

Original language	Undefined/Unknown
Title of host publication	Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
Editors	A Bondavalli, A Ceccarelli, F Ortmeier
Publisher	Springer
Pages	157–166
ISBN (Electronic)	978-3-319-10557-4
ISBN (Print)	978-3-319-10556-7
DOIs	https://doi.org/10.1007/978-3-319-10557-4_19
Publication status	Published - 2014
MoE publication type	A4 Article in a conference publication
Event	conference; 2014-09-08; 2014-09-09 - Florence, Italy Duration: 8 Sept 2014 → 9 Sept 2014

Conference

Conference	conference; 2014-09-08; 2014-09-09
Period	08/09/14 → 09/09/14

Keywords

Event-B
formal modelling
refinement
systems-of-systems

Access to Document

10.1007/978-3-319-10557-4_19

Cite this

@inproceedings{965252b9b6974f70b4808ac955121718,

title = "Modelling Resilient Systems-of-Systems in Event-B",

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.",

keywords = "Event-B, formal modelling, refinement, systems-of-systems, Event-B, formal modelling, refinement, systems-of-systems, Event-B, formal modelling, refinement, systems-of-systems",

author = "Linas Laibinis and I Pereverzeva and Elena Troubitsyna",

year = "2014",

doi = "10.1007/978-3-319-10557-4_19",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-10556-7",

pages = "157–166",

editor = "A Bondavalli and A Ceccarelli and F Ortmeier",

booktitle = "Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops",

publisher = "Springer",

note = "conference; 2014-09-08; 2014-09-09 ; Conference date: 08-09-2014 Through 09-09-2014",

}

Modelling Resilient Systems-of-Systems in Event-B. / Laibinis, Linas; Pereverzeva, I; Troubitsyna, Elena.
Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops. ed. / A Bondavalli; A Ceccarelli; F Ortmeier. Springer, 2014. p. 157–166.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Modelling Resilient Systems-of-Systems in Event-B

AU - Laibinis, Linas

AU - Pereverzeva, I

AU - Troubitsyna, Elena

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Event-B

KW - formal modelling

KW - refinement

KW - systems-of-systems

KW - Event-B

KW - formal modelling

KW - refinement

KW - systems-of-systems

KW - Event-B

KW - formal modelling

KW - refinement

KW - systems-of-systems

U2 - 10.1007/978-3-319-10557-4_19

DO - 10.1007/978-3-319-10557-4_19

M3 - Konferensbidrag

SN - 978-3-319-10556-7

SP - 157

EP - 166

BT - Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops

A2 - Bondavalli, A

A2 - Ceccarelli, A

A2 - Ortmeier, F

PB - Springer

T2 - conference; 2014-09-08; 2014-09-09

Y2 - 8 September 2014 through 9 September 2014

ER -