Archivio istituzionale della ricerca dell'Università degli Studi di Palermo
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, pubblicazioni, progetti, attività) adottato dall’Università di Palermo, e ha lo scopo di raccogliere, conservare, documentare, e diffondere ad accesso aperto le informazioni relative alla produzione scientifica degli autori afferenti all’Ateneo.
EnglishThe 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.
| Data di pubblicazione: | 2019 |
| Titolo: | A middleware to develop and test vehicular sensor network applications |
| Autori: | PERI, Daniele (Corresponding) |
| Citazione: | 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.. |
| 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. |
| URL: | http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8790961 |
| ISBN: | 978-8-8872-3743-6 |
| Digital Object Identifier (DOI): | 10.23919/EETA.2019.8804533 |
| Settore Scientifico Disciplinare: | Settore ING-INF/05 - Sistemi Di Elaborazione Delle Informazioni |
| Appare nelle tipologie: | 2.07 Contributo in atti di convegno pubblicato in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 08804533.pdf | Articolo (versione editoriale) | Versione Editoriale | Administrator Richiedi una copia | |
| AEIT2019_draft+copertina.pdf | Articolo (post-print) | Post-print | Administrator Richiedi una copia | |
| Contratto editore:Agreement editore.pdf | Contratto editore/Agreement editore | Contratto con l'editore Contratto con l'editore (ATTENZIONE: NON TRASFERIRE A SITO DOCENTE) | Administrator Richiedi una copia |
http://hdl.handle.net/10447/370986
Copyright © 2020