Résumé: Nous présentons un outil de validation des aspects statique de la configuration des réseaux en termes de respect des contraintes des protocoles. Ces contraintes concernent la topologie du réseaux et les valeurs numériques de paramétres associés aux chemins empruntés par l'information circulant sur le réseau. Cette validation, intervenant avant installation d'un réseau on avant modification de sa configuration, évite certaines anomalies et les expertises correspondantes en phase opérationnelle. en particulier pour les réseaux hétérogénes. La premiére partie du mémoire présenté le modèle de réseau développé dans l'objectif de réaliser un outil de validation de configuration. La description du modèle de base est suivie par celle des différentes extensions et raffinements possibles. La seconde partie concerne l'étude de la mise en œuvre du modèle dans un contexte d'administration de réseau. Elle comporte entre autre l'approche objet choisie pour la description de l'expertise réseau. La troisième partie présente la maquette logicielle réalisée avec le langage orienté objet Eiffel. Nous mentionnons les difficultés rencontrées, ainsi que les remarques sur l'utilisation du langage Eiffel. En annexe, nous rappelons le modèle de réseau normalisé par l'ISO et les prérequis en langage orienté objet. De plus, un exemple d'algorithme montre la complexité des structures de données manipulées et illustre les problèmes rencontrés lors de l'utilisation du langage Eiffle.

Strasbourg:
Langue: Français
Collation: 231 p. ill. ;30 cm.
Diplôme: Doctorat
Etablissement de soutenance: Strasbourg, Université Louis Pasteur
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Interconnexion de réseaux hétérogénes
Validation de configuration de réseaux
Administration de réseau
Eiffel

Note: Bibliogr. pp.183-188