Expand description
RTAs for earliest-deadline first (EDF) scheduling
This module collects RTAs for the EDF policy.
§Citation
The provided analyses are based on the following paper:
- S. Bozhko and B. Brandenburg, “Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle”, Proceedings of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), pp. 22:1–22:24, July 2020.
Please cite the paper when using functionality from this module for academic work.
Modules§
- floating_
nonpreemptive - RTA for EDF scheduling with floating non-preemptive sections (EDF-NPS)
- fully_
nonpreemptive - RTA for EDF scheduling with fully non-preemptive jobs (NP-EDF)
- fully_
preemptive - RTA for EDF scheduling with fully preemptive jobs (EDF)
- limited_
preemptive - RTA for EDF scheduling with limited-preemptive jobs (LP-EDF)