Title :
Modelling and Simulating IPv6 Mobility
Author :
Lei, Xu ; Kim, Yong Soo ; Lai, Richard
Author_Institution :
La Trobe Univ., Melbourne
Abstract :
Mobile Internet Protocol version 6 (IPv6) is a protocol enhancement that is designed to allow transparent routing of IPv6 packets to mobile nodes. Without specific support for mobility in IPv6, packets destined to a mobile node would not be able to reach it while the mobile node is away from its home link. Mobility support in IPv6 is particularly important, as mobile computers are likely to account for a majority or at least a substantial fraction of the population of the Internet during the lifetime of IPv6. This paper describes a modelling of the IPv6 mobility using Estelle, an internationally standardised Formal Description Technique (FDT), and its simulation using the Estelle Development Toolset.
Keywords :
Internet; formal specification; mobile computing; mobility management (mobile radio); packet switching; specification languages; transport protocols; Estelle development toolset; IPv6 mobility modelling; IPv6 mobility simulation; Mobile Internet Protocol version 6; formal description; mobile computers; mobile nodes; packet transparent routing; Computational modeling; Computer science; Computer simulation; Information technology; Internet; Mobile communication; Mobile computing; Natural languages; Routing protocols; Space technology;
Conference_Titel :
Computer and Information Technology, 2007. CIT 2007. 7th IEEE International Conference on
Conference_Location :
Aizu-Wakamatsu, Fukushima
Print_ISBN :
978-0-7695-2983-7
DOI :
10.1109/CIT.2007.68
