Similar articles

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.

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

[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. 3^rd 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.