Начиная со второй половины XX века, в нашей стране и во всем мире происходит бурное развитие космонавтики. При проектировании КА особое внимание уделяется требованиям безопасности полета космического аппарата. При анализе безопасности полета КА используются различные математические модели и методы. Одним из них является метод построения матрицы достижимости.