Proactive Network Configuration Validation with Batfish – NANOG (2015) Presentation

is an open-source configuration analysis tool in active development produced jointly by researchers at University of California, Los Angeles; University of Southern California; and Research. Though its individual modules have various applications, its primary purpose is to detect in configurations. Batfish takes as input a set of configurations, and an environment, which consists of a set of (in)active links and a set of external BGP advertisements. Users are able to ask customized queries about the control plane using Batfish’s domain-specific query language e.g. whether all loopback are being advertised into OSPF, or whether all route policies attached to eBGP neighbors apply a particular community to incoming routes. Batfish also is able to compute the convergent data plane for a , which provides further query facilities. Given the data plane, users can employ an off-the-shelf data plane checker or use Batfish’s data-plane queries to check common properties such as reachability/black holes, loops, etc, as well as novel properties (introduced at NSDI’15) regarding equivalence of multipath routes, fault-tolerance, and unique delegation of customer address space, with more to come.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.