Poster: Tiny-twin: A Lightweight and Verifiable Digital Twin for NextG Cellular Networks

The next generation of cellular networks, driven by applications like large-scale autonomy, extended reality, and IoT-based control, demands high network performance in terms of throughput, latency, and jitter, along with quick network adaptability. Developing these applications and corresponding network algorithms on commercial radio access networks (RAN) or through large-scale frameworks such as [1, 2] is often prohibitively expensive and time-consuming. Currently, the norm is to use simpler, simulated environments for initial testing, followed by real-world network evaluations. This approach simplifies testing but may not accurately capture the cellular network's complexities that can significantly impact application performance. Can we optimize both?