Crate rta_for_fps_lib

Source
Expand description

Implementation based on the algorithms described in The paper Response Time Analysis for Fixed Priority Servers by Hamann et al

Modulesยง

  • Module that defines the finite Curve type
  • Module for the Iterator based implementation
  • Module for Server definition
  • Module for the System type
  • Module for the Task definition
  • Module defining a Unit of Time
  • Module defining the Window and its operations