End-to-end simulation and verification of GNC and robotic systems considering both space segment and ground segment