Toggle Main Menu Toggle Search

Open Access padlockePrints

Semi-Formal and Formal Interface Specification for System of Systems Architecture

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


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


The independence of the constituent systems of a system of systems presents a key challenge to the discipline of system of systems (SoS) engineering. The fact that constituent systems can and do function independently of the SoS means that engineers of a constituent system cannot rely on the behaviour of other constituent systems. This paper advocates a model-based approach to SoS engineering that requires the interfaces to constituent systems to be specified. We propose an use of an interface enabling design pattern for interface specification that uses the industry standard notation, SysML. We also indicate a translation of these specifications to a formal notation, CML, in order to extend the range of analytic techniques available to the SoS engineer.

Publication metadata

Author(s): Payne R, Bryans J, Holt J, Perry S

Publication type: Conference Proceedings (inc. Abstract)

Publication status: In Press

Conference Name: IEEE Systems Conference

Year of Conference: 2013