[论文解读] xeoverse: A Real-time Simulation Platform for Large LEO Satellite Mega-Constellations

Mohamed M. Kassem, Nishanth Sastry|arXiv (Cornell University)|Jun 17, 2024

Spacecraft Design and Technology被引用 4

一句话总结

xeoverse 是一个用于大规模低地球轨道（LEO）卫星巨型星座的实时、高保真度仿真平台，通过预计算的拓扑结构、增量式激光链路（ISL）更新以及场景感知的拓扑剪枝技术，实现在单台26核机器上实时仿真5,442颗Starlink卫星。其仿真速度分别比Hypatia和StarryNet快2.9倍和40倍，同时在仿真阶段保持了较低的CPU和内存占用。

ABSTRACT

In the evolving landscape of satellite communications, the deployment of Low-Earth Orbit (LEO) satellite constellations promises to revolutionize global Internet access by providing low-latency, high-bandwidth connectivity to underserved regions. However, the dynamic nature of LEO satellite networks, characterized by rapid orbital movement and frequent changes in Inter-Satellite Links (ISLs), challenges the suitability of existing Internet protocols designed for static terrestrial infrastructures. Testing and developing new solutions and protocols on actual satellite mega-constellations are either too expensive or impractical because some of these constellations are not fully deployed yet. This creates the need for a realistic simulation platform that can accurately simulate this large scale of satellites, and allow end-to-end control over all aspects of LEO constellations. This paper introduces xeoverse, a scalable and realistic network simulator designed to support comprehensive LEO satellite network research and experimentation. By modeling user terminals, satellites, and ground stations as lightweight Linux virtual machines within Mininet and implementing three key strategies -- pre-computing topology and routing changes, updating only changing ISL links, and focusing on ISL links relevant to the simulation scenario -- xeoverse achieves real-time simulation, where 1 simulated second equals 1 wall-clock second. Our evaluations show that xeoverse outperforms state-of-the-art simulators Hypatia and StarryNet in terms of total simulation time by being 2.9 and 40 times faster, respectively.

研究动机与目标

• 解决大规模 LEO 卫星巨型星座缺乏可扩展、实时且高保真度仿真平台的问题。
• 为协议与算法研究提供对用户终端、卫星和地面站的端到端控制能力。
• 克服现有仿真器（如 Hypatia 和 StarryNet）在大规模场景下速度过慢或缺乏实时响应能力的局限性。
• 在保持卫星动力学、ISL 变化及天气等环境影响精确建模的同时，降低计算开销。
• 支持在拓扑变化和天气引起的链路质量下降等动态条件下，对网络协议进行真实有效的评估。

提出的方法

• 预先为每个时间点预计算卫星拓扑和路由变化，通过确保即时实例化实现实时仿真。
• 通过仅计算连续时间步之间发生变化的 ISL 链路，实现增量更新，减少冗余计算。
• 采用场景感知的拓扑剪枝策略，仅关注与活跃流量流相关的节点和链路，最大限度降低计算负载。
• 使用两行元素（TLE）集建模卫星运动，并通过 ITU 模型集成射频参数、信噪比（SNR）和天气影响，实现对链路行为的真实建模。
• 在 Mininet 中以轻量级 Linux 虚拟机形式运行用户终端、卫星和地面站，实现完整的网络协议栈仿真。
• 采用标准 TCP 和 ICMP 实现，确保协议层行为的保真度，与以往仿真器中抽象化的 API 不同。

Figure 1 : Workflow of xeoverse Simulator. The process is divided into two stages. The xeoverse Back Stage builds the constellation topology, calculate the link characteristics in terms of latency and capacity, and finally compute the routing tables for each satellite. The xeoverse Main Stage config

实验结果

研究问题

• RQ1 仿真平台能否在真实时间（1秒仿真时间 = 1秒时钟时间）内完成像 Starlink 的 5,442 颗卫星星座这样的全规模 LEO 巨型星座仿真？
• RQ2 该平台在高效扩展的同时，如何保持对动态 ISL、卫星运动以及天气等环境影响的高保真度建模？
• RQ3 拓扑预计算与增量更新在多大程度上能减少仿真开销而不牺牲准确性？
• RQ4 与当前最先进的仿真器（如 Hypatia 和 StarryNet）相比，该平台在速度、CPU 和内存使用方面的性能如何？
• RQ5 该平台能否准确反映现实世界中的网络行为，例如 ISL 路径切换导致的 TCP 吞吐量下降或天气引起的链路质量下降？

主要发现

• xeoverse 在单台 26 核、64GB 内存的机器上实现了对完整 Starlink 星座（5,442 颗卫星）的实时仿真，达到真正的实时性能。
• 在对整个 Starlink Shell 1 星座单个流量流的仿真中，其速度是 StarryNet 的 40 倍，是 Hypatia 的 2.9 倍。
• 在仿真更新阶段，xeoverse 仅使用 15.9% 的 CPU 和 8.5% 的内存，相比 Hypatia 实现了 5.4 倍的 CPU 效率提升和 3.7 倍的内存效率提升。
• 平台准确捕捉了 ISL 路径切换对 TCP 吞吐量的影响，在第 51 秒时吞吐量从 77.3 Mbps 下降至 8 Mbps，与真实世界观测结果一致。
• 在雨天条件下，xeoverse 模拟的下行链路吞吐量与真实 Starlink 数据相比仅偏差 16%，而晴天条件下的偏差仅为 2%，表明其对真实世界天气效应具有极强的保真度。
• 预计算阶段的 CPU 使用率（57%）高于 Hypatia（4.7%），但该开销为一次性成本，不影响重复仿真运行。

Figure 2 : LEO Networks topology changes. Number of ISLs changes (left y-axis) per minute using colored dots: red for three occurrences, orange for two, and green for a single occurrence within each minute, visually representing the frequency and distribution of ISL changes.