response_time_analysis/edf/mod.rs
1/*! RTAs for *earliest-deadline first* (**EDF**) scheduling
2
3This module collects RTAs for the EDF policy.
4
5## Citation
6
7The provided analyses are based on the following paper:
8
9- S. Bozhko and B. Brandenburg, “[Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle](https://drops.dagstuhl.de/opus/volltexte/2020/12385/pdf/LIPIcs-ECRTS-2020-22.pdf)”, *Proceedings of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)*, pp. 22:1--22:24, July 2020.
10
11Please cite the paper when using functionality from this module for academic work.
12
13 */
14
15pub mod floating_nonpreemptive;
16pub mod fully_nonpreemptive;
17pub mod fully_preemptive;
18pub mod limited_preemptive;
19
20#[cfg(test)]
21mod tests;