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 COMPASS 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.
|Journal||INCOSE International Symposium|
|Publication status||Published - 2014|
Bibliographical noteThis paper is not available on the repository
- system integration
- systems of systems
- model-based systems engineering
Bryans, J., Fitzgerald, J., Payne, R., & Kristensen, K. (2014). Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML. INCOSE International Symposium, 24(1), 166-181. https://doi.org/10.1002/j.2334-5837.2014.tb03142.x