A cooperative heterogeneous vehicular clustering framework for

作     者：Iftikhar AHMAD Rafidah Md NOOR Zaheed AHMED Umm-e-HABIBA Naveed AKRAM Fausto Pedro GARCIA MARQUEZ Iftikhar AHMAD;Rafidah Md NOOR;Zaheed AHMED;Umm-e-HABIBA;Naveed AKRAM;Fausto Pedro GARCíA MáRQUEZ

作者机构：Department of Computer Science and Information TechnologyMirpurUniversity of Science and TechnologyMirpur-10250(AJK)Pakistan Facultyof Computer Science and Information TechnologyUniversity of MalayaKualaLumpur 50603Malaysia Departmentof Software EngineeringUniversity of KotliAJK 11100Pakistan Department of Mechanical EngineeringMirpur University of Science andTechnologyMirpur-10250(AJK)Pakistan Department of MechanicalEngineeringFaculty of Mechanical EngineeringUniversity of MalayaKualaLumpur 50603Malaysia Ingenium Research GroupUniversity of Castilla-LaManchaSpain 

出 版 物：《Frontiers of Information Technology & Electronic Engineering》 (信息与电子工程前沿（英文版）)

年 卷 期：2021年第22卷第9期

页      面：1247-1259页

核心收录：

学科分类：080904[工学-电磁场与微波技术] 0810[工学-信息与通信工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 080402[工学-测试计量技术及仪器] 0804[工学-仪器科学与技术] 081001[工学-通信与信息系统] 

基　　金：the European Project H2020(No.H2020-MG-2018-2019-2020 ENDURUNS).Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature 

主　　题：Vehicular cluster Heterogeneity Cooperation Formal verification System model 

摘      要：Heterogeneous vehicular clustering integrates multiple types of communication networks to work efficiently for various vehicular *** popular form of heterogeneous network is the integration of long-term evolution(LTE)and dedicated short-range *** 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 *** solve these issues,first,we present a het-erogeneous framework,named destination and interest-aware clustering,for vehicular clustering that integrates vehicular ad hoc networks with the LTE network for improving road traffic ***,we specify a model system of the proposed *** model is formally verified to evaluate its performance at the functional level using a model checking *** evaluate the performance of the proposed framework at the micro-level,a heterogeneous simulation environment is created by integrating state-of-the-art *** comparison of the simulation results with those of other known approaches shows that our proposed framework performs better.