Full duplex state transition analysis for MAC sublayer state machine of CCSDS Proximity-1

In this paper, we first introduce the CCSDS Proximity-1 protocol and its MAC sublayer state machine. Then we analyze the state transition of state machine under full duplex mode by decomposing the complex state transition diagram into different simple procedures, which make the complex state transition diagram simple and easy to understand. Considering there are some careless omissions in the Proximity-1 protocol document, to understand every step is essential for protocol implementation. Though we only give the analysis of the full duplex mode, the proposed method can also be applied to half duplex mode.

[1]  Simon S. Woo.  Analysis of Proximity-1 Space Link Interleaved Time Synchronization (PITS) Protocol , 2011, 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011.

[2]  A. Vaisnys,et al.  Development and flight performance of CCSDS Proximity-1 on Odyssey and the Mars exploration rovers , 2005, 2005 IEEE Aerospace Conference.

[3]  V. Ravichandran,et al.  Development of CCSDS Proximity-1 protocol for ISRO's extraterrestrial missions , 2014, 2014 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

[4]  J. Oberg.  Could China get to Mars First? , 2009, IEEE Spectrum.