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

John Fitzgerald, Jeremy Bryans, Richard Payne

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    11 Citations (Scopus)

    Abstract

    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
    Pages53-62
    Number of pages10
    Volume380 AICT
    ISBN (Electronic)978-3-642-32775-9
    ISBN (Print)978-3-642-32774-2
    DOIs
    Publication statusPublished - 2012

    Publication series

    NameIFIP Advances in Information and Communication Technology (IFIPAICT)
    PublisherSpringer
    Volume380

    Keywords

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

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

  • Cite this

    Fitzgerald, J., Bryans, J., & Payne, R. (2012). A formal model-based approach to engineering systems-of-systems. In L. M. Camarinha-Matos, L. Xu, & H. Afsarmanesh (Eds.), Collaborative Networks in the Internet of Services (Vol. 380 AICT, pp. 53-62). (IFIP Advances in Information and Communication Technology (IFIPAICT); Vol. 380). Berlin: Springer Verlag. https://doi.org/10.1007/978-3-642-32775-9_6