A formal model-based approach to engineering systems-of-systems

John Fitzgerald, Jeremy Bryans, Richard Payne

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

    13 Citations (Scopus)


    Systems-of-systems (SoS) are network-enabled synergistic collaborations between systems that are operationally and managerially independent, distributed, evolve dynamically and exhibit emergence. The design of dependable SoS requires model-based approaches that permit description of contracts between constituent systems at interfaces in a SoS architecture, including functionality and interaction behaviour, and that permit verification of global behaviours. We describe an approach to formal model-based SoS engineering using complementary notations for functional, interaction and architectural aspects. A case study in modelling information flow in an emergency response SoS demonstrates the viability of the proposed approach and highlights a need for common semantic foundations.
    Original languageEnglish
    Title of host publicationCollaborative Networks in the Internet of Services
    EditorsLuis M. Camarinha-Matos, Lai Xu, Hamideh Afsarmanesh
    Place of PublicationBerlin
    PublisherSpringer Verlag
    Number of pages10
    Volume380 AICT
    ISBN (Electronic)978-3-642-32775-9
    ISBN (Print)978-3-642-32774-2
    Publication statusPublished - 2012

    Publication series

    NameIFIP Advances in Information and Communication Technology (IFIPAICT)


    • Systems-of-systems
    • Information flow
    • SysML
    • CSP
    • VDM
    • Analysis
    • Verification


    Dive into the research topics of 'A formal model-based approach to engineering systems-of-systems'. Together they form a unique fingerprint.

    Cite this