• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

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

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

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