Research Article
High-Level Programming and Symbolic Reasoning on IoT Resource Constrained Devices
@INPROCEEDINGS{10.1007/978-3-319-19656-5_9, author={Salvatore Gaglio and Giuseppe Lo Re and Gloria Martorella and Daniele Peri}, title={High-Level Programming and Symbolic Reasoning on IoT Resource Constrained Devices}, proceedings={Internet of Things. User-Centric IoT. First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part I}, proceedings_a={IOT360}, year={2015}, month={7}, keywords={High-level programming Resource constrained devices Knowledge representation Fuzzy Logic}, doi={10.1007/978-3-319-19656-5_9} }
- Salvatore Gaglio
Giuseppe Lo Re
Gloria Martorella
Daniele Peri
Year: 2015
High-Level Programming and Symbolic Reasoning on IoT Resource Constrained Devices
IOT360
Springer
DOI: 10.1007/978-3-319-19656-5_9
Abstract
While the vision of Internet of Things (IoT) is rather inspiring, its practical implementation remains challenging. Conventional programming approaches prove unsuitable to provide IoT resource constrained devices with the distributed processing capabilities required to implement intelligent, autonomic, and self-organizing behaviors. In our previous work, we had already proposed an alternative programming methodology for such systems that is characterized by high-level programming and symbolic expressions evaluation, and developed a lightweight middleware to support it. Our approach allows for interactive programming of deployed nodes, and it is based on the simple but effective paradigm of executable code exchange among nodes. In this paper, we show how our methodology can be used to provide IoT resource constrained devices with reasoning abilities by implementing a Fuzzy Logic symbolic extension on deployed nodes at runtime.