Tracing Distributed Component-Based Systems, a Brief Overview - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Tracing Distributed Component-Based Systems, a Brief Overview

Hosein Nazarpour
  • Fonction : Auteur
  • PersonId : 1004405
Mohamad Jaber
  • Fonction : Auteur
  • PersonId : 885030
Marius Bozga
Saddek Bensalem

Résumé

We overview a framework for tracing asynchronous distributed component-based systems with multiparty interactions managed by distributed schedulers. Neither the global state nor the total ordering of the system events is available at runtime. We instrument the system to retrieve local events from the local traces of the schedulers. Local events are sent to a global observer which reconstructs on-the-fly the global traces that are compatible with the local traces, in a concurrency-preserving and communication-delay insensitive fashion. The global traces are represented as an original lattice over partial states, such that any path of the lattice projected on a scheduler represents the corresponding local partial trace according to that scheduler (soundness), and all possible global traces of the system are recorded (completeness).
Fichier principal
Vignette du fichier
rv18-3.pdf (202.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01882412 , version 1 (21-10-2018)

Identifiants

  • HAL Id : hal-01882412 , version 1

Citer

Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem. Tracing Distributed Component-Based Systems, a Brief Overview. Proceedings of the 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. ⟨hal-01882412⟩
185 Consultations
212 Téléchargements

Partager

Gmail Facebook X LinkedIn More