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

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

На очередном заседании нашего семинара выступил научный сотрудник лаборатории Подымов Владислав Васильевич. Тема его доклада: Верификация программно-конфигурируемых сетей.

Аннотация: Программно-конфигурируемые сети (Software-Defined Networks; ПКС) - это архитектура сетей передачи данных, возникшая около десятилетия назад. Основное назначение ПКС - упростить управление сетью: разделить управление и передачу данных, для управления использовать централизованные механизмы, унифицировать принципы работы сетевых устройств. Верификация ПКС состоит в проверке того, удовлетворяет ли поведение сети заданным требованиям к передаче данных. В докладе будет сделан обзор моделей и методов верификации ПКС.