Full Text:   <9085>

CLC number: TN92

On-line Access: 2021-09-10

Received: 2020-05-31

Revision Accepted: 2021-02-17

Crosschecked: 2021-08-17

Cited: 0

Clicked: 5710

Citations:  Bibtex RefMan EndNote GB/T7714

 ORCID:

Iftikhar Ahmad

https://orcid.org/0000-0001-9801-6462

Fausto Pedro Garca Mrquez

https://orcid.org/0000-0002-9245-440X

-   Go to

Article info.
Open peer comments

Frontiers of Information Technology & Electronic Engineering  2021 Vol.22 No.9 P.1247-1259

http://doi.org/10.1631/FITEE.2000260


A cooperative heterogeneous vehicular clustering framework for efficiency improvement


Author(s):  Iftikhar Ahmad, Rafidah Md Noor, Zaheed Ahmed, Umm-e-Habiba, Naveed Akram, Fausto Pedro Garca Mrquez

Affiliation(s):  Department of Computer Science and Information Technology, Mirpur University of Science and Technology, Mirpur-10250 (AJK), Pakistan; more

Corresponding email(s):   ify_ia@yahoo.com, faustopedro.garcia@uclm.es

Key Words:  Vehicular cluster, Heterogeneity, Cooperation, Formal verification, System model


Iftikhar Ahmad, Rafidah Md Noor, Zaheed Ahmed, Umm-e-Habiba , Naveed Akram, Fausto Pedro Garca Mrquez. A cooperative heterogeneous vehicular clustering framework for efficiency improvement[J]. Frontiers of Information Technology & Electronic Engineering, 2021, 22(9): 1247-1259.

@article{title="A cooperative heterogeneous vehicular clustering framework for efficiency improvement",
author="Iftikhar Ahmad, Rafidah Md Noor, Zaheed Ahmed, Umm-e-Habiba , Naveed Akram, Fausto Pedro Garca Mrquez",
journal="Frontiers of Information Technology & Electronic Engineering",
volume="22",
number="9",
pages="1247-1259",
year="2021",
publisher="Zhejiang University Press & Springer",
doi="10.1631/FITEE.2000260"
}

%0 Journal Article
%T A cooperative heterogeneous vehicular clustering framework for efficiency improvement
%A Iftikhar Ahmad
%A Rafidah Md Noor
%A Zaheed Ahmed
%A Umm-e-Habiba
%A Naveed Akram
%A Fausto Pedro Garca Mrquez
%J Frontiers of Information Technology & Electronic Engineering
%V 22
%N 9
%P 1247-1259
%@ 2095-9184
%D 2021
%I Zhejiang University Press & Springer
%DOI 10.1631/FITEE.2000260

TY - JOUR
T1 - A cooperative heterogeneous vehicular clustering framework for efficiency improvement
A1 - Iftikhar Ahmad
A1 - Rafidah Md Noor
A1 - Zaheed Ahmed
A1 - Umm-e-Habiba
A1 - Naveed Akram
A1 - Fausto Pedro Garca Mrquez
J0 - Frontiers of Information Technology & Electronic Engineering
VL - 22
IS - 9
SP - 1247
EP - 1259
%@ 2095-9184
Y1 - 2021
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/FITEE.2000260


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.

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

Iftikhar AHMAD1,2,Rafidah Md NOOR2,Zaheed AHMED3,Umm-e-HABIBA3,Naveed AKRAM4, 5,Fausto Pedro GARCíA MáRQUEZ6
1米尔布尔科技大学计算机科学与信息技术学院,巴基斯坦米尔布尔,10250
2马来亚大学计算机科学与信息技术系,马来西亚吉隆坡,50603
3科特利大学软件工程学院,巴基斯坦AJK,11100
4米尔布尔科技大学机械工程学院,巴基斯坦米尔布尔,10250
5马来亚大学机械工程学院机械工程系,马来西亚吉隆坡,50603
6卡斯蒂利亚拉曼查大学Ingenium研究组,西班牙
摘要:异构车辆集群集成了多种类型通信网络,可在各种车辆应用中高效运行。长期演进(LTE)和专用短程通信的集成是异构网络的一种普遍形式。这种网络基础设施的异构性和成本/数据共享的不合作性是需要解决的潜在问题。车辆集群框架是解决这些问题的一种方案,但是该框架在部署到现实世界前应经过形式验证。为解决这些问题,提出一种异构的车辆集群框架,称为目标和兴趣感知集群框架。该框架集成了车载自组织网络与LTE网络,以提高道路交通效率。在此基础上,给出该框架的模型系统。使用模型检测技术对该模型进行形式验证,在功能层面评估其性能。为在微观层面评估该框架性能,通过整合最先进的工具创建异构仿真环境。仿真结果表明,与其他方法相比,该框架具有更好性能。

关键词:车辆集群;异构性;协同;形式验证;系统模型

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article

Reference

