A temporal configuration logic for dynamic reconfigurable systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

A temporal configuration logic for dynamic reconfigurable systems

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

Résumé

Configuration logics have been proposed for the specification of architectural styles of component-based systems. We use such a logic for the specification and verification of architectural properties of dynamic reconfigurable systems. In particular, we introduce the Temporal Configuration Logic (TCL), a linear time temporal logic built from atomic formulas characterizing system configurations and temporal modalities. We study an effective model-checking procedure based on SMT techniques for a non-trivial fragment of TCL which has been implemented in a prototype runtime verification tool. We provide preliminary experimental results illustrating the capabilities of the tool on two non-trivial benchmark systems.
Fichier principal
Vignette du fichier
main-authorversion.pdf (658.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04106114 , version 1 (21-05-2024)

Identifiants

Citer

Antoine El-Hokayem, Marius Bozga, Joseph Sifakis. A temporal configuration logic for dynamic reconfigurable systems. SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event, Republic of Korea, South Korea. pp.1419-1428, ⟨10.1145/3412841.3442017⟩. ⟨hal-04106114⟩
18 Consultations
17 Téléchargements

Altmetric

Partager

More