Synthesis of Fault-Tolerant Distributed Router Configurations

摘要: Operators of modern networks require support for diverse and complex end-to-end policies, such as, middlebox traversals, isolation, traffic engineering. While Software-defined Networking (SDN) provides centralized custom routing functionality in to realize these many still deploy "legacy" control planes running distributed protocols like OSPF BGP because are scalable robust failures. However, realization policies by plane configurations is manual error-prone. We present Zeppelin, a system automatically generating policy-compliant that also behave well under majority small network Zeppelin differs from existing approaches it uses paths guide the synthesis process instead directly configurations. show synthesizes highly resilient real topologies with up 80 routers.