Большинство решений обеспечения отказоустойчивости распределённых вычислительных систем сводится к физическому дублированию аппаратного обеспечения, что не всегда оправдано экономически, либо физически (в случае ограничения пространства). Либо эти решения подразумевают сложную систему иерархии компонент (централизацию) и непростые механизмы их взаимодействия и синхронизации. Цель данной работы заключается в создании децентрализованной модели отказоустойчивости, позволяющей при помощи только программных средств обеспечить жизнеспособность системы в целом. В качестве модели распределённой вычислительной системы выбрана сеть процессов Кана.