В монографии представлены современные алгоритмы голосования, используемые в мультиверсионном программном обеспечении при принятии решения о корректности полученных результатов; приведена их классификация. Рассмотрены проблемы применения алгоритмов голосования в мультиверсионном программном обеспечении. Показана модель оценки надёжности мультиверсионного программного обеспечения, представлены результаты ее исследования при имитировании поведения реальной мультиверсионной системы с распределенной архитектурой. Результаты исследования служат теоретической базой для разработки высоконадёжного и отказоустойчивого программного обеспечения на основе мультиверсионной парадигмы. Предназначено специалистам, работающим в области проектирования и разработки программного обеспечения, а также аспирантам и докторантам. Материалы монографии рекомендуются к использованию при проведении лекционных и практических занятий у магистрантов, обучающихся по программе подготовки магистров 09.04.01 "Информатика и вычислительная техника".
V monografii predstavleny sovremennye algoritmy golosovanija, ispolzuemye v multiversionnom programmnom obespechenii pri prinjatii reshenija o korrektnosti poluchennykh rezultatov; privedena ikh klassifikatsija. Rassmotreny problemy primenenija algoritmov golosovanija v multiversionnom programmnom obespechenii. Pokazana model otsenki nadjozhnosti multiversionnogo programmnogo obespechenija, predstavleny rezultaty ee issledovanija pri imitirovanii povedenija realnoj multiversionnoj sistemy s raspredelennoj arkhitekturoj. Rezultaty issledovanija sluzhat teoreticheskoj bazoj dlja razrabotki vysokonadjozhnogo i otkazoustojchivogo programmnogo obespechenija na osnove multiversionnoj paradigmy. Prednaznacheno spetsialistam, rabotajuschim v oblasti proektirovanija i razrabotki programmnogo obespechenija, a takzhe aspirantam i doktorantam. Materialy monografii rekomendujutsja k ispolzovaniju pri provedenii lektsionnykh i prakticheskikh zanjatij u magistrantov, obuchajuschikhsja po programme podgotovki magistrov 09.04.01 "Informatika i vychislitelnaja tekhnika".
