Full Text:   <2136>

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: 3493

Citations:  Bibtex RefMan EndNote GB/T7714


Iftikhar Ahmad


Fausto Pedro García Márquez


-   Go to

Article info.
Open peer comments

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


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 García Márquez

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 García Márquez. 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 García Márquez",
journal="Frontiers of Information Technology & Electronic Engineering",
publisher="Zhejiang University Press & Springer",

%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 García Márquez
%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

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 García Márquez
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

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


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


[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=

[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


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 - 2023 Journal of Zhejiang University-SCIENCE