Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing
F. Zhang and A. Burns
Earliest Deadline First (EDF) is the most widely studied optimal dynamic scheduling algorithm for uniprocessor real-time systems. In the existing literature, however, there is no complete exact analysis for EDF scheduling when both resource sharing and release jitter are considered. Since resource sharing and release jitter are important characteristics of embedded real-time systems, a solid theoretical foundation should be provided for EDF scheduled systems. In this paper, we extend traditional processor demand analysis to let arbitrary deadline real-time tasks share non-preemptable resources and suffer release jitter. A complete and exact schedulability analysis for EDF scheduled systems is provided. This analysis is incorporated into QPA (Quick Processor-demand Analysis) which provides an efficient implementation of the exact test
Download Not Available
BibTex Entry
@article{Zhang2013,
author = {F. Zhang and A. Burns},
journal = {ACM Transactions on Embedded Computing Systems (TECS)},
number = {3},
pages = {67-1--67-18},
publisher = {ACM},
title = {Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing},
volume = {12},
year = {2013}
}