Internet of Things. User-Centric IoT. First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part I

Research Article

High-Level Programming and Symbolic Reasoning on IoT Resource Constrained Devices

Download137 downloads
  • @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
Salvatore Gaglio,*, Giuseppe Lo Re1,*, Gloria Martorella1,*, Daniele Peri1,*
  • 1: DICGIM University of Palermo
*Contact email: salvatore.gaglio@unipa.it, giuseppe.lore@unipa.it, gloria.martorella@unipa.it, daniele.peri@unipa.it

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.