Surveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporels
Résumé
Nous proposons une nouvelle approche de surveillance pour les SEDs qui permet d'exploiter le facteur temps dans un contexte d'observabilité partielle sur le comportement du système. Comme pour les principales approches de surveillance existantes, nous partons d'un modèle comportemental du système. Il s'agit ici d'un modèle de type réseau de Petri T-temporel (RdPT). Notre approche propose la construction d'un estimateur d'état à partir du graphe de classes d'état du système selon un algorithme que nous avons développé. L'estimateur, de par sa structure, met en évidence les conséquences perceptibles ou non de l'occurrence des différents scénarios évènementiels possibles dans le système. Un algorithme de suivi permet par ailleurs, en ligne, de vérifier la normalité du comportement et de retrouver les éventuelles défaillances qui peuvent se produire dans le système. Le dernier volet de notre étude concerne le développement de métamodèles UML pour la synthèse des relations fonctionnelles dans un système donné. L'objectif étant d'apporter une contribution dans une approche plus globale de construction de modèles pour la surveillance.