Skip to main content

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

  • Conference paper
  • First Online:
Internet of Things. User-Centric IoT (IoT360 2014)

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787ā€“2805 (2010)

    ArticleĀ  MATHĀ  Google ScholarĀ 

  2. De Paola, A., Lo Re, G., Pellegrino, A.: A fuzzy adaptive controller for an ambient intelligence scenario. In: Gaglio, S., Lo Re, G. (eds.) Advances onto the Internet of Things. AISC, pp. 47ā€“59. Springer, Heidelberg (2014)

    ChapterĀ  Google ScholarĀ 

  3. De Paola, A., Ortolani, M., Lo Re, G., Anastasi, G., Das, S.K.: Intelligent management systems for energy efficiency in buildings: a survey. ACM Comput. Surv 47(1), 13:1ā€“13:38 (2014)

    ArticleĀ  Google ScholarĀ 

  4. Gaglio, S., Lo Re, G., Martorella, G., Peri, D.: A fast and interactive approach to application development on wireless sensor and actuator networks. In: Accepted at the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014) (2014)

    Google ScholarĀ 

  5. Gaglio, S., Re, G.L., Martorella, G., Peri, D.: A lightweight middleware platform for distributed computing on wireless sensor networks. Procedia Comput. Sci. 32, 908ā€“913 (2014). http://www.sciencedirect.com/science/article/pii/S1877050914007108, The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), The 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)

    ArticleĀ  Google ScholarĀ 

  6. Guo, B., Zhang, D., Yu, Z., Liang, Y., Wang, Z., Zhou, X.: From the Internet of things to embedded intelligence. World Wide Web 16(4), 399ā€“420 (2013)

    ArticleĀ  Google ScholarĀ 

  7. Jin, Y.: Fuzzy modeling of high-dimensional systems: complexity reduction and interpretability improvement. IEEE Trans. Fuzzy Syst. 8(2), 212ā€“221 (2000)

    ArticleĀ  Google ScholarĀ 

  8. Kortuem, G., Kawsar, F., Fitton, D., Sundramoorthy, V.: Smart objects as building blocks for the internet of things. IEEE Internet Comput. 14(1), 44ā€“51 (2010)

    ArticleĀ  Google ScholarĀ 

  9. Martorella, G., Peri, D., Toscano, E.: Hardware and software platforms for distributed computing on resource constrained devices. In: Gaglio, S., Lo Re, G. (eds.) Advances onto the Internet of Things. Advances in Intelligent Systems and Computing, vol. 260, pp. 121ā€“133. Springer International Publishing, Switzerland (2014)

    ChapterĀ  Google ScholarĀ 

  10. Navara, M., Peri, D.: Automatic generation of fuzzy rules and its applications in medical diagnosis. In: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty, Perugia, Italy, vol. 1, pp. 657ā€“663 (2004)

    Google ScholarĀ 

  11. VanNorman, R.: Fuzzy Forth. Forth Dimensions 18, 6ā€“13 (1997)

    Google ScholarĀ 

  12. Yam, Y., Baranyi, P., Yang, C.T.: Reduction of fuzzy rule base via singular value decomposition. IEEE Trans. Fuzzy Syst. 7(2), 120ā€“132 (1999)

    ArticleĀ  Google ScholarĀ 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daniele Peri .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

Ā© 2015 Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Cite this paper

Gaglio, S., Lo Re, G., Martorella, G., Peri, D. (2015). High-Level Programming and Symbolic Reasoning on IoT Resource Constrained Devices. In: Giaffreda, R., et al. Internet of Things. User-Centric IoT. IoT360 2014. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 150. Springer, Cham. https://doi.org/10.1007/978-3-319-19656-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19656-5_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19655-8

  • Online ISBN: 978-3-319-19656-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics