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