A Formal Model-Based Approach to Engineering Systems-of-Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

John Fitzgerald
  • Function : Author
  • PersonId : 880353
Jeremy Bryans
  • Function : Author
  • PersonId : 992609
Richard Payne
  • Function : Author
  • PersonId : 1007883


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.
Fichier principal
Vignette du fichier
978-3-642-32775-9_6_Chapter.pdf (168.8 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01520445 , version 1 (10-05-2017)


Attribution - CC BY 4.0



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⟩
65 View
218 Download



Gmail Facebook Twitter LinkedIn More