• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

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.)

Indexed by:

EI Scopus

Abstract:

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.

Keyword:

Temporal logic Internet of things Computer circuits

Author Community:

  • [ 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

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Related Article:

Source :

Year: 2023

Page: 310-317

Language: English

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 1

Affiliated Colleges:

Online/Total:1745/10906454
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.