Simulation of a Clustering Scheme for Vehicular Ad Hoc Networks Using a DEVS-based Virtual Laboratory Environment - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Simulation of a Clustering Scheme for Vehicular Ad Hoc Networks Using a DEVS-based Virtual Laboratory Environment

Abstract

Protocol design is usually based on the functional models developed according to the needs of the system. In Intelligent Transport Systems (ITS), the features studied regarding Vehicular Ad hoc Networks (VANET) include self-organizing, routing, reliability, quality of service, and security. Simulation studies on ITS-dedicated routing protocols usually focus on their performance in specific scenarios. However, the evolution of transportation systems towards autonomous vehicles requires robust protocols with proven or at least guaranteed properties. Though formal approaches provide powerful tools for system design, they cannot be used for every types of ITS components. Our goal is to develop new tools combining formal tools such as Event-B with DEVS-based (Discrete Event System Specification) virtual laboratories in order to design the models of ITS components which simulation would allow proving and verifying their properties in large-scale scenarios. This paper presents the models of the different components of a VANET realized with the Virtual Laboratory Environment (VLE). We point out the component models fitting to formal modeling, and proceed to the validation of all designed models through a simulation scenario based on real-world road traffic data.
Fichier principal
Vignette du fichier
doc00029380.pdf (957.89 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01850458 , version 1 (27-07-2018)

Identifiers

Cite

Emna Chebbi, Patrick Sondi, Eric Ramat, Lucas Rivoirard, Martine Wahl. Simulation of a Clustering Scheme for Vehicular Ad Hoc Networks Using a DEVS-based Virtual Laboratory Environment. ANT 2018, The 9th International Conference on Ambient Systems, Networks and Technologies, May 2018, Porto, Portugal. pp.344-351, ⟨10.1016/j.procs.2018.04.049⟩. ⟨hal-01850458⟩
85 View
105 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More