TY  - JOUR
T1  - Visual Verification Tool for Real-Time Software
AU - Tyugashev, Andrey 
JO  - Journal of Engineering and Applied Sciences
VL  - 13
IS  - 3
SP  - 601
EP  - 606
PY  - 2018
DA  - 2001/08/19
SN  - 1816-949x
DO  - jeasci.2018.601.606
UR  - https://makhillpublications.co/view-article.php?doi=jeasci.2018.601.606
KW  - Software verification
KW  -flight control software
KW  -visual checking
KW  -graph of spacecrafts
KW  -domestic
KW  -designing
AB  - 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.
ER  -