A middleware to develop and test vehicular sensor network applications

Risultato della ricerca: Conference contribution

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.
Lingua originaleEnglish
Titolo della pubblicazione ospite2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive, AEIT AUTOMOTIVE 2019
Pagine1-6
Numero di pagine6
Stato di pubblicazionePublished - 2019

Fingerprint

Middleware
Sensor networks
Testing
Rapid prototyping
Testbeds
Rigidity
Ecosystems
Computer systems
Network protocols
Processing
Costs
Smart city

All Science Journal Classification (ASJC) codes

  • Energy Engineering and Power Technology
  • Automotive Engineering
  • Electrical and Electronic Engineering
  • Safety, Risk, Reliability and Quality

Cita questo

Gaglio, S., Martorella, G., Peri, D., & Lo Re, G. (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 (pagg. 1-6)

A middleware to develop and test vehicular sensor network applications. / Gaglio, Salvatore; Martorella, Gloria; Peri, Daniele; Lo Re, Giuseppe.

2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive, AEIT AUTOMOTIVE 2019. 2019. pag. 1-6.

Risultato della ricerca: Conference contribution

Gaglio, S, Martorella, G, Peri, D & Lo Re, G 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. pagg. 1-6.
Gaglio S, Martorella G, Peri D, Lo Re G. 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. 2019. pag. 1-6
Gaglio, Salvatore ; Martorella, Gloria ; Peri, Daniele ; Lo Re, Giuseppe. / A middleware to develop and test vehicular sensor network applications. 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive, AEIT AUTOMOTIVE 2019. 2019. pagg. 1-6
@inproceedings{883032726bd04144ade7885b30b0822e,
title = "A middleware to develop and test vehicular sensor network applications",
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.",
author = "Salvatore Gaglio and Gloria Martorella and Daniele Peri and {Lo Re}, Giuseppe",
year = "2019",
language = "English",
isbn = "978-8-8872-3743-6",
pages = "1--6",
booktitle = "2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive, AEIT AUTOMOTIVE 2019",

}

TY - GEN

T1 - A middleware to develop and test vehicular sensor network applications

AU - Gaglio, Salvatore

AU - Martorella, Gloria

AU - Peri, Daniele

AU - Lo Re, Giuseppe

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

UR - http://hdl.handle.net/10447/370986

UR - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8790961

M3 - Conference contribution

SN - 978-8-8872-3743-6

SP - 1

EP - 6

BT - 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive, AEIT AUTOMOTIVE 2019

ER -