Population protocols are a new paradigm that aims to model distributed systems composed of randomly interacting mobile agents. The main advantage of this model is that, when certain theoretical assumptions hold, it is possible to formally demonstrate their convergence. We consider the problem of adopting Population Protocols in a real-world scenario that does not guarantee these assumptions. In particular, we consider the application domain of Vehicular Ad-Hoc Networks (VANETs) which are characterized by dynamic network topologies, and where wireless communications can be affected by interferences and errors. In this work, we analyze the main features of VANET agents and the communications between them, and how these features can affect the performance of a Population Protocol. Based on the obtained results, we propose a communication schema that allows to preserve the formal properties of Population Protocols. Experimental results prove the suitability of our approach, regardless of the specific scenario considered.

Bordonaro, A., De Paola, A., Re, G.L. (2021). VPP: A Communication Schema for Population Protocols in VANET. In Proceedings of the 2021 20th International Conference on Ubiquitous Computing and Communications (IUCC/CIT/DSCI/SmartCNS) (pp. 11-18) [10.1109/IUCC-CIT-DSCI-SmartCNS55181.2021.00017].

VPP: A Communication Schema for Population Protocols in VANET

Bordonaro, Antonio;De Paola, Alessandra;Re, Giuseppe Lo
2021-01-01

Abstract

Population protocols are a new paradigm that aims to model distributed systems composed of randomly interacting mobile agents. The main advantage of this model is that, when certain theoretical assumptions hold, it is possible to formally demonstrate their convergence. We consider the problem of adopting Population Protocols in a real-world scenario that does not guarantee these assumptions. In particular, we consider the application domain of Vehicular Ad-Hoc Networks (VANETs) which are characterized by dynamic network topologies, and where wireless communications can be affected by interferences and errors. In this work, we analyze the main features of VANET agents and the communications between them, and how these features can affect the performance of a Population Protocol. Based on the obtained results, we propose a communication schema that allows to preserve the formal properties of Population Protocols. Experimental results prove the suitability of our approach, regardless of the specific scenario considered.
2021
Settore ING-INF/05 - Sistemi Di Elaborazione Delle Informazioni
Bordonaro, A., De Paola, A., Re, G.L. (2021). VPP: A Communication Schema for Population Protocols in VANET. In Proceedings of the 2021 20th International Conference on Ubiquitous Computing and Communications (IUCC/CIT/DSCI/SmartCNS) (pp. 11-18) [10.1109/IUCC-CIT-DSCI-SmartCNS55181.2021.00017].
File in questo prodotto:
File Dimensione Formato  
VPP_A_Communication_Schema_for_Population_Protocols_in_VANET.pdf

Solo gestori archvio

Descrizione: articolo principale + front page + ToC
Tipologia: Versione Editoriale
Dimensione 8.16 MB
Formato Adobe PDF
8.16 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10447/541033
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact