@article{MAKHILLJEAS201813315499,
    title = {Visual Verification Tool for Real-Time Software},
    journal = {Journal of Engineering and Applied Sciences},
    volume = {13},
    number = {3},
    pages = {601-606},
    year = {2018},
    issn = {1816-949x},
    doi = {jeasci.2018.601.606},
    url = {https://makhillpublications.co/view-article.php?issn=1816-949x&doi=jeasci.2018.601.606},
    author = {Andrey},
    keywords = {Software verification,flight control software,visual checking,graph of spacecrafts,domestic,designing},
    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.}
    }