Skip to Main content Skip to Navigation
Conference papers

A Formal Model-Based Approach to Engineering Systems-of-Systems

Abstract : Systems-of-systems (SoS) are network-enabled synergistic collaborations between systems that are operationally and managerially independent, distributed, evolve dynamically and exhibit emergence. The design of dependable SoS requires model-based approaches that permit description of contracts between constituent systems at interfaces in a SoS architecture, including functionality and interaction behaviour, and that permit verification of global behaviours. We describe an approach to formal model-based SoS engineering using complementary notations for functional, interaction and architectural aspects. A case study in modelling information flow in an emergency response SoS demonstrates the viability of the proposed approach and highlights a need for common semantic foundations.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, May 10, 2017 - 3:00:14 PM
Last modification on : Wednesday, May 10, 2017 - 3:09:45 PM
Long-term archiving on: : Friday, August 11, 2017 - 1:18:15 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



John Fitzgerald, Jeremy Bryans, Richard Payne. A Formal Model-Based Approach to Engineering Systems-of-Systems. 13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. pp.53-62, ⟨10.1007/978-3-642-32775-9_6⟩. ⟨hal-01520445⟩



Record views


Files downloads