Search results

In this module, we will apply that knowledge to explore how SDN can be used to solve problems in various networking domains. We'll start by looking at data-center networking, where SDN has arguably gained the strongest foothold (to date). We'll then explore applications of SDN to interdomain routing, where new applications and deployments are emerging. Finally, we'll explore the application of SDN in home networks, which has seen some preliminary work, deployments, and ideas. Задачи обучения Relate the challenges of network management data center networking. Discuss how SDN can help solve some of the problems that data center network operators face. Review the basics of Internet peering and interdomain routing, how BGP supports interdomain routing policies today, and things that GBP does not do well today. Compare the advantages and challenges of using SDN for interdomain routing. Explore how SDN can be used to simplify network management challenges in homes.

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.

author - Дарья Сидоренко

author - Chen Guangyuan

работа Рената Ахметжанова

Видеопрезентация

Зиятдинов Р.М

Зиятдинов Р.М