Беляєва, Крістіна Сергіївна2020-04-222020-04-222019Беляєва, К. С. Розробка програмної системи моделювання та верифікації протоколів консенсусу в розподілених системах : дипломна робота бакалавра / К. С. Беляєва. – Одеса, 2019. – 64 с.https://dspace.onu.edu.ua/handle/123456789/27890Важной тенденцией развития современных информационных систем является использование децентрализованного похода к построению физической и алгоритмической структуры систем. Это позволяет обеспечить ряд положительных свойств, критически важных во многих предметных областях: масштабируемость, надежность от отказов и угроз различных типов, криптостойкость и др. Одним из ведущих элементом таких систем является алгоритм консенсуса, позволяющий обеспечить принятие согласованных решений всеми узлами сети. Существующие и вновь разрабатываемые алгоритмы консенсуса далеко не всегда подтверждены аналитическим доказательством их корректности. В этих условиях актуальной является цель данной работы – разработка системы программного моделирования поведения децентрализованной системы, предназначенной для доказательства требуемых свойств алгоритма консенсуса.Для этого в работе был представлен анализ предметной области децентрализованных систем, рассмотрены несколько популярных и перспективных алгоритмов консенсуса, изучены несколько подходов к доказательству и моделированию свойств консенсуса. На этой основе была спроектирована и разработана базовая программная система моделирования поведения децентрализованных систем. Данная система позволяет осуществлять передачу сообщений между узлами сети по протоколу Gossip и расширять функциональность программных классов с учетом требований конкретных протоколов консенсуса.uk6.050102 комп’ютерна інженеріямережа P2Pблокчейнпротокол GossipCAP теоремамоделювання консенсусуDiplomas