Please use this identifier to cite or link to this item:
https://ruomo.lib.uom.gr/handle/7000/382
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. |
URI: | https://doi.org/10.1109/TGCN.2017.2772832 https://ruomo.lib.uom.gr/handle/7000/382 |
ISSN: | 2473-2400 |
Other Identifiers: | 10.1109/TGCN.2017.2772832 |
Appears in Collections: | Department of Applied Informatics |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Π5 (1).pdf | 4,11 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.