DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems

Recent results on Network Calculus applied to FIFO networks show that, in the general case, end-to-end delay bounds cannot be computed in a closed form, whereas solving non-linear programming problems is instead required. Furthermore, it has been shown that these bounds may be larger than the actual worst-case delay, which also calls for computing lower bounds on the latter. This paper presents DEBORAH (Delay Bound Rating AlgoritHm), a tool for computing upper and lower bounds to the worst-case delay in FIFO tandem networks. DEBORAH can analyze tandems of up to several tens of nodes in reasonable time on off-the-shelf hardware. We overview the various algorithms used by DEBORAH to perform the various steps of the computations, and describe its usage.

[1]  R. Agrawal,et al.  Performance Bounds for Flow Control Protocols 1 , 1998 .

[2]  Eric Thierry,et al.  Tight performance bounds in the worst-case analysis of feed-forward networks , 2010, 2010 Proceedings IEEE INFOCOM.

[3]  Eric C. Rosen,et al.  Multiprotocol Label Switching Architecture , 2001, RFC.

[4]  Cheng-Shang Chang,et al.  Performance guarantees in communication networks , 2000, Eur. Trans. Telecommun..

[5]  Rajeev Agrawal,et al.  Performance bonds for flow control protocols , 1999, TNET.

[6]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[7]  Zheng Wang,et al.  An Architecture for Differentiated Services , 1998, RFC.

[8]  Eric Thierry,et al.  An Algorithmic Toolbox for Network Calculus , 2008, Discret. Event Dyn. Syst..

[9]  Luciano Lenzini,et al.  Delay bounds for FIFO aggregates: a case study , 2005, Comput. Commun..

[10]  Markus Fidler,et al.  Survey of deterministic and stochastic service curve models in the network calculus , 2009, IEEE Communications Surveys & Tutorials.

[11]  Rene L. Cruz,et al.  A calculus for network delay, Part II: Network analysis , 1991, IEEE Trans. Inf. Theory.

[12]  Jens B. Schmitt,et al.  The DISCO network calculator: a toolbox for worst case analysis , 2006, valuetools '06.

[13]  Luciano Lenzini,et al.  Estimating the worst-case delay in FIFO tandems using network calculus , 2008, VALUETOOLS.

[14]  Jean-Yves Le Boudec,et al.  Network Calculus , 2001, Lecture Notes in Computer Science.

[15]  Wilton R. Abbott,et al.  Network Calculus , 1970 .

[16]  David L. Black,et al.  An Architecture for Differentiated Service , 1998 .

[17]  Henrik Schiøler,et al.  CyNC: a MATLAB/SimuLink toolbox for network calculus , 2007, Valuetools 2007.

[18]  Luciano Lenzini,et al.  Tight end-to-end per-flow delay bounds in FIFO multiplexing sink-tree networks , 2006, Perform. Evaluation.

[19]  Luciano Lenzini,et al.  A methodology for computing end-to-end delay bounds in FIFO-multiplexing tandems , 2008, Perform. Evaluation.