Авиакосмическое приборостроение Аннотация к статье << Назад Методы формирования способов автоматической проверки программной реализации алгоритмов систем управления С.Е. Залесский Сложность современных авиационных комплексов управления привела к значительному росту объемов программного обеспечения (ПО) цифровых устройств и БЦВМ, которые должны проверяться на полное исключение погрешностей в законах и тестовых процедурах обнаружения и исправления ошибок в программах. Для этих целей рекомендуется использовать автоматические методы контроля на основе расхождения выходных сигналов эталонной модели и реальной системы в режиме полунатурного моделирования. Сравнения выполняются в асинхронных процессах с выбором требуемых интервалов выходных векторов состояний модели и системы.