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

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Sammanfattning

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.

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
Redaktörer	A Bondavalli, A Ceccarelli, F Ortmeier
Förlag	Springer
Sidor	157–166
ISBN (elektroniskt)	978-3-319-10557-4
ISBN (tryckt)	978-3-319-10556-7
DOI	https://doi.org/10.1007/978-3-319-10557-4_19
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2014-09-08; 2014-09-09 - Florence, Italy Varaktighet: 8 sep. 2014 → 9 sep. 2014

Konferens

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

Nyckelord

Event-B
formal modelling
refinement
systems-of-systems

Åtkomst av dokument

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

Citera det här

@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 = "null ; 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. red. / A Bondavalli; A Ceccarelli; F Ortmeier. Springer, 2014. s. 157–166.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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

Y2 - 8 September 2014 through 9 September 2014

ER -