#latex #diagram #lib

rta-for-fps-latex-lib

A library intended to be used with rta-for-fps-lib to help generate latex diagrams

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

MIT/Apache

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

  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

Dependencies