A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis - IMAG Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis

Antoine El-Hokayem
  • Fonction : Auteur
Saddek Bensalem
  • Fonction : Auteur
Marius Bozga
  • Fonction : Auteur
Joseph Sifakis
  • Fonction : Auteur

Résumé

Reconfigurable systems are emerging in many application domains as reconfiguration can be used to cope with unpredictable system environments and adapt by delivering new functionality. The Dynamic Reconfigurable BIP (DR-BIP) framework is an extension of the BIP component framework enriched with dynamic exogenous reconfiguration primitives, intended to support rigorous modeling of reconfigurable systems. We present a new two-layered implementation of DR-BIP clearly separating between execution of reconfiguration operations and execution of a fixed system configuration. Such a separation of concerns offers the advantage of using the mature and efficient BIP engine as well as existing associated analysis and verification tools. Another direct benefit of the new implementation is the possibility to monitor a holistic view of a system's behavior captured as a set of traces involving information about both the state of the system components and the dynamically changing architecture. Monitoring and analyzing such traces poses interesting questions regarding the formalization and runtime verification of properties of reconfigurable systems.
Fichier principal
Vignette du fichier
SEFM.pdf (433.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04104591 , version 1 (24-05-2023)

Identifiants

Citer

Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis. A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. International Conference on Software Engineering and Formal Methods, SEFM 2020, Sep 2020, Amsterdam, Netherlands. pp.284-302, ⟨10.1007/978-3-030-58768-0_16⟩. ⟨hal-04104591⟩
8 Consultations
22 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More