Toggle Main Menu Toggle Search

Open Access padlockePrints

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

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

Downloads


Abstract

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 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: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2013

Pages: 37

Print publication date: 01/02/2013

Source Publication Date: February 2013

Report Number: 1371

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/1371.pdf


Share