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