Predicting Specification Violations During BGP Convergence
OPEN ACCESS
Loading...
Author / Producer
Date
2023-12-08
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
Abstract
Analyzing a network's behavior during convergence is challenging due to its highly non-deterministic nature. To address this, we developed BGPseer, the first analyzer that predicts specification violations during BGP convergence without network disruption.
To do this both accurately and fast, BGPseer builds a probabilistic network timing model based on hardware measurements that allows to sample BGP message orderings, from which BGPseer estimates violation times. We implemented BGPseer by extending an open-source BGP simulator and show that it achieves 85--99% accuracy in estimating violation times in less than ten seconds.
Permanent link
Publication status
published
External links
Editor
Book title
CoNEXT-SW '23: Proceedings of the on CoNEXT Student Workshop 2023
Journal / series
Volume
Pages / Article No.
25 - 26
Publisher
Association for Computing Machinery
Event
19th International Conference on emerging Networking EXperiments and Technologies (CoNEXT 2023)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Transient Specification Violation; Transient Violation; Control-Plane Verification; Probabilistic Verification; Network Simulation
Organisational unit
09477 - Vanbever, Laurent / Vanbever, Laurent
Notes
Funding
851809 - From Network Verification to Synthesis: Breaking New Ground in Network Automation (EC)