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

• 作者: 夏胜吾 李敬
• 来源期刊: 现代计算机：中旬刊
• 学科: 工学
• 关键词: 卫星移动通信 协议栈 RR子层 有限状态机
• 年，卷（期）: 2018,（10）
• 页码范围: 88-91
• 页数: 4页
• 分类号: TP311.1

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李敬		4	5	1.0	2.0
2	夏胜吾		2	0	0.0	0.0