Toggle Main Menu Toggle Search

Open Access padlockePrints

Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML

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



This paper describes a pilot study in the use of model-based techniques in system of systems (SoS) engineering. The focus is on the derivation of specifications for new constituent systems that are to be integrated with an existing SoS. The pilot study is based on a commercial application in the home audio/video domain and illustrates the application of architectural modeling guidelines to the description of a content-streaming SoS using SysML and the formal modeling language CML. Analysis of the models leads to the derivation of a specification sufficient for constituent systems to guarantee a key leader election property of the SoS.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2014

Pages: 16

Print publication date: 01/01/2014

Source Publication Date: January 2014

Report Number: 1406

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

Place Published: Newcastle upon Tyne