摘要
针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用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.
出处
《飞行器测控学报》
CSCD
2013年第2期137-141,共5页
Journal of Spacecraft TT&C Technology
基金
国家航空科学基金资助项目(No.2010ZA04001)
国家自然科学基金资助项目(No.61073013)
