Abstract FR:

L'objet de cette these est la construction d'un systeme d'aide a la supervision du reseau de telecommunication transpac qui soit a la fois efficace et generique. Deux methodes, s'appuyant sur des techniques a base de modeles, sont proposees. La premiere utilise le modele en simulation, et s'appuie sur une phase de discrimination pour construire des scenarios caracteristiques pour toutes les pannes du reseau. La deuxieme repose sur des techniques abductives dans le sens ou le modele du reseau est inverse pour permettre de passer directement des effets aux causes de dysfonctionnement. Dans chacune de ces methodes, la genericite provient de l'utilisation d'un modele, et l'efficacite, du traitement hors ligne de ce dernier (construction des scenarios ou inversion du modele). Ce travail a ete effectue dans le cadre d'un contrat cnet/france telecom et en collaboration avec les chercheurs de l'institut galilee (universite paris nord). Il a permis la definition d'un systeme de supervision appele gaspar dont nous decrivons et motivons l'architecture. Nos principales contributions sont la mise en place d'un module proposant la construction d'un modele du reseau adapte au probleme de supervision (par composition des automates communicants representant le fonctionnement de composants elementaires) et l'adaptation de techniques classiques de raisonnements a base de modeles a des systemes evolutifs. Un prototype du systeme a ete developpe et implemente le module de modelisation ainsi que le module de simulation qui fait l'objet de la these de s. Bibas. Il a ete teste sur les fichiers d'alarmes mis a notre disposition par le cnet