Неделя 8 ( Week 8)

by Sasha Shkrebets — last modified Mar 20, 2023 08:10 AM
In this module, we'll be looking at another control framework built using Pyretic called "Kinetic". Kinetic is a domain-specific language embedded in Pyretic that allows programmers and network operators to automatically verify the correctness properties of the control program. Your previous experience with Pox and Pyretic should provide you with very useful experience and perspective for comparing the three ways of programming a controller. In the assignment, we ask you to compare Kinetic to either Pox or Pyretic, so the experience you gained from those assignments should prove very useful. Задачи обучения Describe the different types of ways to verify the correctness of a network configuration and behavior. Distinguish between methods of checking assertions in model checking. Write control programs and automatically model check them using Kinetic.
Configuration Verification — by Sasha Shkrebets — last modified Mar 20, 2023 08:10 AM
Мы запускаем модуль проверки. Мотивация проверки заключается в том , чтобы определить, правильно ли работает сеть. В этом модуле мы рассмотрим различные методы проверки, такие как проверка конфигурации, которая была возможной до программного обеспечения определенной сети. Затем мы рассмотрим верификацию плоскости управления и верификацию плоскости данных. Начнем с проверки конфигурации.
Data Plane Verification — by Sasha Shkrebets — last modified Mar 20, 2023 08:11 AM
Мы продолжаем обсуждение вопроса о проверке. И в этой лекции мы поговорим о верификации плоскости данных. В частности, мы рассмотрим, как проверить, приведет ли состояние плоскости данных к проблемам корректности при пересылке пакетов через сеть.
Wireless — by Sasha Shkrebets — last modified Mar 20, 2023 08:11 AM
В этой лекции я дам краткий обзор появления программно-определяемых сетей в беспроводных сетях. У нас нет времени подробно освещать эту тему, но я дам краткий обзор нескольких проектов, в которых программно определяемые сети дают некоторые обещания. Давайте сначала поговорим о целях программно-определяемых сетей применительно к беспроводным сетям.
Open Problems and Next Steps — by Sasha Shkrebets — last modified Mar 20, 2023 08:11 AM
Мы говорим о будущем SDN и, в частности, я буду обсуждать то, что я считаю некоторыми важными открытыми проблемами и вызовами по мере продвижения вперед в этой области. Оговорка с этой конкретной лекцией заключается в том, что слишком много открытых проблем, чтобы обсудить в такой короткой лекции. Итак, мы подытожим основные моменты из некоторых интервью курса. Я хочу поговорить о конкретных проблемах, которые, на мой взгляд, интересны в этой области. Следует также отметить, что многие из проблем, которые я обсужу в этом уроке, являются проблемами, над которыми я работаю в своей собственной исследовательской лаборатории. Так что если какая-то проблема поразит вас, я настоятельно рекомендую вам оставить мне записку, и мы можем исследовать совместную работу над одной из этих захватывающих проблем.