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 proceeding

    18 Citations (Scopus)

    Abstract

    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)
    PublisherIEEE
    Pages612-619
    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

    Conference

    Conference2013 IEEE International Systems Conference
    CountryUnited States
    CityOrlando
    Period15/04/1318/04/13

    Keywords

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

    Fingerprint 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

    Bryans, J., Payne, R., Holt, J., & Perry, S. (2013). Semi-formal and formal interface specification for system of systems architecture. In 2013 IEEE International Systems Conference (SysCon) (pp. 612-619). IEEE.