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

    10 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

    Fingerprint

    Systems engineering
    Interfaces (computer)
    Computer systems
    Semantics
    System of systems

    Keywords

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

    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

    A formal model-based approach to engineering systems-of-systems. / Fitzgerald, John; Bryans, Jeremy; Payne, Richard.

    Collaborative Networks in the Internet of Services. ed. / Luis M. Camarinha-Matos; Lai Xu; Hamideh Afsarmanesh. Vol. 380 AICT Berlin : Springer Verlag, 2012. p. 53-62 (IFIP Advances in Information and Communication Technology (IFIPAICT); Vol. 380).

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

    Fitzgerald, J, Bryans, J & Payne, R 2012, A formal model-based approach to engineering systems-of-systems. in LM Camarinha-Matos, L Xu & H Afsarmanesh (eds), Collaborative Networks in the Internet of Services. vol. 380 AICT, IFIP Advances in Information and Communication Technology (IFIPAICT), vol. 380, Springer Verlag, Berlin, pp. 53-62. https://doi.org/10.1007/978-3-642-32775-9_6
    Fitzgerald J, Bryans J, Payne R. A formal model-based approach to engineering systems-of-systems. In Camarinha-Matos LM, Xu L, Afsarmanesh H, editors, Collaborative Networks in the Internet of Services. Vol. 380 AICT. Berlin: Springer Verlag. 2012. p. 53-62. (IFIP Advances in Information and Communication Technology (IFIPAICT)). https://doi.org/10.1007/978-3-642-32775-9_6
    Fitzgerald, John ; Bryans, Jeremy ; Payne, Richard. / A formal model-based approach to engineering systems-of-systems. Collaborative Networks in the Internet of Services. editor / Luis M. Camarinha-Matos ; Lai Xu ; Hamideh Afsarmanesh. Vol. 380 AICT Berlin : Springer Verlag, 2012. pp. 53-62 (IFIP Advances in Information and Communication Technology (IFIPAICT)).
    @inproceedings{e07efc17980345c28acfba9d162c679a,
    title = "A formal model-based approach to engineering systems-of-systems",
    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.",
    keywords = "Systems-of-systems, Information flow, SysML, CSP, VDM, Analysis, Verification",
    author = "John Fitzgerald and Jeremy Bryans and Richard Payne",
    year = "2012",
    doi = "10.1007/978-3-642-32775-9_6",
    language = "English",
    isbn = "978-3-642-32774-2",
    volume = "380 AICT",
    series = "IFIP Advances in Information and Communication Technology (IFIPAICT)",
    publisher = "Springer Verlag",
    pages = "53--62",
    editor = "Camarinha-Matos, {Luis M.} and Lai Xu and Hamideh Afsarmanesh",
    booktitle = "Collaborative Networks in the Internet of Services",
    address = "Austria",

    }

    TY - GEN

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

    AU - Fitzgerald, John

    AU - Bryans, Jeremy

    AU - Payne, Richard

    PY - 2012

    Y1 - 2012

    N2 - 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.

    AB - 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.

    KW - Systems-of-systems

    KW - Information flow

    KW - SysML

    KW - CSP

    KW - VDM

    KW - Analysis

    KW - Verification

    U2 - 10.1007/978-3-642-32775-9_6

    DO - 10.1007/978-3-642-32775-9_6

    M3 - Conference proceeding

    SN - 978-3-642-32774-2

    VL - 380 AICT

    T3 - IFIP Advances in Information and Communication Technology (IFIPAICT)

    SP - 53

    EP - 62

    BT - Collaborative Networks in the Internet of Services

    A2 - Camarinha-Matos, Luis M.

    A2 - Xu, Lai

    A2 - Afsarmanesh, Hamideh

    PB - Springer Verlag

    CY - Berlin

    ER -