2021/09/11 by Ningshi Yao, Yao, Ningshi, Fumin Zhang +1
Computer Science · #Embedded Systems Design Techniques #FOS: Electrical engineering #Formal Methods in Verification #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2109.05375
openalex publication_date 2021/09/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The method of significant moment analysis has been employed to derive instantaneous schedulability tests for real-time systems. However, the instantaneous schedulability can only be checked within a finite time window. On the other hand, worst-case schedulability guarantees schedulability of systems for infinite time. This paper derives the classical worst-case schedulability conditions for preemptive periodic systems starting from instantaneous schedulability, hence unifying the two notions of schedulability. The results provide a rigorous justification on the critical time instants being the worst case for scheduling of preemptive periodic systems. The paper also show that the critical time instant is not the only worst case moments.