Семинар лаборатории ПОИС: Исследование методов контроля функционирования программно-конфигурируемых сетей // Е. Чемерицкий

На очередном заседании нашего семинара выступил аспирант ВМК МГУ Евгений Чемерицкий. Тема его доклада:  Исследование методов контроля функционирования программно-конфигурируемых сетей.

Аннотация:  Работа посвящена исследованию применения формальных методов для решения задачи проверки соответствия нового класса компьютерных сетей — программно-конфигурируемых сетей, предъявлямым к ним требованиям политик маршрутизации. В докладе приводится краткое описание устройства и принципов функционирования программно-конфигурирумых сетей, а так же рассматриваются методы для анализа двух классов свойств сетей указанного вида: логических свойств отношения маршрутизации пакетов и свойства своевременности их доставки.