A Formal Model-based Approach to Engineering Systems-of-Systems (2012)

Author(s): Fitzgerald J, Bryans J, Payne R

    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.

      • Date: June 2012
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 14
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: Systems-of-systems, Information flow, SysML, CSP, VDM, Analysis, Verification.


      Dr Jeremy Bryans
      Senior Research Associate

      Professor John Fitzgerald
      Director of Research in Computing Science, Director of the Centre for Software Reliability

      Dr Richard Payne
      Research Associate