Shaoqing Liu

LLM-Driven Semantic Consistency Analysis for TRDP Implementations in Train Networks

To address the difficulty of detecting silent inconsistencies in Train Real-time Data Protocol implementations, we propose TRDP-Guard, an automated protocol consistency checking architecture based on large language model (LLM)-driven semantic analysis. TRDP-Guard extracts structured rules from the IEC 61375 standard, l...