Аннотация:
Российская космическая программа освоения Луны предполагает автоматическую мягкую посадку на ее поверхность космического аппарата (КА). Для реализации этой задачи создается бортовое программное обеспечение системы управления движением КА. Для проведения процедуры верификации требуется создание и отладка комплексных алгоритмов управления бортовыми устройствами. В настоящей работе предлагается параллельное решение задачи верификации совместно с созданием аппаратуры КА.
Ключевые слова:бортовое программное обеспечение, космический аппарат, управление движением.