Технология комплексной отработки программного обеспечения бортовых систем космических аппаратов

В работе представлены основные положения концепции комплексной отработки программного обеспечения бортового комплекса управления космическими аппаратами. Выполнена постановка и предложен метод решения задачи выбора оптимальной стратегии комплексной отработки бортового комплекса программ. Предложены методы отработки программного обеспечения по показателям функциональной корректности.