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

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.
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

Identifiers

Citation

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⟩

Share

Metrics

Record views

126