Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs

In Ethernet Passive Optical Networks (EPONs), the equipment placed at the customer premises, i.e., the Optical Network Units (ONUs), has been shown to be responsible for almost 65% of the total EPON power consumption. Sleep mechanisms, implemented at ONUs' side, can contribute to the EPONs energy efficiency. However, the trade-off between energy saving and Quality of Service (QoS) requirements should be carefully tuned, especially when the downstream transmission is considered, in order to achieve the desirable results. In this paper, we exploit formal methods in order to build a holistic model representing both the state machine of the ONU in its details as well as the ONU's communication with the Optical Line Terminal (OLT) under EPONs specifications. The quantitative results of our analysis highlight the impact of the non-active periods on the aforementioned trade-off and shows how they can be configured in line with the network parameters.

[1]  Sophia G. Petridou,et al.  Formal security analysis of near field communication using model checking , 2016, Comput. Secur..

[2]  Marta Z. Kwiatkowska,et al.  Stochastic Model Checking , 2007, SFM.

[3]  Ryogo Kubo,et al.  Sleep and Adaptive Link Rate Control for Power Saving in 10G-EPON Systems , 2009, GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference.

[4]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[5]  Lars Dittmann,et al.  Energy Efficiency in Ethernet Passive Optical Networks (EPONs): Protocol Design and Performance Evaluation , 2011, J. Commun..

[6]  R S Tucker,et al.  Green Optical Communications—Part II: Energy Limitations in Networks , 2011, IEEE Journal of Selected Topics in Quantum Electronics.

[7]  Nirwan Ansari,et al.  Standards-compliant EPON sleep control for energy efficiency: Design and analysis , 2012, IEEE/OSA Journal of Optical Communications and Networking.

[8]  Christel Baier,et al.  Principles of model checking , 2008 .

[9]  Martina Fiammengo.  Sleep mode scheduling technique for energy saving in TDM-PONs , 2011 .

[10]  Maluge Pubuduni Imali Dias,et al.  Sleep/doze controlled dynamic bandwidth allocation algorithms for energy-efficient passive optical networks. , 2013, Optics express.

[11]  Luca Valcarenghi,et al.  Sleep Mode for Energy Saving PONs: Advantages and Drawbacks , 2009, 2009 IEEE Globecom Workshops.

[12]  Alice Chen,et al.  Design and Analysis of a Novel Energy Efficient Ethernet Passive Optical Network , 2010, 2010 Ninth International Conference on Networks.

[13]  Biswanath Mukherjee,et al.  Supporting differentiated classes of service in Ethernet passive optical networks , 2002 .

[14]  Georgios I. Papadimitriou,et al.  Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach , 2011, Comput. Secur..

[15]  Robert K. Brayton,et al.  Model-checking continuous-time Markov chains , 2000, TOCL.

[16]  Luca Valcarenghi,et al.  An energy efficient ONU implementation , 2012, 2012 Sustainable Internet and ICT for Sustainability (SustainIT).

[17]  Luca Valcarenghi,et al.  Energy efficiency in passive optical networks: where, when, and how? , 2012, IEEE Network.

[18]  Andrea Bianco,et al.  Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.