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

22 апреля на базе факультета ВМК МГУ им.Ломоносова  прошел очередной семинар в рамках Курса «Сетевые технологии и интернет будущего» - на тему "Верификация SDN". Семинар  носил научный характер, с докладами выступили сотрудники Центра прикладных исследований компьютерных сетей. Почему эта тема актуальна?

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

Представляем вашему внимаю видео с мероприятия. В.А. Захаров, Е.В. Чемерицкий / «Формальные методы верификации программ»


В.В. Подымов / «Верификация политик коммутации для SDN-сетей»


Алтухов В.С. / «Верифицирующий монитор для SDN-сетей» (демонстрация)


Обсуждение