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.