Please use this identifier to cite or link to this item:
Title: Formal Methods for Energy-Efficient EPONs
Authors: Petridou, Sophia
Basagiannis, Stylianos
Mamatas, Lefteris
Type: Article
Subjects: FRASCATI::Natural sciences::Computer and information sciences
Issue Date: 2018
Source: IEEE Transactions on Green Communications and Networking
Volume: 2
Issue: 1
First Page: 246
Last Page: 259
Abstract: Energy-efficient passive optical networks (PONs) have gained significant interest since they are estimated to be the largest energy consumers among the wired access networks for the next ten years. In Ethernet PONs (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 tradeoff between energy saving and quality of service (QoS) requirements should be carefully tuned, especially when the downstream transmission is considered, to achieve the desirable results. In this paper, we propose a general framework that exploits formal methods as an approach for EPONs' energy-efficiency. The idea is 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 under EPONs' specifications. Verification results reveal that, guided by the QoS constraints and considering the transitions' cost, an “aggressive” policy defining long sleep periods of the 100 ms order can be up to 24.9% beneficial for energy-efficiency compared to a “conservative” policy with sleep periods of the 10 ms order.
ISSN: 2473-2400
Other Identifiers: 10.1109/TGCN.2017.2772832
Appears in Collections:Department of Applied Informatics

Files in This Item:
File Description SizeFormat 
Π5 (1).pdf4,11 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.