Browse by author
Lookup NU author(s): Dr Claire Ingram, Dr Richard Payne, Emeritus Professor John FitzgeraldORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
A collaborative SoS is a system composed of constituent systems (CSs), which are independent and voluntarily cooperate without an agreed SoS director. Engineering emergent behaviour is just one of the key engineering challenges for which support is needed. In this paper we illustrate for the first time an integrated collection of model-based techniques for verifying behaviours and properties, with the aim of assisting the engineering of collaborative systems of systems (SoSs). We provide an illustration of an approach that flows from requirements and architectural modelling to the use of formal techniques, integrating methods drawn from software and systems engineering fields to tackle engineering challenges in SoS. The approach incorporates architectural modelling (implemented in SysML) beforetransitioning to a formal modelling notation which has been developed specifically for SoSs.This formal modelling approach supports a wide range of analysis and verification techniques, such as: design space exploration; requirements verification; and consistency checks. We also discuss how our approach can be incorporated into a standard systems engineering approach.
Author(s): Ingram C, Payne R, Fitzgerald J, Couto LD
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: INCOSE International Symposium
Year of Conference: 2015
Pages: 404-419
Online publication date: 29/10/2015
Acceptance date: 02/04/2018
ISSN: 2334-5837
Publisher: INCOSE (International Council on Systems Engineering)
URL: https://doi.org/10.1002/j.2334-5837.2015.00071.x
DOI: 10.1002/j.2334-5837.2015.00071.x
