@inproceedings{e07efc17980345c28acfba9d162c679a,
title = "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.",
keywords = "Systems-of-systems, Information flow, SysML, CSP, VDM, Analysis, Verification",
author = "John Fitzgerald and Jeremy Bryans and Richard Payne",
year = "2012",
doi = "10.1007/978-3-642-32775-9_6",
language = "English",
isbn = "978-3-642-32774-2",
volume = "380 AICT",
series = "IFIP Advances in Information and Communication Technology (IFIPAICT)",
publisher = "Springer Verlag",
pages = "53--62",
editor = "Camarinha-Matos, {Luis M.} and Lai Xu and Hamideh Afsarmanesh",
booktitle = "Collaborative Networks in the Internet of Services",
address = "Austria",
}