一种高效的异构车辆集群协同框架

Iftikhar AHMAD; Rafidah Md NOOR; Zaheed AHMED; Umm-e- HABIBA; Naveed AKRAM; Fausto Pedro GARCíAMáRQUEZ

doi:10.1631/FITEE.2000260

Your Location：

Home >

Browse articles >

一种高效的异构车辆集群协同框架

常规文章 | Updated：2022-05-19

- 一种高效的异构车辆集群协同框架
- A cooperative heterogeneous vehicular clustering framework for efficiency improvement
- 信息与电子工程前沿（英文） 2021年22卷第9期页码：1247-1259
- Affiliations：
  
  Department of Computer Science and Information Technology, Mirpur University of Science and Technology, Mirpur-10250 (AJK), Pakistan
  Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur 50603, Malaysia
  Department of Software Engineering, University of Kotli, AJK 11100, Pakistan
  Department of Mechanical Engineering, Mirpur University of Science and Technology, Mirpur-10250 (AJK), Pakistan
  Department of Mechanical Engineering, Faculty of Mechanical Engineering, University of Malaya, Kuala Lumpur 50603, Malaysia
  Ingenium Research Group, University of Castilla-La Mancha, Spain
- Author bio：
  
  Iftikhar AHMAD, E-mail: ify_ia@yahoo.com
  Fausto Pedro GARCíA MáRQUEZ, E-mail: faustopedro.garcia@uclm.es
- Funds：
  
  Project supported by the European Project H2020 (No. H2020-MG-2018-2019-2020, ENDURUNS)
- DOI：10.1631/FITEE.2000260
  中图分类号： TN92
- 收稿：2020-05-31，
  
  修回：2021-;8-17，
  
  纸质出版：2021-09
- Accepted：
Scan QR Code
Iftikhar AHMAD, Rafidah Md NOOR, Zaheed AHMED, 等. 一种高效的异构车辆集群协同框架[J]. 信息与电子工程前沿（英文）, 2021,22(9):1247-1259.

Iftikhar AHMAD, RafidahMd NOOR, Zaheed AHMED, et al. A cooperative heterogeneous vehicular clustering framework for efficiency improvement[J]. Frontiers of Information Technology & Electronic Engineering, 2021, 22(9): 1247-1259.
Iftikhar AHMAD, Rafidah Md NOOR, Zaheed AHMED, 等. 一种高效的异构车辆集群协同框架[J]. 信息与电子工程前沿（英文）, 2021,22(9):1247-1259. DOI： 10.1631/FITEE.2000260.

Iftikhar AHMAD, RafidahMd NOOR, Zaheed AHMED, et al. A cooperative heterogeneous vehicular clustering framework for efficiency improvement[J]. Frontiers of Information Technology & Electronic Engineering, 2021, 22(9): 1247-1259. DOI： 10.1631/FITEE.2000260.

摘要

异构车辆集群集成了多种类型通信网络，可在各种车辆应用中高效运行。长期演进（LTE）和专用短程通信的集成是异构网络的一种普遍形式。这种网络基础设施的异构性和成本/数据共享的不合作性是需要解决的潜在问题。车辆集群框架是解决这些问题的一种方案，但是该框架在部署到现实世界前应经过形式验证。为解决这些问题，提出一种异构的车辆集群框架，称为目标和兴趣感知集群框架。该框架集成了车载自组织网络与LTE网络，以提高道路交通效率。在此基础上，给出该框架的模型系统。使用模型检测技术对该模型进行形式验证，在功能层面评估其性能。为在微观层面评估该框架性能，通过整合最先进的工具创建异构仿真环境。仿真结果表明，与其他方法相比，该框架具有更好性能。

Abstract

Heterogeneous vehicular clustering integrates multiple types of communication networks to work efficiently for various vehicular applications. One popular form of heterogeneous network is the integration of long-term evolution (LTE) and dedicated short-range communication. The heterogeneity of such a network infrastructure and the non-cooperation involved in sharing cost/data are potential problems to solve. A vehicular clustering framework is one solution to these problems

but the framework should be formally verified and validated before being deployed in the real world. To solve these issues

first

we present a heterogeneous framework

named destination and interest-aware clustering

for vehicular clustering that integrates vehicular ad hoc networks with the LTE network for improving road traffic efficiency. Then

we specify a model system of the proposed framework. The model is formally verified to evaluate its performance at the functional level using a model checking technique. To evaluate the performance of the proposed framework at the micro-level

a heterogeneous simulation environment is created by integrating state-of-the-art tools. The comparison of the simulation results with those of other known approaches shows that our proposed framework performs better.

关键词

Keywords

references

I Ahmad , , , R Noor , , , Z'aba M Reza . . LTE efficiency when used in traffic information systems: a stable interest aware clustering . . Int J Commun Syst , , 2019 . . 32 ( ( 2 ): ): e3853 DOI: 10.1002/dac.3853 http://doi.org/10.1002/dac.3853 . .

