作者: Fabrice Huet
DOI:
关键词:
摘要: Cette these a pour sujet la mobilite faible des applications et en particulier communication entre entites mobiles. Nous nous sommes tout d'abord interesses aux relations existant le paradigme objets actifs celui De nombreux protocoles assurer les communications mobiles ont ete decrits dans litterature mais leurs performances n'ont jamais etudiees formellement. avons isole proprietes permettant de classer trois familles~: poste restante, recherche routage. Apres avoir choisi deux utilises bibliotheques Java, entrepris leur etude l'aide chaines Markov, but etant pouvoir determiner temps moyen necessaire communiquer avec un agent mobile. Le mecanisme repeteurs est represente d'une chaine espace d'etats infini. pu exprimer metriques: reponse du systeme nombre repeteurs. cas serveur necessite l'analyse fini qui resolue numeriquement. Pour valider nos modeles utilise simulateur evenements discrets puis, mene experimentations sur reseau local regional. Les resultats compares ceux obtenus theoriquement ce permis montrer que sont fait acceptables. Il donc possible utiliser predire performances. Enfin, terminons travail par presentation d'un nouveau protocole utilisant duree vie limitee serveur. montrons qu'il d'obtenir bonnes sans aspects negatifs precedents.