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