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

Іссам Саад

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

dc.contributor.author	Іссам Саад
dc.date.accessioned	2016-11-24T12:11:41Z
dc.date.available	2016-11-24T12:11:41Z
dc.date.issued	2016
dc.description.abstract	Дисертаційну роботу присвячено розв’язанню задачі розробки нових та вдосконалення існуючих методів та моделей підтримки процесів розробки протоколів управління у програмно-конфігурованих мережах, що дозволяють забезпечити скорочення часу розробки протоколів та підвищити ефективність функціонування мережі. У якості формалізації вимог специфікації протоколів управління запропоновано використання математичного апарату алгебри розподілених комутаційних ресурсів, що дозволяє однозначно інтерпретувати твердження специфікації. Застосування алгебри розподілених комутаційних ресурсів у якості інструменту побудови специфікації дозволяє виявити протиріччя між твердженнями специфікації. The dissertation work is devoted to solving the problem of developing new and improving existing methods and models that support development processes of control protocols in Software-Defined Networks for future reduction time of protocols development and increase the efficiency of network functionality. The mathematical apparatus of algebra communication shared resources is proposed to use as a method, which allow to uniquely interpreting the statement of specifications and give ability to formalize the priority, parallel execution and causal relationships between processes that take place in specification’s statements. Methods of contradiction detect in OpenFlow protocol specification are also suggested.	uk_UA
dc.identifier.citation	Іссам С. Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності : автореф. дис. ... канд. техн. наук : 05.12.02 "Телекомунікаційні системи та мережі" / С. Іссам ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2016. – 23 с.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/3484
dc.language.iso	uk	uk_UA
dc.subject	протокол OpenFlow	uk_UA
dc.subject	дерево досяжності	uk_UA
dc.subject	алгебра роз-поділених комутаційних ресурсів	uk_UA
dc.subject	верифікація	uk_UA
dc.subject	функціональні властивості протоколу	uk_UA
dc.subject	OpenFlow protocol	uk_UA
dc.subject	reachability tree	uk_UA
dc.subject	algebra of communication shared resources	uk_UA
dc.subject	verification	uk_UA
dc.subject	functional properties of the protocol	uk_UA
dc.title	Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності	uk_UA
dc.type	Synopsis	uk_UA
dspace.entity.type	Publication