The Smart city ecosystem is composed of several networked devices that provide services to citizens and improve their quality of life. Basic services, which must be exposed by the underlying software infrastructure, require efficient networking and communication protocols to coordinate and manage all the system components. In particular, Vehicular Sensor Networks (VSNs) are envisioned as key components of smart cities. Verification is crucial in such a highly dynamic scenario to ensure operation correctness and to reduce the development cost of smart applications. However, the rigidity of existing middlewares makes development, reconfiguration, and testing rather difficult. In this work, we propose a middleware that supports development and testing of distributed applications in VSNs. The middleware is based on symbolic processing. Interactive testing as well as incremental development are enabled by the exchange of executable symbolic code among vehicles. The symbolic approach also fosters rapid prototyping and construction of testbeds.

Gaglio S., Lo Re G., Martorella G., Peri D. (2019). A middleware to develop and test vehicular sensor network applications. In 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive, AEIT AUTOMOTIVE 2019 (pp. 1-6). Institute of Electrical and Electronics Engineers Inc. [10.23919/EETA.2019.8804533].

A middleware to develop and test vehicular sensor network applications

Gaglio S.;Lo Re G.;Martorella G.;Peri D.
2019-01-01

Abstract

The Smart city ecosystem is composed of several networked devices that provide services to citizens and improve their quality of life. Basic services, which must be exposed by the underlying software infrastructure, require efficient networking and communication protocols to coordinate and manage all the system components. In particular, Vehicular Sensor Networks (VSNs) are envisioned as key components of smart cities. Verification is crucial in such a highly dynamic scenario to ensure operation correctness and to reduce the development cost of smart applications. However, the rigidity of existing middlewares makes development, reconfiguration, and testing rather difficult. In this work, we propose a middleware that supports development and testing of distributed applications in VSNs. The middleware is based on symbolic processing. Interactive testing as well as incremental development are enabled by the exchange of executable symbolic code among vehicles. The symbolic approach also fosters rapid prototyping and construction of testbeds.
2019
Settore ING-INF/05 - Sistemi Di Elaborazione Delle Informazioni
978-8-8872-3743-6
Gaglio S., Lo Re G., Martorella G., Peri D. (2019). A middleware to develop and test vehicular sensor network applications. In 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive, AEIT AUTOMOTIVE 2019 (pp. 1-6). Institute of Electrical and Electronics Engineers Inc. [10.23919/EETA.2019.8804533].
File in questo prodotto:
File Dimensione Formato  
08804533.pdf

Solo gestori archvio

Descrizione: Articolo (versione editoriale)
Tipologia: Versione Editoriale
Dimensione 275.8 kB
Formato Adobe PDF
275.8 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
AEIT2019_draft+copertina.pdf

Solo gestori archvio

Descrizione: Articolo (post-print)
Tipologia: Post-print
Dimensione 432.12 kB
Formato Adobe PDF
432.12 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Contratto editore:Agreement editore.pdf

Solo gestori archvio

Descrizione: Contratto editore/Agreement editore
Tipologia: Contratto con l'editore (ATTENZIONE: NON TRASFERIRE A SITO DOCENTE)
Dimensione 144.15 kB
Formato Adobe PDF
144.15 kB 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/370986
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact