6533b7d8fe1ef96bd126a4f0

RESEARCH PRODUCT

Interoperable real-time symbolic programming for smart environments

Salvatore GaglioAntonio MontaltoGiuseppe Lo ReDaniele PeriLeonardo GiulianaGloria Martorella

subject

0209 industrial biotechnologySource codeComputer sciencemedia_common.quotation_subjectDistributed computingExecutable code exchangeForth02 engineering and technologyKnowledge base020901 industrial engineering & automationApplication domain020204 information systems0202 electrical engineering electronic engineering information engineeringSymbolic processingMQTTmedia_commonMQTTSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSymbolic programmingcomputer.file_formatResource-constrained deviceDebuggingSmart environmentExecutableMessage queuecomputer

description

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.

yearjournalcountryeditionlanguage
2019-06-01
10.1109/smartcomp.2019.00067http://hdl.handle.net/10447/369509