Mécanismes de fiabilisation pro-actifs - ISAE

64 Chapitre 3. Modélisation d'un protocole de compression d'en-têtesZ =1∑i=1(1 ) i 1 p nRT T(NG=init = OK) ¢ i = p n RT T(NG=init = OK)Le nombre moyen n F O de paquets FO envoyés lorsque le contexte n'a pu êtrerécupéré est ici très simple à déterminer. En eet, le compresseur va envoyer despaquets F O dès qu'il reçoit un acquittement négatif, et ce, jusqu'à ce qu'il reçoive unacquittement positif. Ceci correspond alors au nombre de paquets transmis durant unRTT, ainsi que le nombre moyen de paquets Z avant que le décompresseur ne reçoiveun de ces paquets FO :n F O = n RT T + Z = n RT T + p n RT T(NG=init = OK)En remplaçant ces deux valeurs dans les résultats du mode O, on obtient lesrésultats sur les métriques souhaités.3.6 Instantiations du modèle3.6.1 Instantiation par le protocole ROHCNous nous proposons de paramétrer ce modèle en utilisant certains mécanismes deROHC. Pour cela, an de correspondre au protocole, nous supposons que les paquetsde type UOR-2 de ROHC font ici partie des paquets SO et non des FO. Nous prenonscette hypothèse car le comportement de ce type de paquets est similaire à celui despaquets SO de notre modèle.Nous proposons d'implémenter le mécanisme W-LSB de ROHC par la fonction derécupération P (¡) suivante :{P (¡) = 1si ¡ WP (¡) = a ¡ W si ¡ > W; a 1Le premier cas se justie par le fait que le mécanisme W-LSB garantit une récupérationdu contexte si tant est que le paquet reçu est à une distance moindre que lataille de la fenêtre glissante W , de la perte initiale. Lorsque la distance dépasse la taillede la fenêtre, le décodage n'est plus garanti. Nous avons pris l'hypothèse de modéliserce cas par une fonction géométrique décroissante par rapport à cette distance, quipermet de modéliser le taux de réussite de plus en plus faible du W-LSB lorsque ladistance à la perte initiale augmente.Ceci nous permet notamment de déterminer les valeurs des ecacités et de pourles modes O et R du modèle. Ainsi p NOK devient :W a(1 )Wp NOK = (1 )1 a(1 )La valeur de dans le cas Optimiste étant ainsi :