A Formal Model-Based Approach to Engineering Systems-of-Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

John Fitzgerald
  • Fonction : Auteur
  • PersonId : 880353
Jeremy Bryans
  • Fonction : Auteur
  • PersonId : 992609
Richard Payne
  • Fonction : Auteur
  • PersonId : 1007883

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
69 Consultations
222 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More