Host identity protocol based NEMO solutions: an evaluation of the signaling overhead
Résumé
Wireless networking protocols to be utilized in the near future should consider more sophisticated and challenging scenarios where new requirements have to be fulfilled. NEtwork MObility (NEMO) scenarios are an example of these contexts where several nodes moving together are optimally and continuously connected to the Internet through a single entity. On the other hand, despite Host Mobility and NEMO management solutions address different challenges and necessities, NEMO solutions inherit properties of Host Mobility management protocols. Consequently, challenges arise when end-to-end Host Mobility protocols, such as the Host Identity Protocol (HIP) are considered as the basis of the NEMO solution. In this work we present three different HIP based NEMO protocols and provide a formal analysis of their functionalities. In order to evaluate these protocols we propose a mathematical model, which to the best of our knowledge is the first mathematical model defined for analyzing NEMO management solutions. This formal mathematical modeling facilitates the study of different approaches defined by each protocol to cover NEMO scenarios. The proposed model is utilized to analyze scalability support as well as the dependence on additional parameters by means of studying generated signaling load. Obtained results demonstrate that providing global reachability from the outside network leads to an increased generated signaling load. In addition, the results corroborate that renumbering events should be mitigated in order to reduce signaling overhead.
Origine : Fichiers produits par l'(les) auteur(s)