Temporal Property Testing in Dynamic Networks: Application to Software-Defined Vehicular Networks

Yessin M Neggaz (1) , Soufian Toufga (1)

1 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés

With the recent advances in the area of wireless communication networks, a new kind of networks emerges where entities make contact over time with one another, which makes topology highly dynamic e.g UAV networks, wireless sensor networks, vehicular networks etc. A challenge in this context is to study dynamics patterns and temporal properties and decide if the evolution of the topology satisfies requirements for given protocol, algorithm, task etc. and adapt at different levels. In this paper we focus on testing temporal properties in dynamic networks, then we consider SDVN – Software-Defined vehicular networks as a case study where we propose the integration of a new component in SDVN architecture based on a framework that allows dynamic networks properties analysis and adaptation to a given dynamic context. We demonstrated how network control functions can take benefit from the provided information.

Domaines: Informatique [cs]

Yessin M Neggaz, Soufian Toufga. Temporal Property Testing in Dynamic Networks: Application to Software-Defined Vehicular Networks. WETICE 2018, Jun 2018, Paris, France. 6p. ⟨hal-01847005⟩