CPN modeling and analysis of HMIPv6 | |
Lei Peng ; Lei Wu ; Yalan Ye ; Fengqi Yu ; Hai Yuan | |
2007 | |
会议名称 | Proceedings of the 2007 IEEE International Conference on Integration Technology |
会议地点 | Shenzhen, China |
英文摘要 | Hierarchy Mobile IPv6 (HMIPv6) is a scheme for micro mobility management to help basic Mobile IP reduce the signal cost and the packet loss during the periods of handover. In this paper, we describe and analyze the protocol based on, instead of the conventional ways of message sequence charts, but the Colored Petri Net (CPN). CPN is suitable to model a system from the dynamic perspective and has the ability to analyze it in a formal way. The CPN based modeling of HMIPv6 is built in this paper, highlighting the mechanism of packet forwarding and micro mobility management. The model is also analyzed by means of the occurrence graph (OG), through which we find an exceptional state would cause packet loss in the seamless handover algorithm used in HMIPv6. |
收录类别 | EI |
语种 | 英语 |
内容类型 | 会议论文 |
源URL | [http://ir.siat.ac.cn:8080/handle/172644/2045] ![]() |
专题 | 深圳先进技术研究院_集成所 |
推荐引用方式 GB/T 7714 | Lei Peng,Lei Wu,Yalan Ye,et al. CPN modeling and analysis of HMIPv6[C]. 见:Proceedings of the 2007 IEEE International Conference on Integration Technology. Shenzhen, China. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论