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.
[1]
Jon Postel,et al.
Internet Protocol
,
1981,
RFC.
[2]
Iso. Lotos,et al.
A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
,
1985
.
[3]
Niklaus Wirth.
The programming language pascal
,
2004,
Acta Informatica.
[4]
Bjarne Stroustrup,et al.
C++ Programming Language
,
1986,
IEEE Softw..
[5]
Stephen Deering,et al.
Internet Protocol Version 6(IPv6)
,
1998
.
[6]
Stephen E. Deering,et al.
Internet Protocol, Version 6 (IPv6) Specification
,
1995,
RFC.
[7]
John F. Wakerly,et al.
The programming language PASCAL
,
1979,
Microprocessors and microsystems.