Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2006

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them

Résumé

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly scale up to such systems is a challenge. In this paper we explain why the use of partial orders cannot be avoided in order to achieve this objective. To support this claim, we try to push classical techniques (parallel composition of automata and languages) to their limits. We focus on on-line techniques, where a key difficulty is the choice of proper data structures to represent the set of all runs of a distributed system. We discuss the use of previously known structures such as execution trees and unfoldings. We propose an alternative and more compact data structure called trellis. We study the apparatus needed to extend the use of these data structures to represent distributed executions. And we show how such data structures can be used in performing distributed monitoring and diagnosis. The techniques reported here were used in an industrial context for fault management and alarm correlation in telecommunications networks. This report served as a support for a plenary address that was given by the second author at WODES'2006.
Fichier principal
Vignette du fichier
RR-5916.pdf (3.84 Mo) Télécharger le fichier

Dates et versions

inria-00077535 , version 1 (31-05-2006)
inria-00077535 , version 2 (20-06-2007)

Identifiants

  • HAL Id : inria-00077535 , version 1

Citer

Eric Fabre, Albert Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. [Research Report] RR-5916, 2006, pp.38. ⟨inria-00077535v1⟩

Collections

INRIA-RRRT
154 Consultations
140 Téléchargements

Partager

More