-
题名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
[电子电信—通信与信息系统]
-