response_time_analysis/fixed_priority/mod.rs
1/*! RTAs for *fixed-priority* (**FP**) scheduling
2
3This module collects RTAs for FP scheduling (also known as
4*static-priority* or *task-level fixed-priority* scheduling).
5
6## Citation
7
8The provided analyses are based on the following paper:
9
10- 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.
11
12Please cite the paper when using functionality from this module for academic work.
13
14 */
15
16pub mod floating_nonpreemptive;
17pub mod fully_nonpreemptive;
18pub mod fully_preemptive;
19pub mod limited_preemptive;
20
21#[cfg(test)]
22mod tests;