Presentation Information
[B-7-07]Prioritized Visualization of Reachability Changes Using a Network Verifier
◎Shunya Omi1, Takeru Inoue1 (1. University of Yamanashi)
Keywords:
network verification,network management
As networks grow more complex, configuration changes have become a leading cause of failures. Model-based verification (Batfish) enables exhaustive checking, but its high computational cost has limited its adoption in continuous operations such as monitoring. This paper proposes BfWeb, a reachability visualization system that uses Batfish as a backend and dynamically determines re-analysis priorities from configuration diffs, presenting high-impact reachability changes first. Based on the changed nodes, multiple priority levels are assigned to each reachability pair, and results are delivered progressively over WebSocket. In an evaluation on the Stanford backbone network (16 nodes), the results for impacted pairs were finalized about 40% faster than with simultaneous analysis of all pairs, confirming the effectiveness of the prioritization.