Semi-formal and formal interface specification for system of systems architecture

J. Bryans, R. Payne, J. Holt, S. Perry

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

    19 Citations (Scopus)


    The independence of the constituent systems of a system of systems presents a key challenge to the discipline of system of systems (SoS) engineering. The fact that constituent systems can and do function independently of the SoS means that engineers of a constituent system cannot rely on the behaviour of other constituent systems. This paper advocates a model-based approach to SoS engineering that requires the interfaces to constituent systems to be specified. We propose an use of an interface design pattern for interface specification that uses the industry standard notation, SysML.We also indicate a translation of these specifications to a formal notation, CML, in order to extend the range of analytic techniques available to the SoS engineer.
    Original languageEnglish
    Title of host publication2013 IEEE International Systems Conference (SysCon)
    Number of pages8
    ISBN (Print)9781467331074
    Publication statusPublished - 2013
    Event2013 IEEE International Systems Conference: SysCon 2013 - Orlando, United States
    Duration: 15 Apr 201318 Apr 2013


    Conference2013 IEEE International Systems Conference
    Country/TerritoryUnited States


    • Unified modeling language
    • Protocols
    • Object oriented modeling
    • Contracts
    • Computer architecture


    Dive into the research topics of 'Semi-formal and formal interface specification for system of systems architecture'. Together they form a unique fingerprint.

    Cite this