DeepNC: A Fast GNN-based Pre-Verification Surrogate for TSN Configuration

Jiayi Zhu, Jing Lin, Zelong Tian +2

Time-Sensitive Networking (TSN) is critical to deterministic communication in safety-critical domains, with formal verification such as Network Calculus (NC) serving as the corners…