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