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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01520445
Contributor : Hal Ifip <>
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

File

978-3-642-32775-9_6_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

114

Files downloads

250