Browse by author
Lookup NU author(s): Professor John Fitzgerald, Dr Jeremy Bryans, Dr Richard Payne
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.
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
