0000000000320227

AUTHOR

Antonio Montalto

showing 2 related works from this author

Interoperable real-time symbolic programming for smart environments

2019

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 co…

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
researchProduct

A Rule-Based System for Hardware Configuration and Programming of IoT Devices

2019

Simplifying programming, deployment, and configuration of heterogeneous networked IoT devices requires networking, hardware, representation of knowledge and concepts, design and programming skills. In fact, IoT applications are mostly built by adopting different existing paradigms and technologies on a case-by-case basis. As a result, programming tools hinder adaptability and interoperability of applications with their rigidity. In this paper, we propose a rule-based system that configures and programs IoT devices automatically. The rule base holds formal specifications about hardware platforms, networking protocols, physical world concepts, and applications. Provided with a high-level appl…

Symbolic programmingFormal knowledge representationbusiness.industryComputer scienceSymbolic programmingmedia_common.quotation_subjectInteroperabilityRule-based systemAdaptabilitySoftware deploymentCode generationCode generationFORTHbusinessInternet of ThingsComputer hardwaremedia_common
researchProduct