[1]Ahmad I, Noor R, Reza Z’aba M, 2019. LTE efficiency when used in traffic information systems: a stable interest aware clustering. Int J Commun Syst, 32(2):e3853.

[2]Ahmad I, Noor R, Zaba MR, et al., 2020. A cooperative heterogeneous vehicular clustering mechanism for road traffic management. Int J Parall Progr, 48(5):870-889.

[3]Alam M, Ferreira J, Fonseca J, 2016. Introduction to Intelligent Transportation Systems. Springer, Cham, 52:1-17.

[4]Alsuhli GH, Fahmy YA, Khattab A, 2020. Bio-inspired metaheuristic framework for clustering optimisation in VANETs. IET Intell Trans Syst, 14(10):1190-1199.

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

[6]Benslimane A, Taleb T, Sivaraj R, 2011. Dynamic clustering-based adaptive mobile gateway management in integrated VANET—3G heterogeneous wireless networks. IEEE J Sel Areas Commun, 29(3):559-570.

[7]Clarke EM, Emerson EA, Sistla AP, 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst, 8(2):244-263.

[8]Ficco M, Esposito C, Palmieri F, et al., 2018. A coral-reefs and game theory-based approach for optimizing elastic cloud resource allocation. Fut Gener Comput Syst, 78:343-352.

[9]Garbiso J, Diaconescu A, Coupechoux M, et al., 2021. Fair self-adaptive clustering for hybrid cellular-vehicular networks. IEEE Trans Intell Trans Syst, 22(2):1225-1236.

[10]Gerla M, Wu C, Pau G, et al., 2014. Content distribution in VANETs. Veh Commun, 1(1):3-12.

[11]Hui YL, Su Z, Luan TH, et al., 2019. A game theoretic scheme for optimal access control in heterogeneous vehicular networks. IEEE Trans Intell Trans Syst, 20(12):4590-4603.

[12]Hui YL, Su Z, Luan TH, 2020. Collaborative content delivery in software-defined heterogeneous vehicular networks. IEEE/ACM Trans Netw, 28(2):575-587.

[13]Jia R, Li ZK, Xia Y, et al., 2020. Urban road traffic condition forecasting based on sparse ride-hailing service data. IET Intell Trans Syst, 14(7):668-674.

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

[15]Liu K, Ng JKY, Lee VCS, et al., 2016. Cooperative data scheduling in hybrid vehicular ad hoc networks: VANET as a software defined network. IEEE/ACM Trans Netw, 24(3):1759-1773.

[16]Lobato W Jr, Rosário D, Cerqueira E, et al., 2018. A game theory approach for platoon-based driving for multimedia transmission in VANETs. Wirel Commun Mob Comput, 2018:2414658.

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

[18]Morales MMC, Haw R, Cho EJ, et al., 2012. An adaptable destination-based dissemination algorithm using a publish/subscribe model in vehicular networks. J Comput Sci Eng, 6(3):227-242.

[19]Qadir J, Hasan O, 2015. Applying formal methods to networking: theory, techniques, and applications. IEEE Commun Surv Tut, 17(1):256-291.

[20]Roughgarden T, 2010. Algorithmic game theory. Commun ACM, 53(7):78-86.

[21]Salvo P, Turcanu I, Cuomo F, et al., 2017. Heterogeneous cellular and DSRC networking for floating car data collection in urban areas. Veh Commun, 8:21-34.

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

[23]Srivastava V, Neel J, Mackenzie AB, et al., 2005. Using game theory to analyze wireless ad hoc networks. IEEE Commun Surv Tut, 7(4):46-56.

[24]Ucar S, Ergen SC, Ozkasap O, 2016. Multihop-cluster-based IEEE 802.11p and LTE hybrid architecture for VANET safety message dissemination. IEEE Trans Veh Technol, 65(4):2621-2636.

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

[26]Virdis A, Stea G, Nardini G, 2015. Simulating LTE/LTE-advanced networks with SimuLTE. Int Conf on Simulation and Modeling Methodologies, Technologies and Applications, p.83-105.

[27]Wang TY, Cao X, Wang SW, 2019. Self-adaptive clustering and load-bandwidth management for uplink enhancement in heterogeneous vehicular networks. IEEE Int Things J, 6(3):5607-5617.

[28]Wang YP, Cai PL, Lu GQ, 2020. Cooperative autonomous traffic organization method for connected automated vehicles in multi-intersection road networks. Trans Res C Emerg Technol, 111:458-476.

[29]Wolny G. 2008. Modified DMAC clustering algorithm for VANETs. 3rd Int Conf on Systems and Networks Communications, p.268-273.

[30]Yaqoob I, Ahmad I, Ahmed E, et al., 2017. Overcoming the key challenges to establishing vehicular communication: is SDN the answer? IEEE Commun Mag, 55(7):128-134.

Open peer comments: Debate/Discuss/Question/Opinion

<1>

Please provide your name, email address and a comment





Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE