Фирсов, старший преподаватель Пермского государственного национального исследовательского университета, a_firsov@mail.ru использование байесовских сетей для оценки надежности асинхронных распределенных систем, устойчивых к произвольным отказам 1 В статье предложен метод оценки надежности асинхронных распределенных систем, устойчивых к произвольным отказам Он основан на байесовских сетях и, в отличие от других существующих аналогов, позволяет при оценке учитывать неоднородность вычислительных узлов распределенной системы и возможную коррелированность их отказов Ключевые слова: асинхронные распределенные системы, произвольные отказы, византийские отказы, байесовские сети введение С течением времени зависимость людей от техники только увеличивается, а сама техника усложняется, поэтому все острее встает проблема обеспечения отказоустойчивости технического оборудования. <...> Так, если вероятность сбоя отдельно взятого компьютера невелика, то в распределенных системах, состоящих из тысяч или даже миллионов таких компьютеров, сбои происходят постоянно. <...> 1 Модель произвольных, или как ее еще часто называют, византийских отказов [1] является наиболее общей моделью, включающей в себя все остальные. <...> Она не накладывает никаких ограничений на действия сбойных процессов и благодаря этому позволяет моделировать такие типы сбоев, как отказы оборудования, потеря связи, неисправность оборудования, программные сбои, ошибки операторов и действия злоумышленников. <...> Особый интерес представляют асинхронные распределенные системы, так как они 1 Работа выполнена при поддержке Министерства образования и науки (проект № 8.5782.2011). <...> 102 Лаборатория Математические методы не накладывают никаких временны′х ограничений, вследствие чего идеально подходят для работы в сети Интернет. <...> В данной работе рассматриваются асинхронные распределенные системы, которые, во-первых, устойчивы к произвольным отказам, во-вторых <...>