Ткачева, Е. Б.Исаам СаадМохаммед Джамал Салим2018-04-032018-04-032015Ткачева Е. Б. Применение ASCR для верификации протоколов управления Software-Defined Network / Е. Б. Ткачева, Исаам Саад, Мохаммед Джамал Салим // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2015. – Вып. 180. – С. 48 – 55.http://openarchive.nure.ua/handle/document/4587Приведен обзор основных протоколов уровня управления и принципов их функционирования в сетях, построенных на основе концепции SDN. Выявлено, что версии протоколов имеют существенные различия, которые приводят к возникновению противоречий и ошибок в последующей работе и передаче данных. В рамках решения задачи устранения подобных ошибок предложено использовать формальные методы верификации. В качестве апарата формализации и последующей верификации применяется алгебра распределенных коммуникационных ресурсов. Для анализа и проверки протокола OpenFlow, который является основным протоколом уровня управления, разработан формализм, который позволяет описать и проверить требования различных версий спецификации протокола OpenFlowruпротокол OpenFlowпротокол уровня управленияформальные методы верификацииArticle