Analysis of Proximity-1 Space Link Interleaved Time Synchronization (PITS) Protocol

To synchronize clocks between spacecraft in proximity, the Proximity-1 Space Link Interleaved Time Synchronization (PITS) Protocol has been proposed. PITS is based on the NTP Interleaved On-Wire Protocol and is capable of being adapted and integrated into CCSDS Proximity-1 Space Link with minimal modifications. In this work, we discuss the correctness and liveness of PITS. Further, we analyze and evaluate the time synchronization latency performance with various channel error rates in different PITS operational modes.