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