Diagnostic de pannes dans les réseaux : approche à base de modèles et raisonnement temporel

• Auteur / Autrice : Aomar Osmani
• Direction : François Lévy
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1999
• Etablissement(s) : Paris 13

Mots clés

Mots clés contrôlés

Systèmes experts (informatique)

Contraintes (intelligence artificielle)

Systèmes informatiques -- Pannes

Résumé

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.