Showing 2026Show all
2 papers · 1 filter
cs.LO2026
ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents
Junyi Liu, Tianchi Ren, Fei Guan +4
Rigorous schedulability analysis is essential for the design of hard real-time systems, yet errors in pen-and-paper proofs threaten the safety of critical applications. The Prosa i…
cs.NI2026
DTMC-Based Analysis and Scheduling for Periodic Flows with Proactive HARQ
Haozhe Yi, Junyi Liu, Maolin Yang +5
Ultra-Reliable Low-Latency Communication (URLLC) requires strict reliability and latency guarantees for heterogeneous periodic traffic. Proactive HARQ improves resource efficiency…