Timed protocol analysis of interconnected mobile IoT devices

IF 2.4 Q3 COMPUTER SCIENCE, INFORMATION SYSTEMS
Bouloukakis, Georgios, Georgantas, Nikolaos, Kattepur, Ajay, Issarny, Valerie
{"title":"Timed protocol analysis of interconnected mobile IoT devices","authors":"Bouloukakis, Georgios, Georgantas, Nikolaos, Kattepur, Ajay, Issarny, Valerie","doi":"10.1186/s13174-021-00143-w","DOIUrl":null,"url":null,"abstract":"With the emergence of the Internet of Things (IoT), application developers can rely on a variety of protocols and Application Programming Interfaces (APIs) to support data exchange between IoT devices. However, this may result in highly heterogeneous IoT interactions in terms of both functional and non-functional semantics. To map between heterogeneous functional semantics, middleware connectors can be utilized to interconnect IoT devices via bridging mechanisms. In this paper, we make use of the Data eXchange (DeX) connector model that enables interoperability among heterogeneous IoT devices. DeX interactions, including synchronous, asynchronous and streaming, rely on generic post and get primitives to represent IoT device behaviors with varying space/time coupling. Nevertheless, non-functional time semantics of IoT interactions such as data availability/validity, intermittent connectivity and application processing time, can severely affect response times and success rates of DeX interactions. We introduce timing parameters for time semantics to enhance the DeX API. The new DeX API enables the mapping of both functional and time semantics of DeX interactions. By precisely studying these timing parameters using timed automata models, we verify conditions for successful interactions with DeX connectors. Furthermore, we statistically analyze through simulations the effect of varying timing parameters to ensure higher probabilities of successful interactions. Simulation experiments are compared with experiments run on the DeX Mediators (DeXM) framework to evaluate the accuracy of the results. This work can provide application developers with precise design time information when setting these timing parameters in order to ensure accurate runtime behavior.","PeriodicalId":46467,"journal":{"name":"Journal of Internet Services and Applications","volume":"121 1","pages":""},"PeriodicalIF":2.4000,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Internet Services and Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1186/s13174-021-00143-w","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 2

Abstract

With the emergence of the Internet of Things (IoT), application developers can rely on a variety of protocols and Application Programming Interfaces (APIs) to support data exchange between IoT devices. However, this may result in highly heterogeneous IoT interactions in terms of both functional and non-functional semantics. To map between heterogeneous functional semantics, middleware connectors can be utilized to interconnect IoT devices via bridging mechanisms. In this paper, we make use of the Data eXchange (DeX) connector model that enables interoperability among heterogeneous IoT devices. DeX interactions, including synchronous, asynchronous and streaming, rely on generic post and get primitives to represent IoT device behaviors with varying space/time coupling. Nevertheless, non-functional time semantics of IoT interactions such as data availability/validity, intermittent connectivity and application processing time, can severely affect response times and success rates of DeX interactions. We introduce timing parameters for time semantics to enhance the DeX API. The new DeX API enables the mapping of both functional and time semantics of DeX interactions. By precisely studying these timing parameters using timed automata models, we verify conditions for successful interactions with DeX connectors. Furthermore, we statistically analyze through simulations the effect of varying timing parameters to ensure higher probabilities of successful interactions. Simulation experiments are compared with experiments run on the DeX Mediators (DeXM) framework to evaluate the accuracy of the results. This work can provide application developers with precise design time information when setting these timing parameters in order to ensure accurate runtime behavior.
互联移动物联网设备的定时协议分析
随着物联网(IoT)的出现,应用程序开发人员可以依靠各种协议和应用程序编程接口(api)来支持物联网设备之间的数据交换。然而,这可能会导致在功能和非功能语义方面高度异构的物联网交互。为了在异构功能语义之间进行映射,中间件连接器可以通过桥接机制来互连物联网设备。在本文中,我们利用数据交换(DeX)连接器模型来实现异构物联网设备之间的互操作性。DeX交互,包括同步、异步和流,依赖于通用post和get原语来表示具有不同空间/时间耦合的物联网设备行为。然而,物联网交互的非功能时间语义(如数据可用性/有效性、间歇性连接和应用程序处理时间)会严重影响DeX交互的响应时间和成功率。我们为时间语义引入了时序参数,以增强DeX API。新的DeX API支持DeX交互的功能语义和时间语义的映射。通过使用定时自动机模型精确地研究这些定时参数,我们验证了与DeX连接器成功交互的条件。此外,我们通过模拟统计分析了不同时间参数的影响,以确保更高的成功交互概率。将模拟实验与DeX Mediators (DeXM)框架上的实验进行了比较,以评估结果的准确性。在设置这些计时参数时,这项工作可以为应用程序开发人员提供精确的设计时间信息,以确保准确的运行时行为。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Journal of Internet Services and Applications
Journal of Internet Services and Applications COMPUTER SCIENCE, INFORMATION SYSTEMS-
CiteScore
3.70
自引率
0.00%
发文量
2
审稿时长
13 weeks
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信