Browse by author
Lookup NU author(s): Dr Jeremy Bryans, Emeritus Professor John FitzgeraldORCiD, Dr Richard Payne
This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2014.
For re-use rights please refer to the publisher's terms and conditions.
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1406.pdf
