Предложена методика верификации программ управления космического аппарата. Методика обеспечивает решение ряда задач контроля с использованием модели бортовой аппаратуры КА. Модель объекта предназначена для решения задачи прогноза состояния бортовой аппаратуры КА. Используемый метод моделирования базируется на описании функционирования объекта в пространстве состояний переходными функциями состояния. В статье рассмотрены типовые, наиболее распространенные функции контроля ограничений по управлению бортовой аппаратуры КА. Методика прошла апробацию и была использована при управлении нескольких КА. Ключевые слова: моделирование сложных систем, метод переходных функций, верификация программ управления космического аппарата.
