IP-телефонія, IP-телефония ; інфокомунікаційні мережі, инфокоммуникационные сети ; верифікація, верификация ; Software-Defined Networking, SDN ; OpenFlow

Приведен обзор основных протоколов уровня управления и принципов их функционирования в сетях, построенных на концепции SDN. Выявлено, что версии протоколов имеют существенные различия, которые приводят к возникновению противоречий и ошибок в последующей работе и передаче данных. В рамках решения задачи устранения подобных ошибок предложено использовать формальные методы верификации. В качестве аппарата формализации и последующей верификации применяется алгебра распределенных коммуникационных ресурсов. Для анализа и проверки протокола OpenFlow, который является основным протоколом уровня управления, разработан формализм, который позволяет описать и проверить требования различных версий спецификации протокола OpenFlow.

Радиотехника [Текст] : всеукр. межвед. науч.-техн. сб. / МО Украины, Харьк. техн. ун-т радиоэлектроники; редкол. : М. Ф. Бондаренко (отв.ред.) и др. — Харьков : ХТУРЭ, 1996. — 287 с.

• УДК // Загальні питання електрозв' язку. Кібернетика.Теорія інформації. Теорія сигналів стосовно електрозв' язку
• Праці співробітників ХНУРЕ // Ткачова Олена Борисівна, Ткачева Елена Борисовна