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

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