Data offloading in IoT environments: modeling, analysis, and verification

Clicks: 634
ID: 59773
2019
Free PDF
Article Quality & Performance Metrics
Overall Quality
Not rated
Combines reader engagement with the AI quality analysis. This article has not been analysed, so there is no overall score — reader engagement is measured and shown alongside.
AI Quality Assessment
Not analyzed
Readership in this journal
Steady

Ranked #1 of 44 articles by views in eurasip journal on wireless communications and networking

Most read Least read

Bar heights use a square-root scale.

Mint this article as an NFT
Not yet minted

Create a permanent, verifiable on-chain record of this article on the Scimatic Network. The NFT is held in your Journament account, and you can withdraw it to your own wallet at any time.

5 SUSD one-off · no wallet required
Sign in to mint
Abstract
Abstract Recent years have seen a significant growth in Internet of Things (IoT) technology consisting of a large number of devices embedded with sensors and deployed to perform monitoring and actuation tasks. The IoT devices collect large volumes of data that is usually uploaded to cloud to perform analytics and predictions. One of the main challenges in IoT is the transportation of large-scale data collected over a period of time at a remote site. Cellular networks are already facing explosive growth of mobile data traffic due to the proliferation of smart devices and traffic-intensive applications. An alternate solution is to perform the data offloading, where a portion of data can be offloaded from primary links and transferred using opportunistic terminal-to-terminal (T2T) network that relies on direct communication between mobile users, without any need for an infrastructure backbone. However, such approach may lead to data loss and delay if dynamics of time-varying topology and mobility of nodes is not taken care of. To address this challenge, we propose three prediction-based offloading schemes that exploit the mobility patterns and temporal contacts of nodes to predict future data transfer opportunities. We have utilized the High-level Petri Nets to model and formally analyzed the communication processes of the proposed schemes. The new symbolic model verifier (NuSMV) has been employed for the verification of the three schemes against the identified constraints. The verification results affirm the correctness and scalability of the models. The protocols are evaluated with performance metrics, such as the delivery ratio, latency, and overhead. Our results indicate significant improvement in performance compared to existing approaches.
Reference Key
ghosh2019dataeurasip Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors Ghosh, Ankan;Khalid, Osman;Rais, Rao N. B.;Rehman, Amjad;Malik, Saif U. R.;Khan, Imran A.;
Journal eurasip journal on wireless communications and networking
Year 2019
DOI
DOI not found
URL
http://link.springer.com/article/10.1186/s13638-019-1358-8
Keywords
Technology Electrical engineering. Electronics. Nuclear engineering telecommunication electronics computer engineering. computer hardware electronic computers. computer science

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

Comments

No comments yet. Be the first to comment on this article.