Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

Abstract : This paper addresses the monitoring of logic-independent linear-time user-provided properties in 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 in a monitor which would force the system to synchronize in order to obtain the sequence of global states at runtime. Such a 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 transformations of components that preserve their semantics and con-currency 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 :
Article dans une revue
Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.951 - 986. 〈10.1007/s00165-017-0422-6〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01653883
Contributeur : Yliès Falcone <>
Soumis le : dimanche 14 janvier 2018 - 08:18:16
Dernière modification le : mercredi 11 avril 2018 - 02:00:01
Document(s) archivé(s) le : dimanche 15 avril 2018 - 12:14:58

Fichier

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

Identifiants

Citation

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga. Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.951 - 986. 〈10.1007/s00165-017-0422-6〉. 〈hal-01653883〉

Partager

Métriques

Consultations de la notice

110

Téléchargements de fichiers

27