Interoperable real-time symbolic programming for smart environments

Risultato della ricerca: Conference contribution

1 Citazione (Scopus)

Abstract

Smart environments demand novel paradigms offering easy configuration, programming and deployment of pervasive applications. To this purpose, different solutions have been proposed ranging from visual paradigms based on mashups to formal languages. However, most of the paradigms proposed in the literature require further external tools to turn application description code into an executable program before the deployment on target devices. Source code generation, runtime upgrades and recovery, and online debugging and inspection are often cumbersome in these programming environments. In this work we describe a methodology for real-time and on-line programming in smart environments that is compact and efficient enough to run on resource-constrained devices. The pillar of the proposed approach is real-time exchange of executable symbolic code in heterogeneous networks. The methodology is supported by an inference engine that is able to generate symbolic code starting from knowledge about hardware devices and their placement in the environment, and about the application domain. Interoperability with existing smart applications and Internet of Things (IoT) deployments is reached through a symbolic Transmission Control Protocol (TCP) client, and Message Queue Telemetry Transport (MQTT) client.
Lingua originaleEnglish
Titolo della pubblicazione ospiteProceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019
Pagine309-316
Numero di pagine8
Stato di pubblicazionePublished - 2019

Fingerprint

Transmission control protocol
Inference engines
Formal languages
Heterogeneous networks
Telemetering
Interoperability
Inspection
Hardware
Recovery
Code generation
Internet of things

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Networks and Communications
  • Computer Science Applications
  • Hardware and Architecture
  • Safety, Risk, Reliability and Quality

Cita questo

Peri, D., Martorella, G., Gaglio, S., & Lo Re, G. (2019). Interoperable real-time symbolic programming for smart environments. In Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019 (pagg. 309-316)

Interoperable real-time symbolic programming for smart environments. / Peri, Daniele; Martorella, Gloria; Gaglio, Salvatore; Lo Re, Giuseppe.

Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019. 2019. pag. 309-316.

Risultato della ricerca: Conference contribution

Peri, D, Martorella, G, Gaglio, S & Lo Re, G 2019, Interoperable real-time symbolic programming for smart environments. in Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019. pagg. 309-316.
Peri D, Martorella G, Gaglio S, Lo Re G. Interoperable real-time symbolic programming for smart environments. In Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019. 2019. pag. 309-316
Peri, Daniele ; Martorella, Gloria ; Gaglio, Salvatore ; Lo Re, Giuseppe. / Interoperable real-time symbolic programming for smart environments. Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019. 2019. pagg. 309-316
@inproceedings{8b541c4ae23b49b790ed8096f1c38f5b,
title = "Interoperable real-time symbolic programming for smart environments",
abstract = "Smart environments demand novel paradigms offering easy configuration, programming and deployment of pervasive applications. To this purpose, different solutions have been proposed ranging from visual paradigms based on mashups to formal languages. However, most of the paradigms proposed in the literature require further external tools to turn application description code into an executable program before the deployment on target devices. Source code generation, runtime upgrades and recovery, and online debugging and inspection are often cumbersome in these programming environments. In this work we describe a methodology for real-time and on-line programming in smart environments that is compact and efficient enough to run on resource-constrained devices. The pillar of the proposed approach is real-time exchange of executable symbolic code in heterogeneous networks. The methodology is supported by an inference engine that is able to generate symbolic code starting from knowledge about hardware devices and their placement in the environment, and about the application domain. Interoperability with existing smart applications and Internet of Things (IoT) deployments is reached through a symbolic Transmission Control Protocol (TCP) client, and Message Queue Telemetry Transport (MQTT) client.",
author = "Daniele Peri and Gloria Martorella and Salvatore Gaglio and {Lo Re}, Giuseppe",
year = "2019",
language = "English",
isbn = "978-172811689-1",
pages = "309--316",
booktitle = "Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019",

}

TY - GEN

T1 - Interoperable real-time symbolic programming for smart environments

AU - Peri, Daniele

AU - Martorella, Gloria

AU - Gaglio, Salvatore

AU - Lo Re, Giuseppe

PY - 2019

Y1 - 2019

N2 - Smart environments demand novel paradigms offering easy configuration, programming and deployment of pervasive applications. To this purpose, different solutions have been proposed ranging from visual paradigms based on mashups to formal languages. However, most of the paradigms proposed in the literature require further external tools to turn application description code into an executable program before the deployment on target devices. Source code generation, runtime upgrades and recovery, and online debugging and inspection are often cumbersome in these programming environments. In this work we describe a methodology for real-time and on-line programming in smart environments that is compact and efficient enough to run on resource-constrained devices. The pillar of the proposed approach is real-time exchange of executable symbolic code in heterogeneous networks. The methodology is supported by an inference engine that is able to generate symbolic code starting from knowledge about hardware devices and their placement in the environment, and about the application domain. Interoperability with existing smart applications and Internet of Things (IoT) deployments is reached through a symbolic Transmission Control Protocol (TCP) client, and Message Queue Telemetry Transport (MQTT) client.

AB - Smart environments demand novel paradigms offering easy configuration, programming and deployment of pervasive applications. To this purpose, different solutions have been proposed ranging from visual paradigms based on mashups to formal languages. However, most of the paradigms proposed in the literature require further external tools to turn application description code into an executable program before the deployment on target devices. Source code generation, runtime upgrades and recovery, and online debugging and inspection are often cumbersome in these programming environments. In this work we describe a methodology for real-time and on-line programming in smart environments that is compact and efficient enough to run on resource-constrained devices. The pillar of the proposed approach is real-time exchange of executable symbolic code in heterogeneous networks. The methodology is supported by an inference engine that is able to generate symbolic code starting from knowledge about hardware devices and their placement in the environment, and about the application domain. Interoperability with existing smart applications and Internet of Things (IoT) deployments is reached through a symbolic Transmission Control Protocol (TCP) client, and Message Queue Telemetry Transport (MQTT) client.

UR - http://hdl.handle.net/10447/369509

UR - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8777005

M3 - Conference contribution

SN - 978-172811689-1

SP - 309

EP - 316

BT - Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019

ER -