A Bigraphical Multi-scale Modeling Methodology for System of Systems

Abstract : In this paper, we present a multi-scale modeling methodology for software System of Systems (SoS) using the formal technique of Bigraphical Reactive System. This methodology provides a correct by design approach ensuring the correctness of the SoS architectures. A first scale is defined by the designer. Then, it is refined by successively adding lower scale details. The transition between scales is implemented following a rule-oriented refinement process. The executed rules respect the system constraints ensuring, in this way, the correctness of the obtained scale architectures. Moreover, we address the dynamic aspect of SoS by providing model-based rules of reconfiguration actions. We illustrate our approach with a Smart Buildings case study.
Type de document :
Article dans une revue
Computers and Electrical Engineering, Elsevier, 2017, 58, pp.PP.113-125. 〈http://www.sciencedirect.com〉. 〈10.1016/j.compeleceng.2017.01.016〉
Liste complète des métadonnées

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

https://hal.laas.fr/hal-01471315
Contributeur : Ismael Bouassida Rodriguez <>
Soumis le : jeudi 23 février 2017 - 15:50:45
Dernière modification le : mercredi 28 février 2018 - 10:23:12
Document(s) archivé(s) le : mercredi 24 mai 2017 - 12:11:50

Fichier

CEE_AG.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira. A Bigraphical Multi-scale Modeling Methodology for System of Systems. Computers and Electrical Engineering, Elsevier, 2017, 58, pp.PP.113-125. 〈http://www.sciencedirect.com〉. 〈10.1016/j.compeleceng.2017.01.016〉. 〈hal-01471315〉

Partager

Métriques

Consultations de la notice

118

Téléchargements de fichiers

137