Abstract FR:

Nous presentons un outil de validation des aspects statiques de la configuration des reseaux en terme de respect des contraintes de protocoles. Ces contraintes concernent la topologie du reseau et les valeurs numeriques de parametres associes aux chemins empruntes par l'information circulant sur le reseau. Cette validation, intervenant avant installation d'un reseau ou avant modification de sa configuration, evite certaines anomalies et les expertises correspondantes en phase operationnelle, en particulier pour les reseaux heterogenes. La premiere partie du memoire presente le modele de reseau developpe dans l'objectif de realiser un outil de validation de configuration. La description du modele de base est suivie par celle des differentes extensions et raffinements possibles. La seconde partie concerne l'etude de la mise en uvre du modele dans un contexte d'administration de reseau. Elle comporte entre autre l'approche objet choisie pour la description de l'expertise reseau. La troisieme partie presente la maquette logicielle realisee avec le langage oriente objet eiffel. Nous mentionnons les difficultes rencontrees, ainsi que des remarques sur l'utilisation du langage eiffel. En annexe, nous rappelons le modele de reseau normalise par l'iso et les prerequis en langage oriente objet. De plus, un exemple d'algorithme montre la complexite des structures de donnees manipulees et illustre les problemes rencontres lors de l'utilisation du langage eiffel