Abstract FR:

La thèse se situe dans le cadre de la construction d'un système d'aide à la supervision de réseaux de télécommunications qui soit à la fois efficace et générique. L'architecture proposée pour cela par le projet GASPAR comporte une approche à base de modèles pour générer automatiquement un système de supervision à base de règles. Nous nous sommes intéressé principalement à la modélisation et à la simulation du comportement du réseau. Nous avons amélioré quelques aspects de la modélisation utilisée et propose des algorithmes permettant de réduire l'explosion combinatoire due à l'incertitude sur l'ordre des événements. Nous avons mis en oeuvre ces analyses dans notre logiciel AUTMODSIM. Nous avons également introduit une approche d'apprentissage à partir d'exemples utilisant le formalisme d'intervalles généralisés. Nous avons accordé une grande importance dans notre travail à la gestion des informations temporelles. D'abord, dans le cadre du projet GASPAR, où nous avons proposé des algorithmes de simulation prenant en compte les informations temporelles imprécises. Puis, dans un cadre plus général du raisonnement sur le temps utilisant les techniques de satisfaction de contraintes où nous avons proposé deux formalismes : le raisonnement sur les intervalles généralisés et le raisonnement sur les intervalles décrits sur un cercle.