Решена задача определения класса отказа не работоспособной БИНС ЛА путем применения диагностических моделей (ДМ), представляющих собой особый класс математических моделей, связывающих косвенные и прямые признаки отказа. Применяя полученные ДМ, сформированы алгоритмы оперативного диагностирования технического состояния БИНС в виде дихотомических деревьев определения класса-вида отказа, отличающиеся от известных алгоритмов использованием в узлах дихотомических деревьев бинарных признаков, представляющих собой результаты решения двузначных предикатных уравнений, где условиями предикатных конструкций являются характеристики ДМ. Также представлены математические модели и инструментальные средства оперативного восстановления работоспособности БИНС с использованием аппаратной и сигнальной видов избыточностей.
