4 papers
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…
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…
Exploring Busy Period for Worst-Case Deadline Failure Probability Analysis
Junyi Liu, Xu Jiang, Yuanzhen Mu +2
Busy period is a fundamental concept in classical deterministic real-time scheduling analysis. In this deterministic context, only one busy period - which starts at the critical in…
Improved Convolution-Based Analysis for Worst-Case Probability Response Time of CAN
Haozhe Yi, Junyi Liu, Maolin Yang +2
Controller Area Networks (CANs) are widely adopted in real-time automotive control and are increasingly standard in factory automation. Considering their critical application in sa…