Modelling Resilient Systems-of-Systems in Event-B

Linas Laibinis, I Pereverzeva, Elena Troubitsyna

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-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 languageUndefined/Unknown
    Title of host publicationProceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
    EditorsA Bondavalli, A Ceccarelli, F Ortmeier
    PublisherSpringer
    Pages157–166
    ISBN (Electronic)978-3-319-10557-4
    ISBN (Print)978-3-319-10556-7
    DOIs
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2014-09-08; 2014-09-09 - Florence, Italy
    Duration: 8 Sept 20149 Sept 2014

    Conference

    Conferenceconference; 2014-09-08; 2014-09-09
    Period08/09/1409/09/14

    Keywords

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

    Cite this