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