中文摘要：

针对空间通信协议开发难度大、代价大的问题，提出了基于协议工程思想利用SDL（规范与描述语言）对SCP孓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.