摘要
空间数据系统委员会(CCSDS,Consultative Committee for Space Data System)所发布的标准在空间数据通信领域起着极其重要的作用,很多标准已经转化为ISO国际标准。分包遥控(TC)协议主要用于地面对航天器的控制,其安全性和准确性对航天器至关重要。着重对TC协议进行通信进程演算(CCS),通过演算没有发现协议中有死锁与活锁等问题,为今后CCSDS协议(如PSLS)的开发提供了有效的分析方法。
The standards published by Consultative Committee for Space Data System（CCSDS） play an important role in the field of space data traffic, and most of them are already turned into ISO international standards.The TC protocol is mainly used in the ground-to-space control, and its safety and accuracy are the most important for space vehicles. Based on the Calcula for Communicating System （CCS） of TC protocol by CCSDS, no dead lock or living lock is found in the TC protocol, thus providing a useful analytical method for the future study of CCSDS protocol （PSLS protocol, e.g.）.
出处
《信息安全与通信保密》
2010年第11期28-30,共3页
Information Security and Communications Privacy
