Розглянуто існуючі методи забезпечення відмовостійкості розподілених обчислювальних систем і визначено нобхідність розробки методики й алгоритмів діагностування розподілених обчислювальних систем на основі відмовостійкості взаємної інформаційної узгодженості. Запропоновано методику діагностування "ворожих" відмов в розподілених автоматизованих системах управління повітряним рухом (АСУПР) на основі застосування дворівневої системи забезпечення відмовостійкості. Вдосконалено математичну модель діагностування АСУПР шляхом введення "блукаючого" діагностичного ядра. Вдосконалено методику оцінки параметрів діагностування АСУПР на основі статистичного моделювання.