Monitoring Multi-Threaded Component-Based Systems
| Autor: | Marius Bozga, Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Jacques Combaz |
|---|---|
| Přispěvatelé: | VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Compiler Optimization and Run-time Systems (CORSE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Artemis ARROWHEAD, COST Action ARVI IC1402, European Project: 332987,EC:FP7:SP1-JTI,ARTEMIS-2012-1,ARROWHEAD(2013), European Project: COST Action IC1402,COST - European Cooperation in Science and Technology,ARVI(2014) |
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
Sequence
Semantics (computer science) business.industry Computer science Concurrency Distributed computing 020207 software engineering Context (language use) 0102 computer and information sciences 02 engineering and technology [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Multi threaded 01 natural sciences 010201 computation theory & mathematics Embedded system Component (UML) 0202 electrical engineering electronic engineering information engineering Overhead (computing) [INFO.INFO-ES]Computer Science [cs]/Embedded Systems State (computer science) business |
| Zdroj: | 12th International Conference on integrated Formal Methods 12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland Lecture Notes in Computer Science ISBN: 9783319336923 IFM |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|