A Formal Model-based Approach to Engineering Systems-of-Systems

  1. Lookup NU author(s)
  2. Professor John Fitzgerald
  3. Dr Jeremy Bryans
  4. Dr Richard Payne
Author(s)Fitzgerald J, Bryans J, Payne R
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Legacy DateJune 2012
Report Number1338
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication