Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things最新文献

Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents 装备物联网的自主代理的时空逻辑到基于流的监控应用的自动转换

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things Pub Date : 2019-12-09 DOI: 10.1145/3366610.3368097

L. Bortolussi, Vincenzo Gulisano, Eric Medvet, Dimitrios Palyvos-Giannas

{"title":"Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents","authors":"L. Bortolussi, Vincenzo Gulisano, Eric Medvet, Dimitrios Palyvos-Giannas","doi":"10.1145/3366610.3368097","DOIUrl":"https://doi.org/10.1145/3366610.3368097","url":null,"abstract":"Environments in which IoT-equipped autonomous agents and humans tightly interact require safety rules that monitor the agents' behaviors. In this context, expressive and human-comprehensible rules based on Spatio-Temporal Logics (STLs) are desirable because they are informative and easy to maintain. Unfortunately, STLs usually build on ad-hoc platforms implementing the logic semantics. We tackle this limitation with a mechanism to transparently compile STL rules to monitoring applications composed of standard data streaming operators, thus opening up the use of high-throughput and low-latency Stream Processing Engines for monitoring rule compliance in realistic, data-rich IoT scenarios. Our contribution can favor a broader and faster adoption of STLs for IoT-equipped agent monitoring by separating the concerns of designing a rule from those of implementing its semantics. Together with our formal description of how to translate STLs to the streaming domain, we evaluate our prototype implementation based on Apache Flink, studying the effects of parameters such as time and space resolution on the monitoring performance.","PeriodicalId":246497,"journal":{"name":"Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125653305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Untangling the Physical-Digital Knot When Designing Advanced IoT Ecosystems 在设计先进的物联网生态系统时，解开物理与数字的结

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things Pub Date : 2019-12-09 DOI: 10.1145/3366610.3368096

Ilse Bohé, M. Willocx, Vincent Naessens

引用次数: 0

A Development Environment for FIWARE-based Internet of Things Applications 基于fiwa的物联网应用开发环境

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things Pub Date : 2019-12-09 DOI: 10.1145/3366610.3368100

L. Dantas, Everton Cavalcante, T. Batista

{"title":"A Development Environment for FIWARE-based Internet of Things Applications","authors":"L. Dantas, Everton Cavalcante, T. Batista","doi":"10.1145/3366610.3368100","DOIUrl":"https://doi.org/10.1145/3366610.3368100","url":null,"abstract":"The development of Internet of Things (IoT) applications has to face important issues such as the inherent device heterogeneity in terms of capabilities, computing power, network protocols, and energy requirements. To address this challenge, IoT middleware platforms have been proposed to abstract away the specificities of such devices, promoting interoperability among them, and easing application development. One of these proposals is FIWARE, an open, generic platform developed in the European Community to leverage the development of Future Internet applications. Given a set of FIWARE components required for a specific application under development, their deployment and configuration can be made either manually or using a container-based approach. However, setting up an environment composed by the main FIWARE components might sometimes not be a trivial process. This paper introduces FIWARE-Lab@RNP, a Web virtual laboratory for prototyping and experimenting applications based on the FIWARE platform. The main concern of FIWARE-Lab@RNP is enabling the use of FIWARE resources through the Internet in a transparent way, thus relieving users from the need of deploying and operating a FIWARE instance on their development or owned environment. The virtual laboratory provides functionalities for easily creating, configuring, and managing instances of FIWARE components, devices, context entities, and services while attempting to minimize the learning curve regarding these tasks.","PeriodicalId":246497,"journal":{"name":"Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126806128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Enhancing Transparency of MQTT Brokers For IoT Applications Through Provenance Streams 通过来源流增强物联网应用的MQTT代理的透明度

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things Pub Date : 2019-12-09 DOI: 10.1145/3366610.3368099

Milan Markovic, P. Edwards

引用次数: 3

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things 第六届物联网中间件与应用国际研讨会论文集

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things Pub Date : 1900-01-01 DOI: 10.1145/3366610

引用次数: 0