Abstract FR:

Cette these est consacree a l'etude de la realisation d'un simulateur de reseaux atm. Ce travail s'inscrit dans le cadre du projet mime du programme race (research and development in advanced communications technologies in europe). L'objectif d'un tel systeme est de fournir la possibilite de modeliser les differentes fonctions d'un gestionnaire de reseau et de les simuler dans diverses configurations (trafic et topologie). Dans une premiere partie, nous presentons les principes fondamentaux de l'atm afin de degager les fonctionnalites que doit supporter notre simulateur. Le modele de simulation, a base de processus et de messages, est ensuite etudie ainsi que les differentes techniques necessaires a son implementation dans un environnement distribue. Dans une seconde partie, nous justifions l'utilisation de notre environnement materiel (constitue d'un reseau de transputer) et du langage de programmation choisi (un langage dit asynchrone). Nous decrivons les differentes contraintes liees a cet environnement. L'architecture generale du systeme est ensuite abordee, avec d'un cote le modele de reseau de communication, et, de l'autre cote, le modele de nud atm. Nous proposons des mecanismes efficaces de synchronisation et de communication entre les differents modules de l'application. La modelisation et les techniques d'implementation des composants y sont aussi etudies. Le systeme realise est modulaire, adaptable, flexible et performant. Dans la derniere partie, nous degageons quelques faiblesses de cette realisation, en particulier les problemes de deverminage et de validation de notre systeme, dus a l'entrelacement indeterministe des differents processus. Nous proposons alors deux autres techniques d'implementation pour le modele de nud atm, l'une basee sur esterel (qui est un langage imperatif synchrone) et l'autre basee sur les flux de donnees synchrones. Nous montrons qu'il est possible de realiser un ordonnancement deterministe pour le modele de nud atm. Ainsi, ce dernier peut etre valide formellement a la compilation, ce qui facilite le test et le deverminage du systeme dans son ensemble