Publications

BibTex format

@inproceedings{Dulay:2018:10.1109/AINA.2018.00052,
author = {Dulay, N and Micheletti, M and Mostarda, L and Piermarteri, A},
doi = {10.1109/AINA.2018.00052},
publisher = {IEEE},
title = {PICO-MP: De-centralised macro-programming for wireless sensor and actuator networks},
url = {http://dx.doi.org/10.1109/AINA.2018.00052},
year = {2018}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Macro-programming advocates the use of high-levelabstractions to specify distributed systems as a whole. However,macro-programming  implementations  are  often  centralised.  Inthis  paper  we  present  PICO-MP,  the  first  fully  decentralisedmacro-programming middleware for wireless sensor and actuatornetwork  (WSAN)  applications.  PICO-MP  incorporates  a  novelpublish-subscribe   service   that   can   correlate   events   scatteredacross  a  WSAN  using  global  formulae  specifications  that  areautomatically  checked  in  a  distributed  fashion.  PICO-MP  hasbeen implemented for the TinyOS operating system and validatedon  a  case  study  that  uses  global  formulae  to  improve  energyefficiency  (lifetime)  of  the  implementation.
AU  - Dulay,N
AU  - Micheletti,M
AU  - Mostarda,L
AU  - Piermarteri,A
DO  - 10.1109/AINA.2018.00052
PB  - IEEE
PY  - 2018///
SN  - 2332-5658
TI  - PICO-MP: De-centralised macro-programming for wireless sensor and actuator networks
UR  - http://dx.doi.org/10.1109/AINA.2018.00052
UR  - http://hdl.handle.net/10044/1/58291
ER  -

Download

DrNarankerDulay

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)