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