Please use this identifier to cite or link to this item:
|Title:||Formal Methods for Energy-Efficient EPONs|
|Subjects:||FRASCATI::Natural sciences::Computer and information sciences|
|Source:||IEEE Transactions on Green Communications and Networking|
|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.|
|Appears in Collections:||Department of Applied Informatics |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.