Mécanismes de fiabilisation pro-actifs - ISAE

48 Chapitre 3. Modélisation d'un protocole de compression d'en-têtesdu contexte non-statique de manière non compressée. L'état normal du compresseurest l'état SO où les en-têtes les plus petits possibles sont transmis.Il reste alors à dénir les conditions permettant au récepteur de récupérer uncontexte perdu, suite à un paquet antérieur non reçu. Lorsque un paquet de typeIR ou FO est reçu par le décompresseur, nous considérons que celui-ci permet derécupérer ce contexte et de délivrer de nouveaux paquets, car dans ce cas, l'ensembledu contexte non-statique est transporté.Lorsque le contexte est désynchronisé est que le récepteur ne reçoit que de nouveauxpaquets SO, la récupération n'est pas garantie, et est, comme nous l'avons vudans le chapitre précédent, soumis aux performances des algorithmes de récupérationmis en place (TWICE, W-LSB, ...). Il est également admissible que, plus la distanceentre le premier paquet SO reçu et la perte initiale est grande, plus l'algorithme derécupération aura de chances d'échouer. Nous modéliserons alors ce comportementgrâce à une probabilité P (¡) décroissante en ¡, où représente la distance du premierpaquet SO reçu à la perte initiale. Notons par ailleurs que si cette récupération sur unpremier paquet SO échoue, nous considérons qu'il est alors impossible de récupérercelui-ci via un paquet SO postérieur, ce qui semble une hypothèse raisonnable, dansla mesure ou son contexte sera encore plus lointain que le contexte du premier SOreçu du contexte de la perte initiale.Nous nous proposons d'étudier et de comparer ce modèle sur trois scénarios. Toutd'abord un premier mode nommé Unidirectionnel (U) sans voie de retour, où les transitionsdu compresseur sont basées sur des timers. Un second mode appelé Optimiste(O) qui sera composé de timers pour les transitions ascendantes et de réception d'acquittementsnégatifs pour la voie descendante du compresseur, et enn un derniermode Fiable (R) basé uniquement sur les acquittements du récepteur.Nous proposons trois métriques pour évaluer et comparer ces diérents modes.Tout d'abord, nous essaierons de déterminer , le nombre moyen de pertes imputablesà la couche de compression suite à une perte de paquets en entrée. Nous tenteronségalement de déterminer e dénit comme l'ecacité pratique de la compression, oùle rapport de l'en-tête moyen à la taille de l'en-tête non compressé. Enn la dernièremétrique qui nous a semblé pertinente est celle du délai moyen de resynchronisation,lié à suite à une perte de paquets.3.3 Modélisation du mode UnidirectionnelPour le mode Unidirectionnel, les transitions entre les diérents états se fontgrâce à des timers. En considérant que le débit de transmission est constant, on peutalors, de manière équivalente, considérer que le compresseur envoie un nombre xe depaquets d'un même état/type avant de transiter vers son prochain état. Dans la suite,nous appellerons l'ensemble de ces paquets une salve. Chaque état diérent est alorsassocié avec une longueur propre de salve que nous appellerons respectivement I, F etS pour les états IR, FO et SO. Par ailleurs nous prenons l'hypothèse que les transitions