rta-for-fps-latex-gen
| Crates.io | rta-for-fps-latex-gen |
| lib.rs | rta-for-fps-latex-gen |
| version | 0.2.0 |
| source | src |
| created_at | 2021-07-12 10:33:08.734172 |
| updated_at | 2021-07-23 16:28:21.940332 |
| description | An example usage of rta-for-fps-latex-lib reproducing a few figures from the paper 'Response Time Analysis for Fixed Priority Servers' by Hamann et al |
| homepage | |
| repository | https://github.com/Skgland/Response-Time-Analysis-for-Fixed-Priority-Servers |
| max_upload_size | |
| id | 421841 |
| size | 6,548 |
Bennet Bleßmann (Skgland)
documentation
README
Response Time Analysis for Fixed Priority Servers implemented in Rust
This Project is an implementation of the paper Response Time Analysis for Fixed Priority Servers by Hamann et al. written in Rust.
The Project consists of three parts
rta-for-fps-libcontaining a library with the paper implementationrta-for-fps-latex-liba library to help with generation latex diagrams from the output of the main libraryrta-for-fps-latex-genan example usage of both libraries recreating a few of the papers figures
The goal behind this project is a better understanding of said paper as preparation for writing a seminar paper.
The implementation tries to reference the paper where practical and improve on it with type safety. The examples in the paper are incorporated as tests where possible.
| crate | crates.io | docs.rs |
|---|---|---|
| rta-for-fps-lib |  |
 |
| rta-for-fps-latex-lib | |
|
| rta-for-fps-latex-gen | |
not a library |