ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/1-3 - 2005  - pp.351-365  - doi:10.3166/jesa.39.351-365
TITRE
Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels

RÉSUMÉ
La supervision et le diagnostic dans les systèmes répartis temps-réel est une question d'une grande actualité. Dans cet article, nous présentons le problème de la supervision comme la reconstruction des histoires cachées d'un modèle temporel, à partir de l'observation répartie d'événements. Nous utilisons une approche fondée sur une sémantique d'ordre partiel des réseaux de Petri temporels.


ABSTRACT
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g. alarm) observations. We follow a so-called true concurrency approach using time Petri nets: the model defines explicitly the causal and concurrency relations between the observable events, produced by the system under supervision on different points of observation, and constrained by time aspects.


AUTEUR(S)
Claude JARD, Thomas CHATAIN, Pierre BOURHIS

MOTS-CLÉS
supervision, diagnostic, systèmes répartis, réseaux de Petri temporels.

KEYWORDS
supervision, diagnosis, distributed systems, time Petri nets.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (594 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier