From instantaneous schedulability to worst case schedulability: a significant moment approach

Ningshi Yao and Fumin Zhang

Cyber-Physical Systems, 2025, vol. 11, issue 4, 385-417

Abstract: The method of significant moment analysis has been used to derive instantaneous schedulability tests for real-time tasks. However, the instantaneous schedulability can only be checked within a finite time window. On the other hand, worst-case schedulability guarantees schedulability of tasks for infinite time. This paper derives the classical worst-case schedulability conditions for pre-emptive periodic tasks starting from instantaneous schedulability, hence unifying the two notions of schedulability. The results provide a rigorous justification for the critical time instants being the worst case for scheduling pre-emptive periodic tasks. The paper also shows that the critical time instant is not the only worst-case moments.

Date: 2025
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1080/23335777.2024.2426245 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:tcybxx:v:11:y:2025:i:4:p:385-417

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/tcyb20

DOI: 10.1080/23335777.2024.2426245

Access Statistics for this article

Cyber-Physical Systems is currently edited by Yang Xiao

More articles in Cyber-Physical Systems from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().