Шифр: 621.391 І 85
Іссам Саад. Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності : автореф. дис. ... канд. техн. наук : 05.12.02 "Телекомунікаційні системи та мережі" / Іссам Саад ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків : ХНУРЕ, 2016. – 23 с.
Іссам Саад. Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності : автореф. дис. ... канд. техн. наук : 05.12.02 "Телекомунікаційні системи та мережі" / Іссам Саад ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків : ХНУРЕ, 2016. – 23 с.
- Електронна версія (pdf / 786 Kb)
- Замовити
Статистика використання: Завантажень: 2 Видач: 0
Анотація:
Застосування алгебри розподілених комутаційних ресурсів у якості інструменту побудови специфікації дозволяє виявити протиріччя між твердженнями специфікації. Задачу аналізу реалізації протоколу запропоновано звести
до розв'язання задач перевірки відповідності таких функціональних та нефункціональних властивостей OpenFlow протоколу, як обмеженість, жвавість, досяжність, безпечність, покриваємість. З метою автоматизації процесу побудови моделі протоколу розроблений метод синтезу моделі Е-мережі за ACSR формалізмами тверджень специфікації. Запропоновано новий метод верифікації протоколів управління, в основу якого покладено класичний підхід «перевірки на моделях». Процес верифікації у випадку використання запропонованого методу базується на послідовній перевірці відповідності гілок дерева досяжності Е-мережі моделі реалізації та специфікації протоколу OpenFlow. На основі часткових розроблених методів сформовано комплексну методику аналізу та верифікації протоколів управління у програмно-конфігурованих мережах.
до розв'язання задач перевірки відповідності таких функціональних та нефункціональних властивостей OpenFlow протоколу, як обмеженість, жвавість, досяжність, безпечність, покриваємість. З метою автоматизації процесу побудови моделі протоколу розроблений метод синтезу моделі Е-мережі за ACSR формалізмами тверджень специфікації. Запропоновано новий метод верифікації протоколів управління, в основу якого покладено класичний підхід «перевірки на моделях». Процес верифікації у випадку використання запропонованого методу базується на послідовній перевірці відповідності гілок дерева досяжності Е-мережі моделі реалізації та специфікації протоколу OpenFlow. На основі часткових розроблених методів сформовано комплексну методику аналізу та верифікації протоколів управління у програмно-конфігурованих мережах.