Efficient exact test for rate-monotonic schedulability using large period-dependent initial values

Wan Chen Lu*, Kwei Jay Lin, Hsin Wen Wei, Wei Kuan Shih

*Corresponding author for this work

Research output: Contribution to journalJournal Article peer-review

6 Scopus citations


Real-time systems using rate-monotonic fixed priority scheduling can be checked for schedulability either by sufficient but pessimistic schedulability conditions or by exact testing. Exact testing provides a more precise result but may not be performed in polynomial time. Audsley et al. proposed one of the earliest methods by iteratively deriving the response times of jobs. Other researchers have improved the exact test method by using different initial values for testing. In this paper, we propose new initial values of pi, - pi-1, and Pi/2 in a task set of i tasks, where p, is the period of task τl. We show that the new initial values can significantly improve the efficiency of exact testing. These period-dependent initial values can also be used for the schedulability test of multiframe task models and effectively reduce the number of iterations for testing.

Original languageEnglish
Pages (from-to)648-659
Number of pages12
JournalIEEE Transactions on Computers
Issue number5
StatePublished - 2008
Externally publishedYes


  • Fixed-priority preemtive scheduling
  • Periodic tasks
  • Real-time systems
  • Schedulability analysis


Dive into the research topics of 'Efficient exact test for rate-monotonic schedulability using large period-dependent initial values'. Together they form a unique fingerprint.

Cite this