基于有限状态机的某频段卫星移动通信协议栈RR层设计

RR Sub-Layer Designing of X-Band Mobile Satellite Communication Protocol Based on the Finite State Machine

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

Introduces the next generation of X-band satellite mobile communication system protocol stack.Because of the need to support large user capacity,roaming and switching across the beam,its complexity is very high.In order to solve the problem of the development of the protocol stack,analyzes the existing formal technology,proposes a protocol stack development method based on finite state machine,and verifies the development process of the protocol stack RR sub-layer.The implementation results show that the method can effectively guarantee the correctness and completeness of protocol development.