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