#analysis #lib #paper #server #priority #fixed #et

rta-for-fps-lib

An Implementation of the paper 'Response Time Analysis for Fixed Priority Servers' by Hamann et al

3 unstable releases

0.2.0 Jul 23, 2021
0.1.1 Jul 12, 2021
0.1.0 Jul 12, 2021

#1338 in Algorithms


Used in 2 crates

MIT/Apache

120KB
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

  1. rta-for-fps-lib containing a library with the paper implementation
  2. rta-for-fps-latex-lib a library to help with generation latex diagrams from the output of the main library
  3. rta-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 crates.io version badge docs.rs
rta-for-fps-latex-lib crates.io version badge docs.rs
rta-for-fps-latex-gen crates.io version badge not a library

No runtime deps