498-62-20 E-mail: mulduz@mail. ru УДК 621.316.1:681.3 ПРИНЦИПЫ РЕАЛИЗАЦИИ МОДЕЛЕЙ ПОВЫШЕНИЯ НАДЕЖНОСТИ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛЕНИЙ В СИСТЕМЕ ПРОГРАММИРОВАНИЯ ПАРСЕК1 Ю. С. Затуливетер, А. В. Топорищев, Е. А. Фищенко, И. А. Ходаковский Разработана концептуальная схема реализации моделей повышения надежности вычислений в общедоступных ресурсах локальных и глобальных сетей. <...> Предлагаемая реализация моделей повышения надежности распределенных вычислений осуществляется на этапах трансляции и компоновки прикладных программ путем автоматического внесения вычислительной избыточности в исполняемые коды. <...> Требуемый уровень избыточности определяется с применением оценок надежности, функционально связывающих параметры распределенных процессов и сетевых ресурсов. <...> Используемые оценки получены на этапах математического обоснования моделей повышения надежности вычислений программными методами. <...> Ключевые слова: модели, повышение надежности, распределенные вычисления, локальные и глобальные сети, вычислительная избыточность, трансляция и компоновка, система программирования ПАРСЕК ВВЕДЕНИЕ Количество универсально программируемых компьютерных устройств, связанных локальными и глобальными сетями, — стационарных, мобильных, встроенных — уже достигло миллиардов и продолжает расти опережающими темпами. <...> На уровне архитектурных решений и форматов представления компьютерной информации (программ и данных) аппаратные и программные средства распределенных ресурсов всей совокупности сетей чрезвычайно разнородны. <...> Это одна из главных причин того, что в отличие от внутренних ресурсов 1 Работа поддержана Российским фондом фундаментальных исследований (РФФИ), проект 08-07-00334. универсальных компьютерных устройств, вся совокупность распределенных сетевых ресурсов не образует детерминированный и универсально программируемый вычислительный агрегат. <...> В отсутствие системной целостности, функциональной полноты и технологической <...>