In the last decades, a growing number of scientists and engineers have been interested in the topic of asteroid exploration. Several spacecraft have been launched on scientific missions, and more are likely to follow. Given the great distance between Earth and the asteroid, the spacecraft must be managed independently. However, it is difficult to accomplish this type of mission because of the limited previous knowledge available about the target, the complicated dynamics environment, and the considerable time delay. The increasing complexity highlights the necessity of developing techniques and instruments that enhance the system process's design, verification, and validation. The goals that must be sought are cost and effectiveness reduction without sacrificing trust in the finished result.