-
题名SDL在空间通信协议开发中的应用
被引量:1
- 1
-
-
作者
胡凯
刘成
刘锴
-
机构
北京航空航天大学计算机学院
-
出处
《飞行器测控学报》
CSCD
2013年第2期137-141,共5页
-
基金
国家航空科学基金资助项目(No.2010ZA04001)
国家自然科学基金资助项目(No.61073013)
-
文摘
针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。
-
关键词
规范与描述语言(SDL)
空间通信
空间通信协议规范-传输协议(SCPS-TP)
形式化协议开发
-
Keywords
Specification and Description Language (SDL)
space communications
Space Communications Protocol Specification - Transport Protocol (SCPS-TP)
development of formal protocol
-
分类号
V11
[航空宇航科学与技术—人机与环境工程]
TN927.2
[电子电信—通信与信息系统]
-
-
题名SCPS-TP协议在卫星通信系统中的应用研究
被引量:8
- 2
-
-
作者
陈明玉
程子敬
-
机构
北京卫星信息工程研究所
-
出处
《电子设计工程》
2010年第8期1-3,共3页
-
基金
国家高技术研究发展计划(863计划)基金资助项目(2009AA12Z325)
-
文摘
将空间互联网协议SCPS-TP用于卫星通信系统中,并以SCPS-TP所使用的Vegas拥塞控制策略为基础,借鉴了TCP Hybla协议慢启动阶段拥塞窗口增长策略,同时对发生丢包及超时情况的拥塞窗口和慢启动阈值的变化进行了修改,从而提出了一种更适合于卫星通信链路应用的改进型Vegas方法。对该方法在GEO卫星通信系统链路中的应用进行了NS2软件仿真,并与TCP Vegas和TCP NewReno方法进行比较与分析。结果表明,该改进型Vegas拥塞控制策略的平均吞吐量较TCP Vegas有15%的提高。
-
关键词
空间通信协议规范-传输协议(SCPS—TP)
卫星通信
拥塞控制
网络仿真
-
Keywords
SCPS-TP
satellite communication
congestion control
network simulation
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名空间信息网络安全协议综述
被引量:1
- 3
-
-
作者
廖勇
樊卓宸
赵明
-
机构
重庆大学飞行器测控与通信教育部重点实验室
西安电子科技大学陕西省网络与系统安全重点实验室
重庆大学通信工程学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第4期202-206,共5页
-
基金
国家自然科学基金重大研究计划培育项目(91438104)
国家自然科学基金项目(61571069)
+1 种基金
陕西省网络与系统安全重点实验室开放基金(NSSOF1500101)
重庆大学中央高校基本科研业务费重点项目(CDJZR165505)资助
-
文摘
针对空间信息网络安全协议展开综述。首先介绍了建设空间信息网络安全的意义,其次论述了国内外对空间信息网络安全协议的研究现状,然后重点对空间通信协议规范-安全协议(SCPS-SP)的核心关键技术——认证及加密算法进行详细分析。在此基础上,指出SCPS-SP在应用过程中遇到的挑战,并给出解决的思路和相关的建议。
-
关键词
空间信息网络
网络安全
空间通信协议规范-安全协议
认证
加密
-
Keywords
Space information network
Network security
Space communications protocol specification-security protocol(scps-sp)
Authentication
Encryption
-
分类号
TN918
[电子电信—通信与信息系统]
-
-
题名基于分段TCP的空间站协议转换器设计与实现
被引量:3
- 4
-
-
作者
张磊
卞春江
孟新
陈宇
周海
-
机构
中国科学院空间科学与应用研究中心
-
出处
《飞行器测控学报》
2011年第S1期79-83,共5页
-
文摘
介绍空间站与地面之间通信的特点及其对TCP(传输控制协议)传输性能的影响,从充分利用空间通信链路的角度出发,提出了一个适合于空间站通信环境的基于TCP分段思想的SCPS-TP(空间通信协议规范-传输协议)协议转换器。详细分析了协议转换器实现的关键技术,并对实现的协议转换器进行了性能测试。
-
关键词
传输控制协议(TCP)分段连接
协议转换
空间通信协议规范-传输协议(SCPS-TP)
-
Keywords
TCP Split
Protocol Converter
Space Communication Protocol Standard-Transmission Protocol(SCPS-TP)
-
分类号
V217-55
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名基于SCPS协议的天地一体化网络加密设计
被引量:2
- 5
-
-
作者
张谦
陈雅
-
机构
北京跟踪与通信技术研究所
-
出处
《飞行器测控学报》
2011年第S1期64-67,共4页
-
文摘
分析未来空间科学试验、载人航天工程等对空间通信信息化加密需求,提出天地一体化网络的典型应用模式。针对这种模式提出基于SCPS-SP(空间通信协议规范-安全协议)和IPSec(互联网安全)协议的天地一体化信息加密设计。这种一体化的设计可以有效解决地面网络和空间子网信息的整体加密、完整性验证和认证问题。
-
关键词
天地一体化网络
信息加密
空间通信协议规范-安全协议(scps-sp)
互联网安全(IPSec)
-
Keywords
Integrated Network
Encryption
Space Communication Protocol Standard(SCPS)-SP
IPSec
-
分类号
V217-55
[航空宇航科学与技术—航空宇航推进理论与工程]
-