Семинар №5 "Верификация ПКС/SDN"

ЦПИКС продолжает курс открытых семинаров «Сетевые технологии и интернет будущего», посвященных новым прорывным технологиям в сфере современных компьютерных сетей. В числе таких технологий прежде всего программно-конфигурируемые сети (software defined networking, SDN) и виртуализация сетевых функций (network function virtualization, NFV), которые меняют традиционные методики проектирования, внедрения и управления корпоративными сетями, сетями в ЦОД и инфраструктурах телекоммуникационных компаний. Семинар будет носить научный характер, с докладами выступят сотрудники Центра прикладных исследований компьютерных сетей. Почему эта тема актуальна?

1. Рано или поздно система компьютерных сетей организации становится такой сложной, что её корректность становится неочевидной - появляются ошибки, их исправление приводит к новым ошибкам и т.д. Верификация даёт формальное и строгое доказательство того, что система удовлетворяет каким-то свойствам, работает как ожидается. Есть много примеров, когда в известных протоколах находили критические ошибки.
2.  Часто от инженеров хотят невозможного: предъявляемые к сети требования несовместимы между собой. Верификация может определить принципиальную возможность достижения этих требований, и сэкономить время на неудачных попытках придумать правильную конфигурацию.
3. Можно проверять правильность программ для контроллера не методом проб и ошибок, итеративно запуская модель и наступая на новые грабли, а строго формально и сразу.

Докладчики и темы выступлений: 1. В.А. Захаров, Е.В. Чемерицкий / "Формальные методы верификации программ"  2. В.В. Подымов / "Верификация политик коммутации для SDN-сетей" 3. Алтухов В.С. / "Верифицирующий монитор для SDN-сетей" (демонстрация)   [caption id="attachment_883" align="aligncenter" width="193"] HR-ПАРТНЕР[/caption] [caption id="attachment_886" align="aligncenter" width="300"] ИНФОРМАЦИОННЫЙ ПАРТНЕР[/caption]   Вход – свободный, необходима регистрация МГУ им. Ломоносова, 2-ой учебный корпус,  факультет ВМК, ауд.П6 Начало  в 18.30. При себе иметь документ, удостоверяющий личность Подробнее о следующих семинарах читайте здесь