Monitoring Multi-Threaded Component-Based Systems

Hosein Nazarpour 1 Ylìès Falcone 2 Saddek Bensalem 1 Marius Bozga 1 Jacques Combaz 1
2 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper addresses the monitoring of logic-independent linear-time user-provided properties on multi-threaded component-based systems. We consider intrinsically independent components that can be executed concurrently with a centralized coordination for multiparty interactions. In this context, the problem that arises is that a global state of the system is not available to the monitor. A naive solution to this problem would be to plug a monitor which would force the system to synchronize in order to obtain the sequence of global states at runtime. Such solution would defeat the whole purpose of having concurrent components. Instead, we reconstruct on-the-fly the global states by accumulating the partial states traversed by the system at runtime. We define formal transformations of components that preserve the semantics and the concurrency and, at the same time, allow to monitor global-state properties. Moreover, we present RVMT-BIP, a prototype tool implementing the transformations for monitoring multi-threaded systems described in the BIP (Behavior, Interaction, Priority) framework, an expressive framework for the formal construction of heterogeneous systems. Our experiments on several multi-threaded BIP systems show that RVMT-BIP induces a cheap runtime overhead.
Type de document :
Communication dans un congrès
12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland. Proceedings of the 12th International Conference on integrated Formal Methods. 〈http://en.ru.is/ifm/〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01285579
Contributeur : Yliès Falcone <>
Soumis le : mercredi 9 mars 2016 - 14:43:25
Dernière modification le : jeudi 11 octobre 2018 - 08:48:05
Document(s) archivé(s) le : dimanche 13 novembre 2016 - 12:30:15

Fichier

ifm16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01285579, version 1

Collections

Citation

Hosein Nazarpour, Ylìès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz. Monitoring Multi-Threaded Component-Based Systems. 12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland. Proceedings of the 12th International Conference on integrated Formal Methods. 〈http://en.ru.is/ifm/〉. 〈hal-01285579〉

Partager

Métriques

Consultations de la notice

400

Téléchargements de fichiers

133