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.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Lai Xu; Hamideh Afsarmanesh. 13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. Springer, IFIP Advances in Information and Communication Technology, AICT-380, pp.53-62, 2012, Collaborative Networks in the Internet of Services. 〈10.1007/978-3-642-32775-9_6〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01520445
Contributeur : Hal Ifip <>
Soumis le : mercredi 10 mai 2017 - 15:00:14
Dernière modification le : mercredi 10 mai 2017 - 15:09:45
Document(s) archivé(s) le : vendredi 11 août 2017 - 13:18:15

Fichier

978-3-642-32775-9_6_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

John Fitzgerald, Jeremy Bryans, Richard Payne. A Formal Model-Based Approach to Engineering Systems-of-Systems. Luis M. Camarinha-Matos; Lai Xu; Hamideh Afsarmanesh. 13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. Springer, IFIP Advances in Information and Communication Technology, AICT-380, pp.53-62, 2012, Collaborative Networks in the Internet of Services. 〈10.1007/978-3-642-32775-9_6〉. 〈hal-01520445〉

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

27