Modelling and Simulating IPv6 Mobility

Author

Lei, Xu ; Kim, Yong Soo ; Lai, Richard

Author_Institution

La Trobe Univ., Melbourne

fYear

2007

fDate

16-19 Oct. 2007

Firstpage

381

Lastpage

386

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CIT.2007.68

Filename

4385111