A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systemsof-Systems - Université de Pau et des Pays de l'Adour Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systemsof-Systems

Résumé

Systems-of-Systems (SoSs) are increasinglyutilized to integrate multiple Constituent-Systems (CSs) andfulfill missions surpassing the capabilities of individual systems.Successful mission execution relies on effective management oftime and resources. Time constraints denote the timeframeswithin these missions must be completed, and resourceconstraints involve the allocation of necessary resources forexecution. Addressing these dynamic behavior factors in SoSsposes significant challenges and necessitates the adoption ofcontrol strategies for efficient coordination and execution ofmissions. To confront these challenges, this paper introduces anovel hybrid approach, merging an MDA technique (TRC-MM:Time-Resource Aware Control Meta-model) and Maudelanguage to formally specify and control missions. Thisapproach specifically incorporates time-resource awaremissions, resource dependencies, and control mechanisms in thededicated TRC-MM. Further, RT-Maude is utilized as theformal specification language to develop an executable formalmodel for the controller’s behavior in SoSs’ missions, offering apowerful analysis method to express and verify behavioralproperties pertaining to time and resource constraints.
Fichier principal
Vignette du fichier
WETIC.pdf (996.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04510783 , version 1 (19-03-2024)

Identifiants

  • HAL Id : hal-04510783 , version 1

Citer

Charaf Eddine, Nabil Hameurlain, Faiza Belala. A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systemsof-Systems. 31th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2023), Dec 2023, Saclay (92), France. ⟨hal-04510783⟩

Collections

UNIV-PAU LIUPPA
5 Consultations
5 Téléchargements

Partager

Gmail Facebook X LinkedIn More