Abstract FR:

Cette these se situe dans le contexte du reseau metropolitain dqdb et son objet est de specifier, modeliser et evaluer des mecanismes d'un service de communication temps reel pour du trafic isochrone oriente connexion. Le mecanisme qa (queue arbitrated), qui est le mecanisme de base du reseau dqdb pour l'acces au bus, est tout d'abord analyse sur la base du modele reseaux de petri temporises stochastiques. Une technique de modelisation structuree, qui permet de maitriser la complexite de la modelisation, est, en particulier, definie. Ensuite, un environnement pour supporter des communications temps reel, sur la base de l'acces pa (pre-arbitrated), est specifie. Il consiste en: une strategie d'ordonnancement centralise de connexions et un couple service-protocole pour l'ouverture et la fermeture de connexions. La strategie d'ordonnancement est basee sur deux algorithmes: un algorithme d'ordonnancement hors-ligne qui est une version discrete de l'algorithme rate monotonic et un algorithme de changement en-ligne d'une sequence temporelle (changement de mode). La correction de l'algorithme de changement de mode a ete prouvee (ni perte, ni duplication de trames). Enfin le couple service-protocole pour etablir et fermer les connexions, c'est-a-dire allouer et liberer la bande passante, est specifie en termes de primitives de service et de pdus. Le couple service-protocole est modelise successivement avec les reseaux de petri etiquetes et les reseaux de petri temporises stochastiques. Le premier modele permet de faire une analyse qualitative des mecanismes d'echange specifies. Le deuxieme modele permet l'evaluation des temps d'ouverture et de fermeture des connexions