ASTL: accumulative signal temporal logic for IoT service monitoring - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

ASTL: accumulative signal temporal logic for IoT service monitoring

Résumé

With the service-oriented encapsulation of Internet of Things (IoT) devices, IoT services, which are functionally compatible and non-functionally satisfiable, are composed to support domain applications. The execution of IoT services may last for a relatively long time duration in which their capacities may vary significantly. In this setting, whether or not, and to what extent, certain constraints specified upon certain IoT services can always be satisfied during their execution, are to be explored. This observation motivates us to formalize the interpretation of qualitative and quantitative satisfaction for prescribed constraints, and thus, to conduct IoT service monitoring at runtime. Specifically, the requirement of IoT service monitoring is formulated as a constraint satisfaction problem. Specification-based monitoring is developed leveraging Signal Temporal Logic (STL), where a novel accumulative robustness metric, denoted Accumulative STL (ASTL), is proposed to emphasize the robust satisfaction over the entire time domain. Hence, an ASTL-based mechanism is proposed to support IoT service monitoring, where prescribed constraints are converted to ASTL formulae, and interpreted with qualitative and quantitative semantics at runtime. Case studies and extensive evaluations are conducted upon publicly-available datasets. Experimental results show that ASTL performs better than the state-of-the-art techniques with more robust satisfaction.
Fichier non déposé

Dates et versions

hal-04030781 , version 1 (15-03-2023)

Identifiants

Citer

Deng Zhao, Zhangbing Zhou, Zhipeng Cai, Teng Long, Sami Yangui, et al.. ASTL: accumulative signal temporal logic for IoT service monitoring. IEEE International Conference on Web Services (ICWS 2022), Jul 2022, Barcelona, Spain. pp.256-265, ⟨10.1109/ICWS55610.2022.00047⟩. ⟨hal-04030781⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More