Francuski
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.
