Static Priorities

This repository implements the analysis of a network having static priorities scheduling. In addition to the flow for FIFO or blind multiplexing, a flow, also has a priority level (the lower the number, the higher the priority) and a maximum packet length. The main goal of this analysis is to transform each priority server into a set of FIFO servers (one per priority level), ni order to be able to perform a FIFO analysis of each class of traffic.

• The module spFlow is for describing the priority flow, and can also aggregate flows according to the priiority level

• The module spServer computes the pr-class service curves. Note that it is not needed to give the description as a spServer , aas the construction is directly done when analyzing the network.

• The module :mod: spNetwork describes the static priority network, as s list of spFlows and Servers. Iteratively compute the equivalent FIFO network for each priority level.

The results are based on the results of the Inria report [1]

References:

[1] Anne Bouillard, Éric Thierry and Laurent Jouhet. Service curves in Network calculus: dos and don’ts,

RR INRIA 7094, 2009.

• spFlow module
  • SpFlow
  • aggregate_sp_flows()
  • sp_num_classes()
• spServer module
  • SpServer
    • SpServer.length_bar_simple
    • SpServer.length_bar_strict
    • SpServer.residual()
• spNetwork module
  • SpNetwork
    • SpNetwork.equiv_network()
    • SpNetwork.per_class_network()