PICO-MP: De-centralised macro-programming for wireless sensor and actuator networks
File(s)AINA2018Pico-mpArticle_cameraready.pdf (695.55 KB)
Accepted version
Author(s)
Dulay, N
Micheletti, Matteo
Mostarda, Leonardo
Piermarteri, Andrea
Type
Conference Paper
Abstract
Macro-programming advocates the use of high-level
abstractions to specify distributed systems as a whole. However,
macro-programming implementations are often centralised. In
this paper we present PICO-MP, the first fully decentralised
macro-programming middleware for wireless sensor and actuator
network (WSAN) applications. PICO-MP incorporates a novel
publish-subscribe service that can correlate events scattered
across a WSAN using global formulae specifications that are
automatically checked in a distributed fashion. PICO-MP has
been implemented for the TinyOS operating system and validated
on a case study that uses global formulae to improve energy
efficiency (lifetime) of the implementation.
abstractions to specify distributed systems as a whole. However,
macro-programming implementations are often centralised. In
this paper we present PICO-MP, the first fully decentralised
macro-programming middleware for wireless sensor and actuator
network (WSAN) applications. PICO-MP incorporates a novel
publish-subscribe service that can correlate events scattered
across a WSAN using global formulae specifications that are
automatically checked in a distributed fashion. PICO-MP has
been implemented for the TinyOS operating system and validated
on a case study that uses global formulae to improve energy
efficiency (lifetime) of the implementation.
Date Issued
2018-08-13
Date Acceptance
2018-01-25
Citation
2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), 2018
ISSN
2332-5658
Publisher
IEEE
Journal / Book Title
2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)
Copyright Statement
© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Source
32nd IEEE International Conference on Advanced Information Networking and Applications
Subjects
Science & Technology
Technology
Computer Science, Hardware & Architecture
Engineering, Electrical & Electronic
Computer Science
Engineering
Wireless Sensor and Actuator Networks
Distributed Computation
Macro-programming
Publish / Subscribe Paradigm
Energy Efficiency
Publication Status
Published
Start Date
2018-05-16
Finish Date
2018-05-18
Coverage Spatial
Cracow, Poland