Conception et specification de protocoles de communication pour applications temps reel
Institution:
NantesDisciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Le but de cette these est d'etudier des protocoles de communication adaptes au temps reel. Elle comprend donc une introduction aux systemes temps reel, dans l'optique des concepteurs de protocoles de communication, temps reel. Puis les criteres de choix de protocoles (en particulier fiabilite et efficacite) qui ont ete retenus seront explicites, suivis d'une classification des protocoles generaux les plus repandus avec les avantages et les defauts qu'ils presentaient pour nous. Le troisieme chapitre veut faire le point sur l'etat de la recherche en matiere de protocoles de communication specifiques au temps reel, en clarifiant les controverses qui ont actuellement cours dans ce domaine: determinisme, fiabilite, efficacite. Enfin, les deux derniers chapitres presentent les protocoles concus dans le cadre de l'equipe temps reel, sous forme de specifications en estelle et en reseaux de nutt: ces protocoles sont respectivement un protocole d'acces fiable a priorites (deterministe) et un protocole de diffusion fiable utilisable pour la reconfiguration