PICO-MP:无线传感器和执行器网络的去中心化宏观规划

2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) Pub Date : 2018-05-16 DOI:10.1109/AINA.2018.00052

Naranker Dulay, Matteo Micheletti, L. Mostarda, A. Piermarteri

{"title":"PICO-MP:无线传感器和执行器网络的去中心化宏观规划","authors":"Naranker Dulay, Matteo Micheletti, L. Mostarda, A. Piermarteri","doi":"10.1109/AINA.2018.00052","DOIUrl":null,"url":null,"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.","PeriodicalId":239730,"journal":{"name":"2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"PICO-MP: De-centralised Macro-Programming for Wireless Sensor and Actuator Networks\",\"authors\":\"Naranker Dulay, Matteo Micheletti, L. Mostarda, A. Piermarteri\",\"doi\":\"10.1109/AINA.2018.00052\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":239730,\"journal\":{\"name\":\"2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-05-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AINA.2018.00052\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AINA.2018.00052","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

宏编程提倡使用高级抽象来指定整个分布式系统。然而，宏编程的实现通常是集中的。在本文中，我们提出了PICO-MP，第一个用于无线传感器和执行器网络(WSAN)应用的完全分散的宏编程中间件。PICO-MP集成了一种新颖的发布-订阅服务，该服务可以使用以分布式方式自动检查的全局公式规范将分散在WSAN上的事件关联起来。PICO-MP已经在TinyOS操作系统上实施，并在一个案例研究中进行了验证，该案例研究使用全球公式来提高实施的能源效率(寿命)。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

PICO-MP: De-centralised Macro-Programming for Wireless Sensor and Actuator Networks

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)

自引率

0.00%

发文量