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 Accéder directement au contenu
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. \\Ce document explique pourquoi l'on ne peut échapper au recours aux modèles d'ordres partiels pour l'algorithmique des systèmes à événements discrets répartis. Dans le présent document nous nous en tenons à la surveillance et ne traitons pas du contrôle. Les techniques présentées ont été utilisées dans un contexte industriel, pour la gestion répartie d'alarmes dans les réseaux de télécommunications.
Fichier principal
Vignette du fichier
PI-1800.pdf (783.22 Ko) Télécharger le fichier

Dates et versions

inria-00068387 , version 1 (11-05-2006)
inria-00068387 , version 2 (16-05-2006)

Identifiants

  • HAL Id : inria-00068387 , version 1

Citer

Eric Fabre, Albert Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. [Research Report] PI 1800, 2006, pp.32. ⟨inria-00068387v1⟩
235 Consultations
251 Téléchargements

Partager

Gmail Facebook X LinkedIn More