Multi-scale modeling for software-intensive systems-of-systems architectures

Ilhem Khlif; Mohamed Hadj Kacem; Cédric Eichler; Khalil Drira; Ahmed Hadj Kacem

Multi-scale modeling for software-intensive systems-of-systems architectures

Ilhem Khlif ¹ Mohamed Hadj Kacem ¹ Cédric Eichler ^{2, 3} Khalil Drira ² Ahmed Hadj Kacem ¹

1 REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées

2 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés

LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]

3 SDS - Sécurité des Données et des Systèmes

LIFO - Laboratoire d'Informatique Fondamentale d'Orléans

Abstract : In this paper, we propose a multi-scale modeling approach for SoS architecture description. This study aims at mastering the complexity of such systems both at the human and automated processing levels by considering increasingly detailed modeling scales. Some high level properties can be expressed on informal descriptions with a high level of abstractions and checked on simple formal descriptions. Some other properties need more detailed descriptions to be expressed and formal specifications to be elaborated. We elaborate a set of coarse-grained and fine-grained models and we define the corresponding refinement rules to build correct by design Publish-Subscribe software architectures. The defined rules respect the principle of information dissemination guaranteeing that the produced information reaches all the subscribed consumers. In order to formalize the multi-scale characterization process and to use it in the design process, we have chosen to follow an iterative modeling methodology that captures diverse perspectives of the performance modeling of SoS. We discuss how our approach to modeling supports the specific characteristics of an SoS and illustrate this through a case study, based on the (Integrated Air Defense) IAD scenario, demonstrating how we may obtain correct models within a SoS with emergent properties.

Document type :

Conference papers

Domain :

Computer Science [cs] / Distributed, Parallel, and Cluster Computing [cs.DC]

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01836346
Contributor : Cédric Eichler <>
Submitted on : Thursday, July 12, 2018 - 11:46:54 AM
Last modification on : Saturday, October 12, 2019 - 1:35:13 AM

Multi-scale modeling for software-intensive systems-of-systems architectures

Identifiers

Collections

Citation

Export

Metrics

126

Contact

Multi-scale modeling for software-intensive systems-of-systems architectures

Identifiers

Collections

Citation

Export

Share

Metrics

126

Contact