Search academic texts

Information × Registration Number 0416U004577, Candidate dissertation Status к.т.н. Date 26-10-2016 popup.evolution o Title The models and methods for analysis and verification control protocols in Software-Defined Networks based on apparatus of algebra communication shared resources and reachability graphs Author Issam Saad, popup.head Duravkin Ievgen Volodymyrovich popup.opponent Гаркуша Сергій Володимирович popup.opponent Кирик Мар'ян Іванович Description Об'єкт - процес розробки, аналізу та верифікації протоколу OpenFlow. Методи - апарат алгебри комунікаційних розподілених ресурсів, апарат Е-мереж, теорія графів, формальні методи верифікації, теорія множин. Результати - вперше запропоновано використання математичного апарату алгебри комунікаційних розподілених ресурсів у якості інструмента формалізації вимог специфікації протоколів управління; розвиток апарату Е-мереж шляхом застосування управляючих переходів для моделювання функціональних властивостей протоколу OpenFlow та впровадження кількісних значень атрибутів переходів; розробка методу верифікації, що дозволяє уникнути ефекту "комбінаторного вибуху" простору досліджу-ваних станів. Впроваджено - у навчальному процесі Харківського національного університету радіоелектроніки в ході виконання держбюджетної НДР № 299-1. Галузь використання - телекомунікаційні мережі Registration Date 2016-10-26 popup.nrat_date 2020-04-03 Close