Schedulability Analysis of Task Sets with Upper- and Lower-Bound Temporal Constraints
Name
Shah_Schedulability analysis.pdf
Size
1.54 MB
Format
Adobe PDF
Checksum (MD5)
0be64b33549b093aed8f3dce44b8b32b
Author(s)
Shah, Julie A.
Gombolay, Matthew Craig
Date Issued
December 2014
Journal
Journal of Aerospace Information Systems
Publisher
American Institute of Aeronautics and Astronautics
Citation
Gombolay, Matthew C., and Julie A. Shah. “Schedulability Analysis of Task Sets with Upper- and Lower-Bound Temporal Constraints.” Journal of Aerospace Information Systems 11, no. 12 (December 2014): 821–841.
Version
Author's final manuscript
Abstract
Increasingly, real-time systems must handle the self-suspension of tasks (that is, lower-bound wait times between subtasks) in a timely and predictable manner. A fast schedulability test that does not significantly overestimate the temporal resources needed to execute self-suspending task sets would be of benefit to these modern computing systems. In this paper, a polynomial-time test is presented that is known to be the first to handle nonpreemptive self-suspending task sets with hard deadlines, where each task has any number of self-suspensions. To construct the test, a novel priority scheduling policy is leveraged, the jth subtask first, which restricts the behavior of the self-suspending model to provide an analytical basis for an informative schedulability test. In general, the problem of sequencing according to both upper-bound and lower-bound temporal constraints requires an idling scheduling policy and is known to be nondeterministic polynomial-time hard. However, the tightness of the schedulability test and scheduling algorithm are empirically validated, and it is shown that the processor is able to effectively use up to 95% of the self-suspension time to execute tasks.
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.2514/1.I010202
