Modelling Resilient Systems-of-Systems in Event-B

Linas Laibinis, I Pereverzeva, Elena Troubitsyna

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review


    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.
    Titel på värdpublikationProceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
    RedaktörerA Bondavalli, A Ceccarelli, F Ortmeier
    ISBN (elektroniskt)978-3-319-10557-4
    ISBN (tryckt)978-3-319-10556-7
    StatusPublicerad - 2014
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2014-09-08; 2014-09-09 - Florence, Italy
    Varaktighet: 8 sep. 20149 sep. 2014


    Konferensconference; 2014-09-08; 2014-09-09


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

    Citera det här