research-article

Energy and Profit-Aware Proof-of-Stake Offloading in Blockchain-based VANETs

Authors:

Vincenzo De Maio,

Rafael Brundo Uriarte,

Ivona BrandicAuthors Info & Claims

UCC'19: Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing

Pages 177 - 186

https://doi.org/10.1145/3344341.3368797

Published: 02 December 2019 Publication History

Abstract

In Vehicular Ad-hoc NETworks (VANET) users do not necessarily trust each other and in some cases they may introduce dubios information in the network. Centralized approaches to improve the credibility of information do not easily scale, require trusting the service provider and have higher network delay. Blockchain solutions are promising in the area but they need consensus on the credibility of new information, which requires the participants solve computational puzzles in a competitive manner. To cope with vehicles' limited computational resources and mobility, we propose brokerage mechanism to decide whether to execute the validation locally, or to offload it to an edge or cloud infrastructure. We define a Satisfiability Modulo Theories (SMT) method to enable participants to decide whether to take part in the validation and whether to offload it considering the state of the infrastructure, energy efficiency, the offloading cost and the computation reward. Our method obtains 77.7% higher profit and consumes 39.2% less energy in comparison with the case where no offloading is allowed.

References

[1]

S. Agarwal, A. Das, and N. Das. 2016. An efficient approach for load balancing in vehicular ad-hoc networks. In 2016 IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS). 1--6.

[2]

A. Ahmed and E. Ahmed. [n. d.]. A survey on mobile edge computing. In 2016 10th International Conference on Intelligent Systems and Control (ISCO). 1--8.

[3]

Farhan Azmat Ali, Pieter Simoens, Tim Verbelen, Piet Demeester, and Bart Dhoedt. 2016. Mobile device power models for energy efficient dynamic offloading at runtime. Journal of Systems and Software, Vol. 113 (2016), 173 -- 187.

Digital Library

[4]

D. Anadu, C. Mushagalusa, N. Alsbou, and A. S. A. Abuabed. 2018. Internet of Things: Vehicle collision detection and avoidance in a VANET environment. In 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC). 1--6. https://doi.org/10.1109/I2MTC.2018.8409861

[5]

Flavio Bonomi, Rodolfo Milito, Jiang Zhu, and Sateesh Addepalli. 2012. Fog Computing and Its Role in the Internet of Things. In Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing (MCC '12). ACM, 4.

Digital Library

[6]

Shafinaz Buruhanudeen, Mohamed Othman, and Borhanuddin Mohd Ali. 2007. Mobility models, broadcasting methods and factors contributing towards the efficiency of the MANET routing protocols: Overview. 2007 IEEE International Conference on Telecommunications and Malaysia International Conference on Communications (2007), 226--230.

[7]

Z. Cheng, H. Zhang, Y. Tan, and Y. Lim. 2016. Scheduling overload for real-time systems using SMT solver. In 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD). 189--194.

[8]

