SDL在空间通信协议开发中的应用  

Application of SDL in Development of Space Communication Protocols

作　　者：胡凯[1] 刘成[1] 刘锴[1] 

机构地区：[1]北京航空航天大学计算机学院,北京100191

出　　处：《飞行器测控学报》2013年第2期137-141,共5页Journal of Spacecraft TT&C Technology

基　　金：国家航空科学基金资助项目(No.2010ZA04001);国家自然科学基金资助项目(No.61073013)

摘　　要：针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。To overcome the difficulty and to reduce the cost of space communication protocol development, a method using SDL （Specification and Description Language） and protocol engineering is put forward to develop SCPS-TP （Space Communications Protocol Specification- Transport Protocol）. The method encompasses modeling, simula- tion and verification. Firstly, functional analysis is done to determine the function and the state machine of SCPS- TP. Then, SCPS-TP is modeled using SDL and the model is simulated to test its correctness. After repeated debug- ging, all functions passed the simulation. Finally, the model is verified. The verification results show there are no logic errors for SCPS-TP such as deadlock, live lock and so on. The results provide support for application of SCPS- TP in space and it also indicates that SDL could be applied to develop space communication protocol.

关 键 词：规范与描述语言(SDL) 空间通信 空间通信协议规范-传输协议(SCPS-TP) 形式化协议开发 

分 类 号：V11[航空宇航科学与技术—人机与环境工程] TN927.2[电子电信—通信与信息系统]