L. Bortolussi, Vincenzo Gulisano, Eric Medvet, Dimitrios Palyvos-Giannas
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.
{"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}
Know-how from both the real world and digital domain must be combined when building advanced IoT ecosystems. Although app developers generally have in-depth expertise in one or more verticals, their competences on IoT infrastructure are often limited. This hampers the development of qualitative IoT ecosystems. This paper shows that an early-stage ontological effort incorporating the application domain as well as infrastructural conceptualizations and relations can facilitate the development and management of IoT apps within verticals. Developers can now define app behavior in terms of application-domain conceptualizations, after which infrastructural feedback can automatically be extracted.
{"title":"Untangling the Physical-Digital Knot When Designing Advanced IoT Ecosystems","authors":"Ilse Bohé, M. Willocx, Vincent Naessens","doi":"10.1145/3366610.3368096","DOIUrl":"https://doi.org/10.1145/3366610.3368096","url":null,"abstract":"Know-how from both the real world and digital domain must be combined when building advanced IoT ecosystems. Although app developers generally have in-depth expertise in one or more verticals, their competences on IoT infrastructure are often limited. This hampers the development of qualitative IoT ecosystems. This paper shows that an early-stage ontological effort incorporating the application domain as well as infrastructural conceptualizations and relations can facilitate the development and management of IoT apps within verticals. Developers can now define app behavior in terms of application-domain conceptualizations, after which infrastructural feedback can automatically be extracted.","PeriodicalId":246497,"journal":{"name":"Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things","volume":"134 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":"134630073","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}
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.
物联网(Internet of Things, IoT)应用的发展必须面对设备在性能、计算能力、网络协议和能源需求等方面固有的异构性等重要问题。为了应对这一挑战，物联网中间件平台被提议抽象出这些设备的特殊性，促进它们之间的互操作性，并简化应用程序开发。其中一个建议是FIWARE，这是一个开放的通用平台，由欧共体开发，以利用未来互联网应用程序的开发。给定开发中的特定应用程序所需的一组FIWARE组件，可以手动或使用基于容器的方法进行部署和配置。然而，设置一个由主要FIWARE组件组成的环境有时可能不是一个简单的过程。本文介绍了一个基于FIWARE平台的Web虚拟实验室FIWARE-Lab@RNP。FIWARE-Lab@RNP的主要关注点是通过Internet以透明的方式使用FIWARE资源，从而使用户不必在其开发或拥有的环境中部署和操作FIWARE实例。虚拟实验室提供了一些功能，可以轻松地创建、配置和管理FIWARE组件、设备、上下文实体和服务的实例，同时尽量减少与这些任务相关的学习曲线。
{"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}
Systems based on Internet of Things (IoT) technologies may violate user privacy if personal data they produce and use become available to unauthorised agents. Recording provenance of IoT system behaviour may support assessment mechanisms ensuring compliance of system components with data access constraints. In this paper, we describe a prototype implementation of a provenance-enabled MQTT broker enhanced with the ability to generate provenance records describing the actual broker behaviour during message forwarding. The implementation utilises a semantic stream based approach for generating and analysing provenance data to discover message forwarding to untrusted agents. The initial evaluation demonstrates the feasibility of semantic solutions in this context.
{"title":"Enhancing Transparency of MQTT Brokers For IoT Applications Through Provenance Streams","authors":"Milan Markovic, P. Edwards","doi":"10.1145/3366610.3368099","DOIUrl":"https://doi.org/10.1145/3366610.3368099","url":null,"abstract":"Systems based on Internet of Things (IoT) technologies may violate user privacy if personal data they produce and use become available to unauthorised agents. Recording provenance of IoT system behaviour may support assessment mechanisms ensuring compliance of system components with data access constraints. In this paper, we describe a prototype implementation of a provenance-enabled MQTT broker enhanced with the ability to generate provenance records describing the actual broker behaviour during message forwarding. The implementation utilises a semantic stream based approach for generating and analysing provenance data to discover message forwarding to untrusted agents. The initial evaluation demonstrates the feasibility of semantic solutions in this context.","PeriodicalId":246497,"journal":{"name":"Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things","volume":"80 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":"131096806","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}
{"title":"Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things","authors":"","doi":"10.1145/3366610","DOIUrl":"https://doi.org/10.1145/3366610","url":null,"abstract":"","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":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123279711","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：