Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Professor John Fitzgerald, Dr Jeremy Bryans, Dr Richard Payne

Downloads


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.


Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 14

Print publication date: 01/06/2012

Source Publication Date: June 2012

Report Number: 1338

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1338.pdf


Share