I Ahmad , , , R Noor , , , MR Zaba , , , 等 . . A cooperative heterogeneous vehicular clustering mechanism for road traffic management . . Int J Parall Progr , , 2020 . . 48 ( ( 5 ): ): 870 - - 889 . . DOI: 10.1007/s10766-019-00629-y http://doi.org/10.1007/s10766-019-00629-y . .

M Alam , , , J Ferreira , , , J Fonseca . . Introduction to Intelligent Transportation Systems . . Springer, Cham , , 2016 . . 52 1 - - 17 . . DOI: 10.1007/978-3-319-28183-4_1 http://doi.org/10.1007/978-3-319-28183-4_1 . .

GH Alsuhli , , , YA Fahmy , , , A Khattab . . Bio-inspired metaheuristic framework for clustering optimisation in VANETs . . IET Intell Trans Syst , , 2020 . . 14 ( ( 10 ): ): 1190 - - 1199 . . DOI: 10.1049/iet-its.2019.0366 http://doi.org/10.1049/iet-its.2019.0366 . .

C Baier , , , JP Katoen . . Principles of Model Checking , , : : New York, USA MIT Press , , 2008 . . .

A Benslimane , , , T Taleb , , , R Sivaraj . . Dynamic clustering- based adaptive mobile gateway management in integrated VANET—3G heterogeneous wireless networks . . IEEE J Sel Areas Commun , , 2011 . . 29 ( ( 3 ): ): 559 - - 570 . . DOI: 10.1109/JSAC.2011.110306 http://doi.org/10.1109/JSAC.2011.110306 . .

EM Clarke , , , EA Emerson , , , AP Sistla . . Automatic verification of finite-state concurrent systems using temporal logic specifications . . ACM Trans Program Lang Syst , , 1986 . . 8 ( ( 2 ): ): 244 - - 263 . . DOI: 10.1145/5397.5399 http://doi.org/10.1145/5397.5399 . .

M Ficco , , , C Esposito , , , F Palmieri , , , 等 . . A coral-reefs and game theory-based approach for optimizing elastic cloud resource allocation . . Fut Gener Comput Syst , , 2018 . . 78 343 - - 352 . . DOI: 10.1016/j.future.2016.05.025 http://doi.org/10.1016/j.future.2016.05.025 . .

J Garbiso , , , A Diaconescu , , , M Coupechoux , , , 等 . . Fair self-adaptive clustering for hybrid cellular-vehicular networks . . IEEE Trans Intell Trans Syst , , 2021 . . 22 ( ( 2 ): ): 1225 - - 1236 . . DOI: 10.1109/TITS.2020.2966279 http://doi.org/10.1109/TITS.2020.2966279 . .

M Gerla , , , C Wu , , , G Pau , , , 等 . . Content distribution in VANETs . . Veh Commun , , 2014 . . 1 ( ( 1 ): ): 3 - - 12 . . DOI: 10.1016/j.vehcom.2013.11.001 http://doi.org/10.1016/j.vehcom.2013.11.001 . .

YL Hui , , , Z Su , , , TH Luan , , , 等 . . A game theoretic scheme for optimal access control in heterogeneous vehicular networks . . IEEE Trans Intell Trans Syst , , 2019 . . 20 ( ( 12 ): ): 4590 - - 4603 . . DOI: 10.1109/TITS.2019.2894716 http://doi.org/10.1109/TITS.2019.2894716 . .

YL Hui , , , Z Su , , , TH Luan . . Collaborative content delivery in software-defined heterogeneous vehicular networks . . IEEE/ACM Trans Netw , , 2020 . . 28 ( ( 2 ): ): 575 - - 587 . . DOI: 10.1109/TNET.2020.2968746 http://doi.org/10.1109/TNET.2020.2968746 . .

R Jia , , , ZK Li , , , Y Xia , , , 等 . . Urban road traffic condition forecasting based on sparse ride-hailing service data . . IET Intell Trans Syst , , 2020 . . 14 ( ( 7 ): ): 668 - - 674 . . DOI: 10.1049/iet-its.2019.0338 http://doi.org/10.1049/iet-its.2019.0338 . .

D Krajzewicz , , , J Erdmann , , , M Behrisch , , , 等 . . Recent development and applications of SUMO-simulation of urban mobility . . Int J Adv Syst Meas , , 2012 . . 5 ( ( 3-4 ): ): 128 - - 138 . . . .

K Liu , , , JKY Ng , , , VCS Lee , , , 等 . . Cooperative data scheduling in hybrid vehicular ad hoc networks: VANET as a software defined network . . IEEE/ACM Trans Netw , , 2016 . . 24 ( ( 3 ): ): 1759 - - 1773 . . DOI: 10.1109/TNET.2015.2432804 http://doi.org/10.1109/TNET.2015.2432804 . .

W Jr Lobato , , , D Rosário , , , E Cerqueira , , , 等 . . A game theory approach for platoon-based driving for multimedia transmission in VANETs . . Wirel Commun Mob Comput , , 2018 . . 2018 2414658 DOI: 10.1155/2018/2414658 http://doi.org/10.1155/2018/2414658 . .

