Open access
Datum
2023-12-08Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
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. Mehr anzeigen
Persistenter Link
https://doi.org/10.3929/ethz-b-000639356Publikationsstatus
publishedExterne Links
Buchtitel
CoNEXT-SW '23: Proceedings of the on CoNEXT Student Workshop 2023Seiten / Artikelnummer
Verlag
Association for Computing MachineryKonferenz
Thema
Transient Specification Violation; Transient Violation; Control-Plane Verification; Probabilistic Verification; Network SimulationOrganisationseinheit
09477 - Vanbever, Laurent / Vanbever, Laurent
Förderung
851809 - From Network Verification to Synthesis: Breaking New Ground in Network Automation (EC)
ETH Bibliographie
yes
Altmetrics