Nous proposons une nouvelle approche de surveillance pour les SEDs qui permet d?exploiter le facteur temps dans un contexte d?observabilite partielle sur le comportement du systeme. Comme pour les principales approches de surveillance existantes, nous partons d?un modele comportemental du systeme. Il s?agit ici d?un modele de type reseau de Petri T-temporel (RdPT). Notre approche propose la construction d?un Estimateur d?etat a partir du graphe de classes d?etat du systeme selon un algorithme que nous avons developpe. L?Estimateur, de par sa structure, met en evidence les consequences perceptibles ou non de l?occurrence des differents scenarios evenementiels possibles dans le systeme. Un algorithme de suivi permet par ailleurs, en ligne, de verifier la normalite du comportement et de retrouver les eventuelles defaillances qui peuvent se produire dans le systeme. Le dernier volet de notre etude concerne le developpement de metamodeles UML pour la synthese des relations fonctionnelles...

Под заказ:
	OZON.ru - 6810 руб.	Перейти

Рейтинг книги: 5 из 5, 4 голос(-ов).