Проанализированы допущения на применение моделей самодиагностирования с использованием структур взаимоконтроля. Проведена оценка вероятности получения тупикового синдрома, синдромов частичного и неправильного диагноза. Обосновано использование факта получения тупикового синдрома в качестве признака наличия в диагностируемой системе неконстантной отказовой ситуации Ключевые слова: вычислительные системы, самодиагностирование, диагностические модели, структуры взаимоконтроля, синдром, отказовые ситуации, диагностический граф