Факультет математики, фізики та інформаційних технологій

Постійне посилання зібрання

https://dspace.onu.edu.ua/handle/123456789/13462

Переглянути

Перегляд Факультет математики, фізики та інформаційних технологій за Автор "Беляєва, Крістіна Сергіївна"

Зараз показуємо 1 - 1 з 1
  • Ескіз
    Документ
    Розробка програмної системи моделювання та верифікації протоколів консенсусу в розподілених системах
    (Одеський національний університет імені І. І. Мечникова, 2019) Беляєва, Крістіна Сергіївна
    Важной тенденцией развития современных информационных систем является использование децентрализованного похода к построению физической и алгоритмической структуры систем. Это позволяет обеспечить ряд положительных свойств, критически важных во многих предметных областях: масштабируемость, надежность от отказов и угроз различных типов, криптостойкость и др. Одним из ведущих элементом таких систем является алгоритм консенсуса, позволяющий обеспечить принятие согласованных решений всеми узлами сети. Существующие и вновь разрабатываемые алгоритмы консенсуса далеко не всегда подтверждены аналитическим доказательством их корректности. В этих условиях актуальной является цель данной работы – разработка системы программного моделирования поведения децентрализованной системы, предназначенной для доказательства требуемых свойств алгоритма консенсуса.Для этого в работе был представлен анализ предметной области децентрализованных систем, рассмотрены несколько популярных и перспективных алгоритмов консенсуса, изучены несколько подходов к доказательству и моделированию свойств консенсуса. На этой основе была спроектирована и разработана базовая программная система моделирования поведения децентрализованных систем. Данная система позволяет осуществлять передачу сообщений между узлами сети по протоколу Gossip и расширять функциональность программных классов с учетом требований конкретных протоколов консенсуса.