Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems

Laurent Bobelin 1 Khalil Drira 2 Cédric Eichler 1
1 SDS - Sécurité des Données et des Systèmes
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Abstract : Systems of systems (SoSs) are composed of multiple operationally and managerially independent systems whose cooperation may lead to the apparition of emergent behaviors. Analysis of constituents and emergent properties is a cornerstone of SoSs. However, systems constituting a SoS may be arbitrarily complex. Therefore, precise modeling of SoSs may produce an enormous amount of information. Analyzing and modeling SoSs is thus a difficult task: how to conciliate complexity and provability of existence/absence of (emergent) properties ? Multiscale architecture modeling is appropriate for handling the inherent complexity of SoSs. Multiscale modeling enables to look at a problem simultaneously from different scales and different levels of detail. It takes advantage of data available at distinct scales, accordingly managing the complexity of behavior involved. Existing works regarding multiscale software architecture often specify a set of fixed views with loose definition of scales and scale dimensions, dramatically restricting scales usage. Furthermore, specification of scale changes have been mildly studied and are often handled as simple refinements. Yet, an adequate representation of model transformations is a key-factor for enabling system analysis. In this paper, we firstly present the formal definition of two scale dimensions: extend and grain. Extend allows to flexibly consider various subsystems, while grain specify different level of details. We formally define scale changes in this context and study their impact on system (emergent) properties
Type de document :
Communication dans un congrès
13th Annual Conference on System of Systems Engineering (SoSE 2018 ), Jun 2018, Paris, France. IEEE, 2018, 〈10.1109/SYSOSE.2018.8428736〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01895173
Contributeur : Cédric Eichler <>
Soumis le : dimanche 14 octobre 2018 - 15:30:09
Dernière modification le : jeudi 17 janvier 2019 - 15:10:02

Identifiants

Citation

Laurent Bobelin, Khalil Drira, Cédric Eichler. Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems. 13th Annual Conference on System of Systems Engineering (SoSE 2018 ), Jun 2018, Paris, France. IEEE, 2018, 〈10.1109/SYSOSE.2018.8428736〉. 〈hal-01895173〉

Partager

Métriques

Consultations de la notice

51