F Mirabile . . Connected Cars and Traffic Flow Control , , : : MS Thesis, Politecnico di Torino, Torino, Italy 2020 . . .

MMC Morales , , , R Haw , , , EJ Cho , , , 等 . . An adaptable destination-based dissemination algorithm using a publish/subscribe model in vehicular networks . . J Comput Sci Eng , , 2012 . . 6 ( ( 3 ): ): 227 - - 242 . . DOI: 10.5626/JCSE.2012.6.3.227 http://doi.org/10.5626/JCSE.2012.6.3.227 . .

J Qadir , , , O Hasan . . Applying formal methods to networking: theory, techniques, and applications . . IEEE Commun Surv Tut , , 2015 . . 17 ( ( 1 ): ): 256 - - 291 . . DOI: 10.1109/COMST.2014.2345792 http://doi.org/10.1109/COMST.2014.2345792 . .

T Roughgarden . . Algorithmic game theory . . Commun ACM , , 2010 . . 53 ( ( 7 ): ): 78 - - 86 . . DOI: 10.1145/1785414.1785439 http://doi.org/10.1145/1785414.1785439 . .

P Salvo , , , I Turcanu , , , F Cuomo , , , 等 . . Heterogeneous cellular and DSRC networking for floating car data collection in urban areas . . Veh Commun , , 2017 . . 8 21 - - 34 . . DOI: 10.1016/j.vehcom.2016.11.004 http://doi.org/10.1016/j.vehcom.2016.11.004 . .

C Sommer , , , R German , , , F Dressler . . Bidirectionally coupled network and road traffic simulation for improved IVC analysis . . IEEE Trans Mob Comput , , 2010 . . 10 ( ( 1 ): ): 3 - - 15 . . . .

V Srivastava , , , J Neel , , , AB Mackenzie , , , 等 . . Using game theory to analyze wireless ad hoc networks . . IEEE Commun Surv Tut , , 2005 . . 7 ( ( 4 ): ): 46 - - 56 . . DOI: 10.1109/COMST.2005.1593279 http://doi.org/10.1109/COMST.2005.1593279 . .

S Ucar , , , SC Ergen , , , O Ozkasap . . Multihop-cluster-based IEEE 802.11p and LTE hybrid architecture for VANET safety message dissemination . . IEEE Trans Veh Technol , , 2016 . . 65 ( ( 4 ): ): 2621 - - 2636 . . DOI: 10.1109/TVT.2015.2421277 http://doi.org/10.1109/TVT.2015.2421277 . .

A Varga . . OMNeT++: Discrete Event Simulation System , , Version 3.2 : : User Manual 2005 . . http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=2264D7CDD6ABA149251E644D3C02413E?doi=10.1.1.111.6503 &rep=rep1 &type=pdf http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=2264D7CDD6ABA149251E644D3C02413E?doi=10.1.1.111.6503 &rep=rep1 &type=pdf , , . .

A Virdis , , , G Stea , , , G Nardini . . Simulating LTE/LTE- advanced networks with SimuLTE . . Int Conf on Simulation and Modeling Methodologies, Technologies and Applications , , 2015 . . p.83 - - 105 . . DOI: 10.1007/978-3-319-26470-7_5 http://doi.org/10.1007/978-3-319-26470-7_5 . .

TY Wang , , , X Cao , , , SW Wang . . Self-adaptive clustering and load-bandwidth management for uplink enhancement in heterogeneous vehicular networks . . IEEE Int Things J , , 2019 . . 6 ( ( 3 ): ): 5607 - - 5617 . . DOI: 10.1109/JIOT.2019.2904036 http://doi.org/10.1109/JIOT.2019.2904036 . .

YP Wang , , , PL Cai , , , GQ Lu . . Cooperative autonomous traffic organization method for connected automated vehicles in multi-intersection road networks . . Trans Res C Emerg Technol , , 2020 . . 111 458 - - 476 . . DOI: 10.1016/j.trc.2019.12.018 http://doi.org/10.1016/j.trc.2019.12.018 . .

G Wolny . . Modified DMAC clustering algorithm for VANETs . . 3 rd Int Conf on Systems and Networks Communications , , 2008 . . p.268 - - 273 . . DOI: 10.1109/ICSNC.2008.28 http://doi.org/10.1109/ICSNC.2008.28 . .

I Yaqoob , , , I Ahmad , , , E Ahmed , , , 等 . . Overcoming the key challenges to establishing vehicular communication: is SDN the answer . . IEEE Commun Mag , , 2017 . . 55 ( ( 7 ): ): 128 - - 134 . . DOI: 10.1109/MCOM.2017.1601183 http://doi.org/10.1109/MCOM.2017.1601183 . .

浏览量

Downloads

CSCD

文章被引用时，请邮件提醒。

Submit

工具集

关联资源

暂无数据