Atlas: Towards Real-Time Verification in Large-Scale Networks via a Native Distributed Architecture
Data plane verification (DPV) can be critical in ensuring the network operates correctly. To be useful in practice, they need to be: (1) fast so as to prevent significant packet loss or security violations; (2) scalable so as to accommodate today's large-scale network architecture. Current DPV tools struggle to meet these requirements due to their centralized architecture. To be concrete, there is a bottleneck for a single-point server to perform real-time DPV tasks. Furthermore, a single-point server makes it hard to collect real-time data plane updates from every device in large-scale networks.
Authors
- Haifeng Sun (ORCID: https://orcid.org/0000-0003-3072-7422)
- Chenyang Zhao (ORCID: https://orcid.org/0009-0000-2550-756X)
- Y. B. Guo (ORCID: https://orcid.org/0000-0001-9497-6802)
- Ming Ma (ORCID: https://orcid.org/0000-0002-2060-2266)
- Jianxin Liao (ORCID: https://orcid.org/0000-0003-1486-0573)
- Yuehan Zhang
- Zirui Zhuang (ORCID: https://orcid.org/0000-0003-3345-1732)
- Lingqi Guo (ORCID: https://orcid.org/0000-0001-6999-6262)
- Gong Zhang (ORCID: https://orcid.org/0000-0003-0283-7050)
- Qi Qi (ORCID: https://orcid.org/0000-0003-0829-4624)
- Jingyu Wang (ORCID: https://orcid.org/0000-0002-2182-2228)
- Bo He (ORCID: https://orcid.org/0000-0003-1301-4981)
Institutions
- Beijing University of Posts and Telecommunications (CN)
- Peng Cheng Laboratory (CN)
- Huawei Technologies (United Kingdom) (GB)
- Switch (CH)
Publication Details
- Published
- 2025-03-26
- DOI
- https://doi.org/10.1145/3689031.3717494
- Citations
- 2
- Primary Topic
- Software-Defined Networks and 5G
- Type
- article
- Field-Weighted Citation Impact
- 2.97