Distributed Monitoring of Temporal System Properties using Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Distributed Monitoring of Temporal System Properties using Petri Nets

Résumé

Supervising a system in operation allows to detect a violation of system specification or temporal properties, and is the first step required by any reconfiguration mechanism. In this work, we focus on run-time verification of temporal system properties in distributed and real- time systems. Based on a description of a property that includes events and temporal constraints, expressed as an arc timed Petri net, we automatically derive a monitoring system responsible for checking this property. The proposed approach enables the distributed verification of system properties. Our contribution is twofold. On the theoretical side, we introduce a slight modification of the semantics of Petri nets to be able to execute it in partial executions and noisy observation environments. On the practical side, we show how to use this formal framework to provide a distributed and efficient monitoring system, and describe its current implementation.
Fichier principal
Vignette du fichier
srds.pdf (89.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01015494 , version 1 (26-06-2014)

Identifiants

  • HAL Id : hal-01015494 , version 1

Citer

Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy. Distributed Monitoring of Temporal System Properties using Petri Nets. 31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p. ⟨hal-01015494⟩
115 Consultations
180 Téléchargements

Partager

Gmail Facebook X LinkedIn More