A Maude-based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2020

A Maude-based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation

Résumé

Systems-of-Systems (SoSs) are increasingly used to integrate and execute a large number of Constituent-Systems (CSs) to offer new functionalities that cannot be offered by its individual CSs. However, designing well-tuned directed SoS to deal with a variety of control issues such as resources management and temporal constraints violations while providing high-level assurance about their specified behavior is very challenging. Thus, due to the lack of explicit models for their resources allocations and quantitative features, SoSs executions are becoming more complex and cannot be effectively controlled. To solve these problems, a generic metamodel is proposed in this paper to control resources and behavioral features. The proposed approach deals with different resources of SoSs and provides control actions in order to manage their structural, temporal and behavioral aspects. The latter are grouped in a single model holding SoSs executions according to specific quantitative needs. One step further, the specifications of the proposed metamodel are encoded using Maude language that makes it possible to analyze various requirements needed by CSs, and enables an autonomic executability of their dynamic behaviors.
Fichier principal
Vignette du fichier
Submitted paper DETECT'22.pdf (925.42 Ko) Télécharger le fichier

Dates et versions

hal-04227362 , version 1 (22-03-2024)

Identifiants

Citer

Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala. A Maude-based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. moDdeling, vErification and Testing of dEpendable Critical systems DETECT2022, 2020, ⟨10.4018/ijsi.2020010103⟩. ⟨hal-04227362⟩

Collections

UNIV-PAU LIUPPA
4 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More