带π演算验证的FMIPv6优化方案

doi:10.3724/SP.J.1087.2012.02095

计算机应用 ›› 2012, Vol. 32 ›› Issue (08): 2095-2102.DOI: 10.3724/SP.J.1087.2012.02095

带π演算验证的FMIPv6优化方案

李向丽¹,王晓燕¹,王正斌²,屈智巍³

1. 郑州大学信息工程学院，郑州 450001
2. 青海大学化工学院，西宁 810016
3. 秦皇岛公安消防支队，河北秦皇岛 066000

收稿日期:2012-01-30 修回日期:2012-03-12 发布日期:2012-08-28 出版日期:2012-08-01
通讯作者: 屈智巍
作者简介:李向丽(1965-)，女，河南开封人，副教授，主要研究方向：计算机网络;
王晓燕(1987-)，女，河南新乡人，硕士研究生，主要研究方向：无线网络;
王正斌(1988-)，男，河南新乡人，主要研究方向：机械自动化、无线网络;
屈智巍(1986-)，男，河南濮阳人，主要研究方向：电子信息科学与技术、无线网络。
基金资助:
河南省教育厅自然科学研究计划项目(2010A520040);河南省重点科技攻关计划项目(112102310073)

Optimized scheme about FMIPv6 with π-calculus verification

LI Xiang-li¹,WANG Xiao-yan²,WANG Zheng-bin³,QU Zhi-wei³

1. School of Information Engineering, Zhengzhou University, Zhengzhou Henan 450001, China
2. Institute of Chemical Technology, Qinghai University, Xining Qinghai 810000, China
3. Public Security Fire Detachment of Qinhuangdao, Qinhuangdao Hebei 066000, China

Received:2012-01-30 Revised:2012-03-12 Online:2012-08-28 Published:2012-08-01
Contact: QU Zhi-wei

摘要/Abstract

摘要： 为解决FMIPv6的切换延迟长和丢包率高的问题，提出一种改进方案PI-FMIPv6。该方案通过引入信息学习机制、绑定代理机制及隧道定时器，将转交地址配置、重复地址检测、绑定注册等工作提前完成，并合理设置隧道生存期，优化了FMIPv6切换流程。通过π演算对PI-FMIPv6方案进行数学模型定义和推导，证明了PI-FMIPv6方案的规范性和严谨性。同时，NS-2仿真结果表明，改进方案PI-FMIPv6相对原FMIPv6方案减少至少60.7%的切换延迟和61.5%的丢包率，验证了其性能优于FMIPv6，更好地满足了实时业务的需求。

关键词: 信息学习, 隧道定时器, 绑定代理, π演算

Abstract: In order to solve the problems of long handover delay and high packet loss rate existing in FMIPv6, an improved scheme named PI-FMIPv6 was designed. Information learning, proxy binding and the tunnel timer were introduced into it so as to complete the configuration of the New Care-of Address (NCoA), Duplicate Address Detection (DAD), Binding Update (BU) by advancing and managing the tunnel. π-calculus was used to define and deduce the mathematical model about PI-FMIPv6. It is proved that the optimized scheme PI-FMIPv6 is standard and precise. Furthermore, the simulation results from the NS-2 show that PI-FMIPv6 can reduce the handover delay by 60.7% and packet loss rate by 61.5% at least compared to FMIPv6, which verifies that the PI-FMIPv6 is superior to FMIPv6 and can better meet the real-time requirement.

Key words: information learning, tunnel timer, proxy binding, π-calculus

中图分类号:

TN915.04

李向丽王晓燕王正斌屈智巍. 带π演算验证的FMIPv6优化方案[J]. 计算机应用, 2012, 32(08): 2095-2102.

LI Xiang-li WANG Xiao-yan WANG Zheng-bin QU Zhi-wei. Optimized scheme about FMIPv6 with π-calculus verification [J]. Journal of Computer Applications, 2012, 32(08): 2095-2102.

参考文献

[1]李志鹏,李立新,黄平，等. 802.11环境下移动IPv6快速切换性能研究[J].JOCA, 2008,28(10):2587-2593. [2]曾华燊,窦军. 论下一代网络与下一代Internet及其体系结构[J].JOCA, 2007,27(11):2615-2612. [3]WANG HONGMEI, ZHAO HUAN. Performance analysis on ping-pong handoff in mobile IPv6 [C]// 2010 International Conference on Internet Technology and Applications. Piscataway: IEEE, 2010: 1-4. [4]YOUSAF F Z, WIEFELD C. Proactive bindings for MIPv6, draft-yousaf-ietf-mipshop-pbfmipv6-01.txt [S]. [S.l.]: IETF, 2008. [5]GUNDAVELLI S, LEUNG E K. RFC 5213, Proxy mobile IPv6 August [S]. [S.l.]: IETF, 2008. [6]李向丽,王晓燕,汪伟. 引入信息学习和绑定代理的FMIPv6切换方案[J].计算机工程与应用,2011,47(35):113-116. [7]林娜，宋利雪. 一种改进的移动节点快速切换算法研究与仿真[J].小型微型计算机系统，2009,11(11):2195-2198. [8]WU YINGWU, ZHOU XIAOQING. Research on the IPv6 performance analysis based on dual-protocol stack and tunnel transition [C]// 6th International Conference on Computer Science and Education. Piscataway: IEEE, 2011:1191-1193. [9]康娟花. 移动通信系统中移动性管理的形式化描述与验证[D]. 上海:华东师范大学,2009. [10]胡运安,夏正友,钟亦平,等. 移动IPv6的快速切换的代数验证[J].计算机工程与应用,2004,40(20)：161-164. [11]ARRAEZ J M, ESSEGHIR M, MERGHEM-BOULAHIA L. An implementation of media independent information services for the network simulator NS-2 [C]// IEEE Proceedings of Consumer Communications and Networking Conference. Piscataway: IEEE, 2011:492-496. [12]CAINI C, FARINA F, FIRRINCIELI R, et al. Implementation and analysis of the TCP "adaptive-selection" concept in NS-2 and Linux [C]// ASMS 2008: 4th Advanced Satellite Mobile Systems. Piscataway: IEEE, 2008:198-203.

带π演算验证的FMIPv6优化方案

Optimized scheme about FMIPv6 with π-calculus verification

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐

Metrics

[1]	柯文德彭志平陈珂蔡则苏. 新的多移动机器人任务协商模型[J]. 计算机应用, 2013, 33(02): 346-349.
[2]	郭荣佐郭进王霖. 嵌入式系统软件体系结构动态建模及应用研究[J]. 计算机应用, 2009, 29(4): 1143-1146.
[3]	梁爱南李长云黄贤明 . 多实例工作流模式的π演算形式化[J]. 计算机应用, 2007, 27(1): 219-220.