МУЛЬТИВЕРСИОННОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ. АЛГОРИТМЫ ГОЛОСОВАНИЯ И ОЦЕНКА НАДЁЖНОСТИ

Царев Р.Ю., Штарик А.В., Штарик Е.Н.
МУЛЬТИВЕРСИОННОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ. АЛГОРИТМЫ ГОЛОСОВАНИЯ И ОЦЕНКА НАДЁЖНОСТИ / Царев Р.Ю., Штарик А.В., Штарик Е.Н.. - Б. м. : НИЦ ИНФРА-М, 2023. - 117 с. - (ПРИКЛАДНЫЕ НАУКИ. ТЕХНИКА. МЕДИЦИНА). - ISBN 978-5-16-013283-9
ББК 32.97

Аннотация:

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