Розробка програмної системи моделювання та верифікації протоколів консенсусу в розподілених системах
Альтернативна назва
Development of software system for modeling and verification of consensus protocols in distributed systems
Вантажиться...
Дата
2019
Автори
Науковий керівник
Укладач
Редактор
Назва журналу
ISSN
E-ISSN
Назва тому
Видавець
Одеський національний університет імені І. І. Мечникова
Анотація
Важной тенденцией развития современных информационных систем является использование децентрализованного похода к построению физической и алгоритмической структуры систем. Это позволяет обеспечить ряд положительных свойств, критически важных во многих предметных областях: масштабируемость, надежность от отказов и угроз различных типов, криптостойкость и др.
Одним из ведущих элементом таких систем является алгоритм консенсуса, позволяющий обеспечить принятие согласованных решений всеми узлами сети. Существующие и вновь разрабатываемые алгоритмы консенсуса далеко не всегда подтверждены аналитическим доказательством их корректности. В этих условиях актуальной является цель данной работы – разработка системы программного моделирования поведения децентрализованной системы, предназначенной для доказательства требуемых свойств алгоритма консенсуса.Для этого в работе был представлен анализ предметной области децентрализованных систем, рассмотрены несколько популярных и перспективных алгоритмов консенсуса, изучены несколько подходов к доказательству и моделированию свойств консенсуса. На этой основе была спроектирована и разработана базовая программная система моделирования поведения децентрализованных систем.
Данная система позволяет осуществлять передачу сообщений между узлами сети по протоколу Gossip и расширять функциональность программных классов с учетом требований конкретных протоколов консенсуса.
Опис
Ключові слова
6.050102 комп’ютерна інженерія, мережа P2P, блокчейн, протокол Gossip, CAP теорема, моделювання консенсусу
Бібліографічний опис
Беляєва, К. С. Розробка програмної системи моделювання та верифікації протоколів консенсусу в розподілених системах : дипломна робота бакалавра / К. С. Беляєва. – Одеса, 2019. – 64 с.