Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://ruomo.lib.uom.gr/handle/7000/382
Πλήρης εγγραφή μεταδεδομένων
Πεδίο DC | Τιμή | Γλώσσα |
---|---|---|
dc.contributor.author | Petridou, Sophia | - |
dc.contributor.author | Basagiannis, Stylianos | - |
dc.contributor.author | Mamatas, Lefteris | - |
dc.date.accessioned | 2019-10-31T07:23:43Z | - |
dc.date.available | 2019-10-31T07:23:43Z | - |
dc.date.issued | 2018 | - |
dc.identifier | 10.1109/TGCN.2017.2772832 | en_US |
dc.identifier.issn | 2473-2400 | en_US |
dc.identifier.uri | https://doi.org/10.1109/TGCN.2017.2772832 | en_US |
dc.identifier.uri | https://ruomo.lib.uom.gr/handle/7000/382 | - |
dc.description.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. | en_US |
dc.language.iso | en | en_US |
dc.source | IEEE Transactions on Green Communications and Networking | en_US |
dc.subject | FRASCATI::Natural sciences::Computer and information sciences | en_US |
dc.title | Formal Methods for Energy-Efficient EPONs | en_US |
dc.type | Article | en_US |
dc.contributor.department | Τμήμα Εφαρμοσμένης Πληροφορικής | en_US |
local.identifier.volume | 2 | en_US |
local.identifier.issue | 1 | en_US |
local.identifier.firstpage | 246 | en_US |
local.identifier.lastpage | 259 | en_US |
Εμφανίζεται στις Συλλογές: | Τμήμα Εφαρμοσμένης Πληροφορικής |
Αρχεία σε αυτό το Τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
Π5 (1).pdf | 4,11 MB | Adobe PDF | Προβολή/Ανοιγμα |
Τα τεκμήρια στο Αποθετήριο προστατεύονται από πνευματικά δικαιώματα, εκτός αν αναφέρεται κάτι διαφορετικό.