Abstract FR:

Cette thèse présente une méthodologie pour construire des scénarios à partir du modèle comportemental d'un système. Ces scénarios sont une compilation du modèle. Le modèle utilisé est le système de pièces qui permet d'exprimer les notions de concurrence et de non-déterminisme, ce qui est particulièrement adapté aux systèmes répartis. Pour construire les scénarios, nous proposons de raffiner temporellement le formalisme des pièces, puis nous lui associons une sémantique d'ordre partiel. Cette méthodologie a été testée sur un modèle de dysfonctionnement d'un réseau de télécommunication. La reconnaissance en ligne des scénarios obtenus constituera le diagnostic du réseau. Dans le cadre du diagnostic, l'approche proposée utilise les avantages de deux approches : la reconnaissance de scénarios qui permet de traiter en temps réel un grand nombre d'événements et le diagnostic à base de modèle qui présente l'avantage de s'adapter facilement aux changements de structure du système.