Abstract: For space exploration, we need the appropriate software. Because its failure can lead to large financial, environmental and human losses. Thus, it becomes necessary to create software that will control the design and development of spacecraft. The study is devoted to verification problem of real-time software. The visual checking is a way that allows getting a fast ‘rough’ solution in many cases. To achieve this goal, we have used a range of complementary methods, among which are the methods: analysis and information modeling. The study also summarizes the experience of domestic and Foreign researchers on the subject. Special software toolset has been developed to support. As a result of computer simulation, a software was developed GRAFKONT which checks the programs in real time. Programs that were screened are intended for developing and designing on-board control software in spacecraft. For visualization of the systems in the spacecraft, GRAFKONT uses a graphical model which are presented in the form of screenshots in this study.