Predicting Specification Violations During BGP Convergence

Authors: Roland Schmid, Tibor Schneider, Georgia Fragkouli, and Laurent Vanbever
CoNEXT-SW '23: Proceedings of the on CoNEXT Student Workshop 2023
PDF
Slides

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.

People

Roland Schmid
PhD student
Tibor Schneider
PhD student

BibTex

@INPROCEEDINGS{schmid2023predicting,
	isbn = {979-8-4007-0452-9},
	copyright = {Creative Commons Attribution 4.0 International},
	doi = {10.3929/ethz-b-000639356},
	year = {2023-12-08},
	booktitle = {CoNEXT-SW '23: Proceedings of the on CoNEXT Student Workshop 2023},
	type = {Conference Paper},
	institution = {EC},
	author = {Schmid, Roland and Schneider, Tibor and Fragkouli, Georgia and Vanbever, Laurent},
	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.},
	keywords = {Transient Specification Violation; Transient Violation; Control-Plane Verification; Probabilistic Verification; Network Simulation},
	language = {en},
	address = {New York, NY},
	publisher = {Association for Computing Machinery},
	title = {Predicting Specification Violations During BGP Convergence},
	PAGES = {25 - 26},
	Note = {19th International Conference on emerging Networking EXperiments and Technologies (CoNEXT 2023); Conference Location: Paris, France; Conference Date: December 8, 2023}
}

Research Collection: 20.500.11850/639356

Slide Sources: https://gitlab.ethz.ch/projects/44609