The paper is devoted to a complex problem in Russian Aerospace Industry connected with reliability and safety of software. There are an analysis of the state -of -the -art, problem statement and ways to get a moremore reliable and safer software. It has been declared that there isThe a ‘crisis’ in critical software development in the Russian Aerospace Industry has been declared, and wayshow to overcome it areis being discussed. The Ppaper for-mulates the basics of the complex approach including specialized integrated CASE tools development, usage of coding/specifying/verification standards, and knowledge base for developers
Proc. Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012), July 1-2, 2012 in Nizhni Novgorod, Russia, PP121-129

This report is devoted to problems of computer-aided design and development of special kind of algorithms and programs - real-time embedded software for spacecrafts. Basic principles of CASE-methodology are given in the paper as well as an explanation of GRAFKONT integrated CASE computer environment created in SSAU.
Тезисы докладов Международной молодежной школы-семинара БИКАМП-99 24-29 мая 1999 г. C.151

Статья посвящена вопросам использования графических языков программирования в жизненном цикле бортового программного обеспечения космических аппаратов. Проведен обзор вариантов применения визуального программирования с использованием графических языков, на стадиях спецификации, проектирования, написания и отладки программ. Подчеркнуто, что главной причиной использования графических средств при создании бортового программного обеспечения космических аппаратов является возможность достижения лучшего взаимопонимания в коллективе специалистов по бортовым системам, алгоритмистов, программистов, что позволяет создавать более надежные и качественные программные системы
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). 2010. № 2. С. 248-259.