Іссам С. . Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності

Об'єкт - процес розробки, аналізу та верифікації протоколу OpenFlow. Методи - апарат алгебри комунікаційних розподілених ресурсів, апарат Е-мереж, теорія графів, формальні методи верифікації, теорія множин. Результати - вперше запропоновано використання математичного апарату алгебри комунікаційних розподілених ресурсів у якості інструмента формалізації вимог специфікації протоколів управління; розвиток апарату Е-мереж шляхом застосування управляючих переходів для моделювання функціональних властивостей протоколу OpenFlow та впровадження кількісних значень атрибутів переходів; розробка методу верифікації, що дозволяє уникнути ефекту "комбінаторного вибуху" простору досліджу-ваних станів. Впроваджено - у навчальному процесі Харківського національного університету радіоелектроніки в ході виконання держбюджетної НДР № 299-1. Галузь використання - телекомунікаційні мережі