A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis - IMAG Access content directly
Conference Papers Year : 2020

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

Antoine El-Hokayem
  • Function : Author
Saddek Bensalem
  • Function : Author
Marius Bozga
  • Function : Author
Joseph Sifakis
  • Function : Author

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
1 View
5 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More