Розробка програмної системи моделювання та верифікації протоколів консенсусу в розподілених системах

Скорочена інформація про документ
dc.contributor.authorБеляєва, Крістіна Сергіївна
dc.date.accessioned2020-04-22T19:51:05Z
dc.date.available2020-04-22T19:51:05Z
dc.date.issued2019
dc.description.abstractВажной тенденцией развития современных информационных систем является использование децентрализованного похода к построению физической и алгоритмической структуры систем. Это позволяет обеспечить ряд положительных свойств, критически важных во многих предметных областях: масштабируемость, надежность от отказов и угроз различных типов, криптостойкость и др. Одним из ведущих элементом таких систем является алгоритм консенсуса, позволяющий обеспечить принятие согласованных решений всеми узлами сети. Существующие и вновь разрабатываемые алгоритмы консенсуса далеко не всегда подтверждены аналитическим доказательством их корректности. В этих условиях актуальной является цель данной работы – разработка системы программного моделирования поведения децентрализованной системы, предназначенной для доказательства требуемых свойств алгоритма консенсуса.Для этого в работе был представлен анализ предметной области децентрализованных систем, рассмотрены несколько популярных и перспективных алгоритмов консенсуса, изучены несколько подходов к доказательству и моделированию свойств консенсуса. На этой основе была спроектирована и разработана базовая программная система моделирования поведения децентрализованных систем. Данная система позволяет осуществлять передачу сообщений между узлами сети по протоколу Gossip и расширять функциональность программных классов с учетом требований конкретных протоколов консенсуса.uk_UA
dc.identifier.citationБеляєва, К. С. Розробка програмної системи моделювання та верифікації протоколів консенсусу в розподілених системах : дипломна робота бакалавра / К. С. Беляєва. – Одеса, 2019. – 64 с.uk_UA
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/27890
dc.language.isoukuk_UA
dc.publisherОдеський національний університет імені І. І. Мечниковаuk_UA
dc.subject6.050102 комп’ютерна інженеріяuk_UA
dc.subjectмережа P2Puk_UA
dc.subjectблокчейнuk_UA
dc.subjectпротокол Gossipuk_UA
dc.subjectCAP теоремаuk_UA
dc.subjectмоделювання консенсусуuk_UA
dc.titleРозробка програмної системи моделювання та верифікації протоколів консенсусу в розподілених системахuk_UA
dc.title.alternativeDevelopment of software system for modeling and verification of consensus protocols in distributed systemsuk_UA
dc.typeDiplomasuk_UA
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
6.050102_Beliaieva Kristina Serhiivna_1.pdf
Розмір:
545.08 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Факультет математики, фізики та інформаційних технологій