Browse by author
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.
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
