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

An Improved 6LoWPAN Hierarchical Routing Protocol

IETF 6LoWPAN working group is engaged in the IPv6 protocol stack research work based on IEEE802.15.4 standard. In this working group, the routing protocol is one of the important research contents. In the 6LoWPAN, HiLow...

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

Low-Complex Reliable Communications between Wireless Network-Nodes

We present a low-complex blind interference reduction scheme embedded in the receiver to enhance correlative data detection. The key element is a statistically controlled adaptive nonlinearity prior to correlation. This...

Spectrum Sensing For Cognitive Radios Through Differential Entropy

In this work, we present a novel Goodness-of-Fit Test driven by differential entropy for spectrum sensing in cognitive radios, under three different noise models – Gaussian, Laplacian and mixture of Gaussians. We analyze...

WiFi Localization Based on IEEE 802.11 RTS/CTS Mechanism

Location Based Services are providing one of the fastest growing market segments today. While the most common technique for location determination is GPS, several alternative approaches have been proposed for Wi-Fi envir...

Download PDF file
  • EP ID EP45621
  • DOI http://dx.doi.org/10.4108/cogcom.1.2.e6
  • Views 372
  • 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