Multi-scale modeling for software-intensive systems-of-systems architectures - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-01836346 , version 1 (12-07-2018)

Identifiants

Citer

Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem. Multi-scale modeling for software-intensive systems-of-systems architectures. International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture , Nov 2016, Copenhagen, Denmark. 6p., ⟨10.1145/3175731.3176179⟩. ⟨hal-01836346⟩
135 Consultations
0 Téléchargements

Altmetric

Partager

More