Салім М. Д. Моделі і методи забезпечення якості обслуговування в віртуалізованих мережах

Об'єкт дослідження - процеси формування та надання послуг у віртуалізованих мережах. Предмет дослідження - моделі та методи забезпечення необхідного рівня якості обслуговування у віртуалізованих мережах. Методи дослідження. Під час розв’язання поставлених задач було використано наступні математичні методи: лінійну та розгалужену темпоральні логіки, зокрема, використання їх синтаксису та семантики під час розробки методу формалізації вимог специфікації; апарат Е-мереж та теорію формальних граматик під час розробки методу аналізу розподілення мережевих ресурсів та коректності поведінки надання послуг; формальні методи перевірки відповідності готового NFV рішення вимогам специфікації, такі як символьний підхід та «перевірка на моделях», під час розробки методу визначення еквівалентності двох ланцюгів виводу, що належать моделі реалізації NFV та моделі специфікації відповідно; методи аналізу граничних показників якості, що ґрунтуються на засадах теорії мережевого обчислення, під час розробки методу оцінки якості надання послуг «із кінця в кінець» в інфраструктурі NFV. Теоритичні та практичні результати: отримав подальший розвиток математичний апарат темпоральних логік, зокрема розгалуженої темпоральної логіки; отримав подальший розвиток апарат Е-мереж як засіб моделювання процесів як на рівні управляння, так і на рівні надання послуг у віртуалізованих мережах; вперше розроблено метод перевірки відповідності реалізації виртуалізованої мережі з підтримкою технології NFV вимогам специфікації; вперше розроблено комплекс методів моделювання і подальшого аналізу зміни показників якості в процесі надання послуг в віртуалізованих мережах на основі теорії мережевого обчислення.