2 papers
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.NI2025
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…