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