Mécanismes de fiabilisation pro-actifs - ISAE

3.5. Modélisation du mode Fiable 63Le calcul du temps de resynchronisation moyen suite à une perte initiale est identiqueà celui du mode Unidirectionnel.Il reste alors à déterminer l'ecacité moyenne de la compression en mode Optimiste.Par dénition, la couche de compression protocolaire implique un taux de perteen sortie égal à P ER, ce qui en d'autres termes se traduit par le fait, qu'en moyenne leprotocole de compression se trouve dans un état nominal avec la probabilité (1 P ER)et dans un état d'échec avec la probabilité P ER. Durant cet état nominal, seuls despaquets SO sont envoyés, et lorsque le protocole est en échec, le mécanisme présentéci-dessus est appliqué. Dans cet état, des paquets SO et des paquets FO sont envoyés.Dans le mode O, ainsi que dans le mode R, des paquets FO sont envoyés si etseulement si le contexte n'est pas récupéré suite à la réception du premier paquet SOsuivant la perte initiale. En eet, si le contexte est récupéré, le compresseur ne reçoitpas d'acquittement négatif et continue alors d'envoyer de manière transparente desen-têtes compressés. La probabilité de non-récupération p NOK étant alors :p NOK =1∑(1 ) n 1 (1 P (n))n=1Il reste alors à déterminer le nombre moyen n F O de paquets FO envoyés lorsquele contexte n'est pas récupéré. En suivant le mécanisme présenté précédemment, si lecontexte est invalidé, alors au moins une salve F O est envoyée ainsi que de nouvellessalves jusqu'à réception d'une salve FO, chaque salve ayant une probabilité de perteégale à p nRT T(NG=init = OK)(1 ) F 1 . Dans ce cas, nous avons :n F O = F +1∑k=1kF ¢ ( ) k(1 ) F 1 p nRT T(NG=init = OK)L'ecacité moyenne de la compression du mode Optimiste est alors dénie par :e = (1 P ER)l SO + P ER ¢ p NOK ¢ n F O ¢ l F O(1 P ER + P ER ¢ p NOK ¢ n F O ) ¢ l IR3.5 Modélisation du mode FiableLe comportement du mode Fiable est très proche de celui du mode Optimiste, laseule diérence étant le traitement d'un acquittement négatif. Là où le mode Optimiste,suite à la réception d'un NACK, envoie une salve FO puis repart sur des en-têtesSO, le mode Fiable attend la réception d'un acquittement positif pour retourner dansl'état SO.Les seules diérences entre ces deux modes concernent alors le calcul de Z et den F O , les autres élément étant alors identiques à ceux du mode Optimiste.Tout comme le mode Optimiste, la probabilité de non-réception par le décompresseurdu premier paquet FO est p nRT T(NG=init = OK). La valeur de Z suit alors la loigéométrique :