• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

Zhao, Deng (Zhao, Deng.) | Zhou, Zhangbing (Zhou, Zhangbing.) | Xue, Xiao (Xue, Xiao.) | Diao, Jin (Diao, Jin.) | Yangui, Sami (Yangui, Sami.) | Liu, Bo (Liu, Bo.) | Gaaloul, Walid (Gaaloul, Walid.)

收录:

EI Scopus

摘要:

With the wide-adoption of edge computing, the functionalities of Internet of Things (IoT) devices can be encapsulated as edge services, to facilitate domain applications through edge service compositions. Considering the capacity-fluctuating and resource-varying of IoT devices, edge service monitoring is essential to guarantee the healthy of their compositions at runtime. Current techniques focus mostly on the monitoring of atomic edge services, which, however, are inadequate for that of inter-and composite services. Besides, constraints to be monitored are usually pre-specified, although certain parameters may have to be adapted online according to execution context. To address these challenges, this paper proposes a novel logic-based adaptive monitoring mechanism, to achieve the interpretation of temporal constraints and time-dependent QoS constraints upon intra-, inter-, and composite services. Leveraging our proposed Compositional Signal Temporal Logic (CSTL) with extended compositional modalities and online parameter settings, constraints can be converted to CSTL formulae, and QoS variations and temporal violations are interpreted qualitatively and quantitatively at runtime. Extensive experiments are conducted upon publicly-available datasets, and evaluation results demonstrate that our CSTL performs better than baseline techniques in terms of expressiveness, applicability, and robustness. © 2023 IEEE.

关键词:

Temporal logic Internet of things Computer circuits

作者机构:

  • [ 1 ] [Zhao, Deng]China University of Geosciences (Beijing), School of Information Engineering, Beijing; 100083, China
  • [ 2 ] [Zhou, Zhangbing]China University of Geosciences (Beijing), School of Information Engineering, Beijing; 100083, China
  • [ 3 ] [Zhou, Zhangbing]Telecom SudParis, Department of Computer Science, Evry; 91011, France
  • [ 4 ] [Xue, Xiao]Tianjin University, College of Intelligence and Computing, Tianjin; 300072, China
  • [ 5 ] [Diao, Jin]China University of Geosciences (Beijing), School of Information Engineering, Beijing; 100083, China
  • [ 6 ] [Yangui, Sami]LAAS-CNRS, University of Toulouse, Toulouse; 31013, France
  • [ 7 ] [Liu, Bo]Beijing University of Technology, School of Software Engineering, Beijing; 100124, China
  • [ 8 ] [Gaaloul, Walid]Telecom SudParis, Department of Computer Science, Evry; 91011, France

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

年份: 2023

页码: 310-317

语种: 英文

被引次数:

WoS核心集被引频次:

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 0

归属院系:

在线人数/总访问数:465/4978999
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司