arrow
返回

FCPP plus Miosix: Scaling Aggregate Programming to Embedded Systems

delete2023-03-01
delete3
delete
OA
AI
G
Giorgio Audrito *
F
Federico Terraneo
W
William Fornaciari
DOI:10.1109/TPDS.2022.3232633delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
As the density of nodes capable of sensing, computing and actuation increases, it becomes increasingly useful to model an entire network of physical devices as a single, continuous space-time computing machine. The emergent behaviour of the whole software system is then induced by local computations deployed within each node and by the dynamics of the information diffusion. A relevant example of this distribution model is given by aggregate programming and its minimal set of functional constructs used to manipulate distributed data structures evolving over space and time, and resulting in robustness to changes. In this paper, we propose the first implementation of the aggregate computing paradigm targeting microcontrollers, by integrating FCPP, a C++ implementation of the paradigm, with Miosix, a modern operating system for microcontrollers with full C++ support. To the best of the author's knowledge, we are the first to present results on the effectiveness of FCPP in an embedded operating system setting as opposed to a simulation environment, thus considering tight memory and computational constraints and accounting for packet losses due to nonidealities of the radio channel. We implemented and tested on a network of WandStem nodes two benchmark applications: a network connectivity checker for network planning and preventive maintenance, and a decentralised contact tracing application. Additionally, we show that common problems in sensor networks such as neighbour discovery, construction of a graph of the network topology, coarse grain clock synchronisation as well as network monitoring and the collection of statistics (such as memory occupation data) can be easily performed thanks to the expressive semantics of aggregate programming.
Keyword:
Aggregate programming
distributed systems
embedded systems

期刊

IEEE Transactions on Parallel and Distributed Systems 封面图
IEEE Transactions on Parallel and Distributed Systems
IF:
6
论文数:
5.2K
被引数:
1.1W

机构

P
Polytechnic University of Milan
学者数:
2.0W
论文数: 1.8W
被引数: 24
U
University of Turin
学者数:
3.7W
论文数: 2.8W
被引数: 3.2W
引用论文

引用论文

Near-optimal knowledge-free resilient leader election
err2022-12-01
err3
errOAAI
errMo, Yuanqiu; Audrito, Giorgio; Dasgupta, Soura; Beal, Jacob
err分享
err收藏
Differential susceptibility to a trematode parasite among genotypes of the Mytilus edulis/galloprovincialis complex
err2009-04-14
err0
errOAAI
errChristine Coustau; François Renaud; Claude Maillard; Nicole Pasteur; Bernard Delay
err分享
err收藏
Paraplegic locomotion: a review
err1996-09-01
err0
errOAAI
errA V Nene; H J Hermens; G Zilvold
err分享
err收藏
Nitrogen and phosphorus Co-doped non stoichiometric cobalt selenides (Co0.85Se) ultrathin nanosheets as highly efficient electrocatalysts for the hydrogen evolution reaction
err2022-02-01
err0
PREAI
errWenjing Liang; Jiajia Gao; Xinyi Wang; Xiuyan Meng; Shuangsheng Xiong; Kexin Ji; Xuan Wang; Li Hou; Rongna Chen; Faming Gao
err分享
err收藏
RIOT: An Open Source Operating System for Low-End Embedded Devices in the IoT
err2018-12-01
err146
PREAI
errBaccelli, Emmanuel; Gundogan, Cenk; Hahm, Oliver; Kietzmann, Peter; Lenders, Martine S.; Petersen, Hauke; Schleiser, Kaspar; Schmidt, Thomas C.; Waehlisch, Matthias
err分享
err收藏
Prevalence and Distribution of Leishmania RNA Virus 1 in Leishmania Parasites from French Guiana
err2016-01-06
err0
errOAAI
errMarine Ginouvès; Stéphane Simon; Eliane Bourreau; Vincent Lacoste; Catherine Ronet; Pierre Couppié; Mathieu Nacher; Magalie Demar; Ghislaine Prévot
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
学者 查看更多内容