基于FSM的卫星移动通信协议栈开发方法研究

摘要：

本文对GMR-1卫星移动通信空口协议栈进行了研究,由于需要支持庞大的用户容量以及跨波束的漫游和切换,其复杂度非常高;为了解决协议栈的开发问题,本文对现有的协议形式化技术进行了比较,提出了一种基于FSM(有限状态机)的协议栈开发方法,并通过协议栈中删子层的开发过程进行了验证.实现结果表明该方法能有效地保证协议开发的正确性和完全性,可用于下一代S频段卫星移动通信系统的协议栈开发.

关键词： 卫星移动通信 空口协议栈 有限状态机 形式化技术分析

作者: 林广荣 李银 刘真豹

作者单位: 广州海格通信集团股份有限公司

会议类型: 国内会议

会议名称: 第十届卫星通信学术年会

会议地点: 北京

会议语种:中文

页码: 289-294

在线出版日期: 2014-02-01（万方平台首次上网日期，不代表论文的发表时间）