В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.
Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
Семинар лаборатории ПОИС: Верификация программно-конфигурируемых сетей // В.В. Подымов
На очередном заседании нашего семинара выступил научный сотрудник лаборатории Подымов Владислав Васильевич. Тема его доклада: Верификация программно-конфигурируемых сетей.
Аннотация: Программно-конфигурируемые сети (Software-Defined Networks; ПКС) - это архитектура сетей передачи данных, возникшая около десятилетия назад. Основное назначение ПКС - упростить управление сетью: разделить управление и передачу данных, для управления использовать централизованные механизмы, унифицировать принципы работы сетевых устройств. Верификация ПКС состоит в проверке того, удовлетворяет ли поведение сети заданным требованиям к передаче данных. В докладе будет сделан обзор моделей и методов верификации ПКС.