Семинар №5 "Верификация ПКС/SDN"
ЦПИКС продолжает курс открытых семинаров «Сетевые технологии и интернет будущего», посвященных новым прорывным технологиям в сфере современных компьютерных сетей. В числе таких технологий прежде всего программно-конфигурируемые сети (software defined networking, SDN) и виртуализация сетевых функций (network function virtualization, NFV), которые меняют традиционные методики проектирования, внедрения и управления корпоративными сетями, сетями в ЦОД и инфраструктурах телекоммуникационных компаний.
Семинар будет носить научный характер, с докладами выступят сотрудники Центра прикладных исследований компьютерных сетей.
Почему эта тема актуальна?
- Рано или поздно система компьютерных сетей организации становится такой сложной, что её корректность становится неочевидной - появляются ошибки, их исправление приводит к новым ошибкам и т.д. Верификация даёт формальное и строгое доказательство того, что система удовлетворяет каким-то свойствам, работает как ожидается. Есть много примеров, когда в известных протоколах находили критические ошибки.
- Часто от инженеров хотят невозможного: предъявляемые к сети требования несовместимы между собой. Верификация может определить принципиальную возможность достижения этих требований, и сэкономить время на неудачных попытках придумать правильную конфигурацию.
- Можно проверять правильность программ для контроллера не методом проб и ошибок, итеративно запуская модель и наступая на новые грабли, а строго формально и сразу.
Докладчики и темы выступлений:
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.
При себе иметь документ, удостоверяющий личность
Подробнее о следующих семинарах читайте здесь