Рассматривается методика автоматизированной проверки плана полёта автоматических космических аппаратов (КА). Показывается, что данная проверка может быть осуществлена с помощью имитационной модели бортового комплекса управления (БКУ) КА. Приводится описание разработанной для этой цели имитационной модели БКУ, а также рассматривается вопрос адекватности её работы в сравнении с реальным БКУ КА.
