Home // International Journal On Advances in Networks and Services, volume 11, numbers 1 and 2, 2018 // View article

From Formal Modeling to Discrete Event Simulation: Application to the Design and Evaluation of a Routing Protocol for Vehicular Ad Hoc Networks

Authors:
Emna Chebbi
Patrick Sondi
Eric Ramat

Keywords: Routing protocol; Vehicular Networks; Formal Modeling; Discrete Event Simulation; Intelligent Transport Systems.

Abstract:
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 work present a methodology to increase the amount of proven properties on ITS-components. In this paper we describe how the methodology can apply to the study of a routing protocol. We describe how both the Event-B and DEVS models of the routing protocol are implemented and validated.

Pages: 45 to 56

Copyright: Copyright (c) to authors, 2018. Used with permission.

Publication date: June 30, 2018

Published in: journal

ISSN: 1942-2644