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

Journal Title: EAI Endorsed Transactions on Cognitive Communications - Year 2015, Vol 1, Issue 2

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 e ective 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.

Authors and Affiliations

Sal vatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Keywords

Related Articles

Asymptotic Approximation of the Standard Condition Number Detector for Large Multi-Antenna Cognitive Radio Systems

Standard condition number (SCN) detector is a promising detector that can work eÿciently in uncertain environments. In this paper, we consider a Cognitive Radio (CR) system with large number of antennas (eg. Massive MIMO...

Detecting Multi-ChannelWireless Microphone User Emulation Attacks in White Space with Noise

Cognitive radio networks (CRNs) are susceptible to primary user emulation (PUE) attacks. Conventional PUE attack detection approaches consider television broadcasting as the primary user. In this work, however, we study...

Miniaturized Implantable DS-PIFA Antenna for Biomedical Applications

This paper presents an implantable miniaturized planar inverted-F antenna (PIFA) for biomedical applications. We propose small sized PIFA that can operate over 2.45 GHz Industrial, Scientific, and Medical (ISM) band. We...

Predictive channel selection: Practical implementation and a social-aware vision for spectrum use

This paper demonstrates a predictive channel selection method by implementing it in software-defined radio (SDR) platforms and measuring the performance using over-the-air video transmissions. The method uses both long t...

Welcome Message from Editor-in-Chief

It is our great honour to introduce the inaugural issue of EAI Transactions on Cognitive Communications. It has been more than one decade since the creation of the cognitive radio concept. The research and development...

Download PDF file
  • EP ID EP45621
  • DOI http://dx.doi.org/10.4108/cogcom.1.2.e6
  • Views 330
  • Downloads 0

How To Cite

Sal vatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri (2015). High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices. EAI Endorsed Transactions on Cognitive Communications, 1(2), -. https://europub.co.uk/articles/-A-45621