Performance modelling and analysis of unreliable links with retransmissions using network calculus

During the last two decades, starting with the seminal work by Cruz, network calculus has evolved as an elegant system theory for the performance analysis of networked systems. It has found numerous usages as, for example, in QoS-enabled networks, wireless sensor networks, switched Ethernets, avionic networks, Systems-on-Chip, or, even to speed-up simulations. One of the basic assumptions in network calculus is that links are reliable and operate loss-free. This, of course, is a major abstraction from the reality of many application scenarios, where links are unreliable and often use retransmission schemes to recover from packet losses. As of today, standard network calculus cannot analyze such links. In this paper, we take the challenge to extend the reach of network calculus to unreliable links which employ retransmission-based loss recovery schemes. Key to this is a stochastic extension of the known data scaling element in network calculus [21], which can capture the loss process of an unreliable link. Based on this, modelling links with retransmissions results in a set of equations which are amenable to a fixed-point solution. This allows to find the arrival constraints of each flow that corresponds to a certain number of retransmissions. Based on the description of each retransmission flow, probabilistic performance bounds can be derived. After providing the necessary theory, we illustrate this novel and important extension of network calculus with the aid of a numerical example.

[1]  Yuehong Gao,et al.  Performance Analysis of a Cognitive Radio Network with Imperfect Spectrum Sensing , 2010, 2010 INFOCOM IEEE Conference on Computer Communications Workshops.

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

[3]  Tor Skeie,et al.  Timeliness of real-time IP communication in switched industrial Ethernet networks , 2006, IEEE Transactions on Industrial Informatics.

[4]  Markus Fidler,et al.  WLC15-2: A Network Calculus Approach to Probabilistic Quality of Service Analysis of Fading Channels , 2006, IEEE Globecom 2006.

[5]  Jens B. Schmitt,et al.  On the way to a distributed systems calculus: an end-to-end network calculus with data scaling , 2006, SIGMETRICS '06/Performance '06.

[6]  Jean-Yves Le Boudec,et al.  Application of Network Calculus to Guaranteed Service Networks , 1998, IEEE Trans. Inf. Theory.

[7]  Cheng-Shang Chang On Deterministic Traffic Regulation and Service Guarantees : A Systematic Approach by Filtering , 1998, IEEE Trans. Inf. Theory.

[8]  Florin Ciucu,et al.  On expressing networks with flow transformations in convolution-form , 2011, 2011 Proceedings IEEE INFOCOM.

[9]  Yuming Jiang,et al.  An analysis on error servers for stochastic network calculus , 2008, 2008 33rd IEEE Conference on Local Computer Networks (LCN).

[10]  Yuming Jiang,et al.  A basic stochastic network calculus , 2006, SIGCOMM.

[11]  Mukesh Taneja A service curve approach for quality of service management in integrated services networks , 1998 .

[12]  Yong Liu,et al.  Stochastic Network Calculus , 2008 .

[13]  Florin Ciucu,et al.  A network service curve approach for the stochastic analysis of networks , 2005, SIGMETRICS '05.

[14]  J. Schmitt,et al.  Perspectives on network calculus: no free lunch, but still good value , 2012, SIGCOMM '12.

[15]  Markus Fidler,et al.  Non-equilibrium information envelopes and the capacity-delay-error-tradeoff of source coding , 2011, 2012 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM).

[16]  George C. Polyzos,et al.  Scheduling for quality of service guarantees via service curves , 1995, Proceedings of Fourth International Conference on Computer Communications and Networks - IC3N'95.

[17]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

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

[19]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[20]  Eduardo Tovar,et al.  Modeling and Worst-Case Dimensioning of Cluster-Tree Wireless Sensor Networks , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

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

[22]  Rene L. Cruz,et al.  Quality of Service Guarantees in Virtual Circuit Switched Networks , 1995, IEEE J. Sel. Areas Commun..

[23]  Weijia Jia,et al.  Performance of Acyclic Stochastic Networks with Network Coding , 2011, IEEE Transactions on Parallel and Distributed Systems.

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

[25]  Dapeng Wu,et al.  Effective capacity: a wireless link model for support of quality of service , 2003, IEEE Trans. Wirel. Commun..

[26]  Markus Fidler,et al.  On the delay performance of block codes for discrete memoryless channels with feedback , 2012, 2012 35th IEEE Sarnoff Symposium.

[27]  Rene L. Cruz,et al.  A composable service model with loss and a scheduling algorithm , 2004, IEEE INFOCOM 2004.

[28]  Victor C. M. Leung,et al.  Modeling wireless link layer by network for efficient evaluations of multimedia QoS , 2005, IEEE International Conference on Communications, 2005. ICC 2005. 2005.

[29]  Lothar Thiele,et al.  Performance evaluation of network processor architectures: combining simulation with analytical estimation , 2003, Comput. Networks.

[30]  Almut Burchard,et al.  A Min-Plus Calculus for End-to-End Statistical Service Guarantees , 2006, IEEE Transactions on Information Theory.

[31]  Utz Roedig,et al.  Sensor Network Calculus - A Framework for Worst Case Analysis , 2005, DCOSS.

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

[33]  Markus Fidler,et al.  An End-to-End Probabilistic Network Calculus with Moment Generating Functions , 2005, 200614th IEEE International Workshop on Quality of Service.

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