Сложность современных авиационных комплексов управления привела к значительному росту объемов программного обеспечения цифровых устройств и бортовых цифровых вычислительных машин, которые должны проверяться на полное исключение погрешностей в законах и тестовых процедурах обнаружения и исправления ошибок в программах. Для этих целей рекомендуется использовать автоматические методы контроля на основе расхождения выходных сигналов эталонной модели и реальной системы в режиме полунатурного моделирования.
