Ahmad, Iftikhar and Noor, Rafidah Md and Ahmed, Zaheed and Umm-e-Habiba, . and Akram, Naveed and Garcia Marquez, Fausto Pedro (2021) A cooperative heterogeneous vehicular clustering framework for efficiency improvement. Frontiers of Information Technology & Electronic Engineering, 22 (9). pp. 1247-1259. ISSN 2095-9184, DOI https://doi.org/10.1631/FITEE.2000260.
Full text not available from this repository.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.
| Item Type: | Article |
|---|---|
| Funders: | UNSPECIFIED |
| Uncontrolled Keywords: | Vehicular cluster; Heterogeneity; Cooperation; Formal verification; System model; TN92 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Computer Science & Information Technology > Department of Computer System & Technology |
| Depositing User: | Ms Zaharah Ramly |
| Date Deposited: | 26 Jul 2022 08:12 |
| Last Modified: | 26 Jul 2022 08:12 |
| URI: | http://eprints.um.edu.my/id/eprint/28184 |
Actions (login required)
 |
View Item |
