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