3 unstable releases
0.2.0 | Jul 23, 2021 |
---|---|
0.1.1 | Jul 12, 2021 |
0.1.0 | Jul 12, 2021 |
#462 in Visualization
21 downloads per month
Used in rta-for-fps-latex-gen
125KB
2.5K
SLoC
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-lib
containing a library with the paper implementationrta-for-fps-latex-lib
a library to help with generation latex diagrams from the output of the main libraryrta-for-fps-latex-gen
an 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 |