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