- 22 апреля 2014, вторник
- Москва, Москва, 2-ой Учебный корпус МГУ, Ленинские горы, д. 1, стр. 52, факультет ВМК, 2 этаж, аудитория П-13
Семинар №5: Верификация SDN/ПКС
Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
ЦПИКС продолжает курс открытых семинаров «Сетевые технологии и интернет будущего», посвященных новым прорывным технологиям в сфере современных компьютерных сетей. Следующий семинар будет посвящен теме верификации сетей.
Почему эта тема актуальна:
1. Рано или поздно любая информационная система становится настолько сложной, что её корректность становится неочевидной — появляются ошибки, их исправление приводит к новым ошибкам и т.д. Верификация даёт формальное и строгое доказательство того, что система удовлетворяет каким-то свойствам, работает как ожидается. Есть множество примеров, когда даже в известных протоколах находили критические ошибки.
2. Часто от инженеров хотят невозможного: предъявляемые к сети требования несовместимы между собой. Верификация может определить принципиальную возможность достижения этих требований, и сэкономить время на неудачных попытках придумать правильную конфигурацию.
3. Можно проверять правильность программ для контроллера SDN не методом проб и ошибок, итеративно запуская модель и наступая на новые грабли, а строго формально и сразу.
Докладчики и темы выступлений:
1. В.А. Захаров, д.ф.-м.н., Московский государственный университет им. М.В. Ломоносова, Е.В. Чемерицкий, Центр прикладных исследований компьютерных сетей
"Формальные методы верификации программ"
2. В.В. Подымов, Центр прикладных исследований компьютерных сетей
"Верификация политик коммутации для SDN-сетей"
3. Алтухов В.С., Центр прикладных исследований компьютерных сетей
"Верифицирующий монитор для SDN-сетей"