Automatically Repairing Network Control Planes Using an Abstract Representation
Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu · 2017
The forwarding behavior of computer networks is governed by the configuration of distributed routing protocols and access filters---collectively known as the network control plane. Unfortunately, control plane configurations are often buggy, causing networks to violate important policies: e.g., specific traffic classes (defined in terms of source and destination endpoints) should always be able to reach their destination, or always traverse a waypoint. Manually repairing these configurations is daunting because of their inter-twined nature across routers, traffic classes, and policies.