Jürgen Christ, Jochen Hoenicke, and Alexander Nutz. 2012. SMTInterpol: An Interpolating SMT Solver. In Model Checking Software, Alastair Donaldson and David Parker (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 248--254.

[9]

Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, and Mayur Naik. 2010. CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution. CoRR, Vol. abs/1009.3088 (2010).

[10]

Eduardo Cuervo, Aruna Balasubramanian, Dae-ki Cho, Alec Wolman, Stefan Saroiu, Ranveer Chandra, and Paramvir Bahl. 2010. MAUI: Making Smartphones Last Longer with Code Offload. In Proceedings of the 8th International Conference on Mobile Systems, Applications, and Services (MobiSys '10). ACM, 49--62.

Digital Library

[11]

Vincenzo De Maio and Ivona Brandic. 2019. Multi-Objective Mobile Edge Provisioning in Small Cell Clouds. In Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering (ICPE '19). ACM, New York, NY, USA, 12.

Digital Library

[12]

Leonardo de Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg.

Digital Library

[13]

G. e. m. Zhioua, H. Labiod, N. Tabbane, and S. Tabbane. 2014. VANET Inherent Capacity for Offloading Wireless Cellular Infrastructure: An Analytical Study. In 2014 6th International Conference on New Technologies, Mobility and Security (NTMS). 1--5. https://doi.org/10.1109/NTMS.2014.6814060

[14]

Vijay Ganesh and David L Dill. 2007. A decision procedure for bit-vectors and arrays. International Conference on Computer Aided Verification. Springer.

[15]

Harshit Gupta, Amir Vahid Dastjerdi, Soumya K. Ghosh, and Rajkumar Buyya. 2016. iFogSim: A Toolkit for Modeling and Simulation of Resource Management Techniques in Internet of Things, Edge and Fog Computing Environments. CoRR, Vol. abs/1606.02007 (2016).

[16]

Nicolas Houy. 2014. The Bitcoin mining game. Available at SSRN 2407834 (2014).

[17]

C. Huang, M. Chiang, D. Dao, W. Su, S. Xu, and H. Zhou. 2018. V2V Data Offloading for Cellular Network Based on the Software Defined Network (SDN) Inside Mobile Edge Computing (MEC) Architecture. IEEE Access, Vol. 6 (2018).

[18]

G. Hurlburt. 2016. Might the Blockchain Outlive Bitcoin? IT Professional, Vol. 18, 2 (Mar 2016), 12--16. https://doi.org/10.1109/MITP.2016.21

Digital Library

[19]

E. Incerto, M. Tribastone, and C. Trubiani. 2016. Symbolic Performance Adaptation. In 2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) . 140--150.

[20]

J. Kang, R. Yu, X. Huang, S. Maharjan, Y. Zhang, and E. Hossain. 2017. Enabling Localized Peer-to-Peer Electricity Trading Among Plug-in Hybrid Electric Vehicles Using Consortium Blockchains. IEEE Transactions on Industrial Informatics, Vol. 13, 6 (2017), 3154--3164.

[21]

Jiawen Kang, Rong Yu, Xumin Huang, Maoqiang Wu, Sabita Maharjan, Shengli Xie, and Yan Zhang. 2018. Blockchain for secure and efficient data sharing in vehicular edge computing and networks. IEEE Internet of Things Journal (2018).

[22]

Kuljeet Kaur, Sahil Garg, Georges Kaddoum, Francc ois Gagnon, and Syed Hassan Ahmed. 2019. Blockchain-based Lightweight Authentication Mechanism for Vehicular Fog Infrastructure. arXiv preprint arXiv:1904.01168 (2019).

[23]

Jung-Yoon Kim and Hyoung-Kee Choi. 2012. An Enhanced Security Protocol for VANET-Based Entertainment Services. IEICE Transactions, Vol. 95-B (2012).

[24]

Seungmo Kim. 2019. Impacts of Mobility on Performance of Blockchain in VANET. IEEE Access (2019).

[25]

K. Kumar and Y. H. Lu. 2010. Cloud Computing for Mobile Users: Can Offloading Computation Save Energy? Computer, Vol. 43, 4 (2010), 51--56.

Digital Library

[26]

S Kwatirayo, J Almhana, and Z Liu. 2013. Adaptive traffic light control using VANET: A case study. 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, 752--757. https://doi.org/10.1109/IWCMC.2013.6583651

[27]

Benjamin Leiding, Parisa Memarmoshrefi, and Dieter Hogrefe. 2016. Self-managed and Blockchain-based Vehicular Ad-hoc Networks. In Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct (UbiComp '16). ACM, New York, NY, USA, 137--140.

Digital Library

[28]

Bo Li, Yijian Pei, Hao Wu, Zhi Liu, and Haixia Liu. 2014. Computation Offloading Management for Vehicular Ad Hoc Cloud. In Algorithms and Architectures for Parallel Processing, Xian-he Sun, Wenyu Qu, Ivan Stojmenovic, Wanlei Zhou, Zhiyang Li, Hua Guo, Geyong Min, Tingting Yang, Yulei Wu, and Lei Liu (Eds.). Springer International Publishing, Cham, 728--739.

[29]

L. Li, J. Liu, L. Cheng, S. Qiu, W. Wang, X. Zhang, and Z. Zhang. 2018. CreditCoin: A Privacy-Preserving Blockchain-Based Incentive Announcement Network for Communications of Smart Vehicles. IEEE Transactions on Intelligent Transportation Systems, Vol. 19, 7 (2018), 2204--2220.

[30]

H. Liu, Y. Zhang, and T. Yang. 2018b. Blockchain-Enabled Security in Electric Vehicles Cloud and Edge Computing. IEEE Network, Vol. 32, 3 (2018), 78--83.

[31]

M. Liu, F. R. Yu, Y. Teng, V. C. M. Leung, and M. Song. 2018a. Computation Offloading and Content Caching in Wireless Blockchain Networks With Mobile Edge Computing. IEEE Transactions on Vehicular Technology, Vol. 67, 11 (2018).

[32]

P. A. Lopez, M. Behrisch, L. Bieker-Walz, J. Erdmann, Y. Flötteröd, R. Hilbrich, L. Lücken, J. Rummel, P. Wagner, and E. WieBner. 2018. Microscopic Traffic Simulation using SUMO. In 2018 21st International Conference on Intelligent Transportation Systems (ITSC). 2575--2582.

[33]

Drazen Lucanin and Ivona Brandic. 2016. Pervasive Cloud Controller for Geotemporal Inputs. IEEE Trans. Cloud Computing, Vol. 4, 2 (2016), 180--195.

[34]

Francisco J Martinez, J-C Cano, Carlos T Calafate, and Pietro Manzoni. 2008. Citymob: a mobility model pattern generator for VANETs. In ICC Workshops-2008 IEEE International Conference on Communications Workshops. IEEE, 370--374.

[35]

M. Singh and S. Kim. 2018. Trust Bit: Reward-based intelligent vehicle commination using blockchain paper. In 2018 IEEE 4th World Forum on Internet of Things (WF-IoT). 62--67.

[36]

C. Sonmez, A. Ozgovde, and C. Ersoy. [n. d.]. EdgeCloudSim: An environment for performance evaluation of Edge Computing systems. In 2017 Second International Conference on Fog and Mobile Edge Computing (FMEC) . 39--44.

[37]

Z. Yang, K. Yang, L. Lei, K. Zheng, and V. C. M. Leung. 2019. Blockchain-Based Decentralized Trust Management in Vehicular Networks. IEEE Internet of Things Journal, Vol. 6, 2 (April 2019), 1495--1505. https://doi.org/10.1109/JIOT.2018.2836144

[38]

R. Yugapriya, P. Dhivya, M. M. Dhivya, and S. Kirubakaran. 2014. Adaptive traffic management with VANET in V to I communication using greedy forwarding algorithm. In International Conference on Information Communication and Embedded Systems (ICICES2014). 1--6.

Cited By

Feng XCui KWang LLiu ZMa J(2024)PBAG: A Privacy-Preserving Blockchain-Based Authentication Protocol With Global-Updated Commitment in IoVsIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2024.339920025:10(13524-13545)Online publication date: Oct-2024
https://doi.org/10.1109/TITS.2024.3399200
Samadi MRuj SSchriemer HErol-Kantarci M(2023)Secure and Robust Demand Response Using Stackelberg Game Model and Energy BlockchainSensors10.3390/s2320835223:20(8352)Online publication date: 10-Oct-2023
https://doi.org/10.3390/s23208352
Li DChen RWan QGuan ZLi SXie MSu JLiu J(2023)Intelligent and Fair IoV Charging Service Based on Blockchain With Cross-Area ConsensusIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2023.324918024:12(15984-15994)Online publication date: 1-Dec-2023
https://dl.acm.org/doi/10.1109/TITS.2023.3249180
Show More Cited By

Index Terms

Recommendations

Blockchain-based solutions for cloud computing: A survey
Abstract
Blockchain is a disruptive technology applied by academia and industry in a broad spectrum of applications ranging from cryptocurrency, financial services, IoT, 5G, risk management to public and social services. On the other hand, ...
Energy-Aware Computing

The introduction to the special issue discusses efforts in the area of energy-aware computing.
Towards effective offloading mechanisms in fog computing
Abstract
Fog computing is considered a formidable next-generation complement to cloud computing. Nowadays, in light of the dramatic rise in the number of IoT devices, several problems have been raised in cloud architectures. By introducing fog computing as ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

UCC'19: Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing

December 2019

307 pages

ISBN:9781450368940

DOI:10.1145/3344341

General Chairs:
Kenneth Johnson
Auckland University of Technology, New Zealand
,
Josef Spillner
Zurich University of Applied Sciences, Switzerland
,
Program Chairs:
Dalibor Klusáček
CESNET
,
Ashiq Anjum
University of Derby

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
IEEE TCSC: IEEE Technical Committee on Scalable Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 December 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

UCC '19

Sponsor:

SIGARCH
IEEE TCSC

UCC '19: IEEE/ACM 12th International Conference on Utility and Cloud Computing

December 2 - 5, 2019

Auckland, New Zealand

Acceptance Rates

Overall Acceptance Rate 38 of 125 submissions, 30%

Upcoming Conference

UCC '24

Sponsor:
sigarch

2024 IEEE/ACM 17th International Conference on Utility and Cloud Computing

December 16 - 19, 2024

Sharjah , United Arab Emirates

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
287
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)2

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Feng XCui KWang LLiu ZMa J(2024)PBAG: A Privacy-Preserving Blockchain-Based Authentication Protocol With Global-Updated Commitment in IoVsIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2024.339920025:10(13524-13545)Online publication date: Oct-2024
https://doi.org/10.1109/TITS.2024.3399200
Samadi MRuj SSchriemer HErol-Kantarci M(2023)Secure and Robust Demand Response Using Stackelberg Game Model and Energy BlockchainSensors10.3390/s2320835223:20(8352)Online publication date: 10-Oct-2023
https://doi.org/10.3390/s23208352
Li DChen RWan QGuan ZLi SXie MSu JLiu J(2023)Intelligent and Fair IoV Charging Service Based on Blockchain With Cross-Area ConsensusIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2023.324918024:12(15984-15994)Online publication date: 1-Dec-2023
https://dl.acm.org/doi/10.1109/TITS.2023.3249180
Das DBanerjee SChatterjee PGhosh UBiswas U(2023)Blockchain for Intelligent Transportation Systems: Applications, Challenges, and OpportunitiesIEEE Internet of Things Journal10.1109/JIOT.2023.327792310:21(18961-18970)Online publication date: 1-Nov-2023
https://doi.org/10.1109/JIOT.2023.3277923
El Azzaoui AJeremiah SXiong NPark J(2023)A digital twin-based edge intelligence framework for decentralized decision in IoV systemInformation Sciences10.1016/j.ins.2023.119595649(119595)Online publication date: Nov-2023
https://doi.org/10.1016/j.ins.2023.119595
Gupta MPatel RJain S(2023)Analysis of Blockchain Integration with Internet of Vehicles: Challenges, Motivation, and Recent SolutionRole of Data-Intensive Distributed Computing Systems in Designing Data Solutions10.1007/978-3-031-15542-0_8(129-163)Online publication date: 26-Jan-2023
https://doi.org/10.1007/978-3-031-15542-0_8
Saad MKhan MAhmad M(2022)Blockchain-Enabled Vehicular Ad Hoc Networks: A Systematic Literature ReviewSustainability10.3390/su1407391914:7(3919)Online publication date: 25-Mar-2022
https://doi.org/10.3390/su14073919
Ghafouri SKarami ABakhtiarvan DBigdeli AGill SDoyle J(2022)Mobile-Kube: Mobility-aware and Energy-efficient Service Orchestration on Kubernetes Edge Servers2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC)10.1109/UCC56403.2022.00019(82-91)Online publication date: Dec-2022
https://doi.org/10.1109/UCC56403.2022.00019
Maio VBermbach DBrandic I(2022)TAROT: Spatio-Temporal Function Placement for Serverless Smart City Applications2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC)10.1109/UCC56403.2022.00013(21-30)Online publication date: Dec-2022
https://doi.org/10.1109/UCC56403.2022.00013
Wang JZhu KHossain E(2022)Green Internet of Vehicles (IoV) in the 6G Era: Toward Sustainable Vehicular Communications and NetworkingIEEE Transactions on Green Communications and Networking10.1109/TGCN.2021.31279236:1(391-423)Online publication date: Mar-2022
https://doi.org/10.1109/TGCN.2021.3127923
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents