.png){kind=icon}
返回
A Novel Runtime Verification Solution for IoT Systems
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2018.2813887.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Internet of Things (IoT) systems promise a seamless connected world with machines integrating their services without human intervention. It's highly probable that the entities participating in such autonomous machine to machine interactions are to be provided by different manufactures. Thus, integrating such heterogeneous devices from many providers complicates design and verification of IoT systems at an unprecedented scale. In this paper, we propose a novel runtime verification approach for IoT systems. The contributions of our proposed solution include: exploiting the interactions in message sequence charts (MSC) to specify message exchanges of constrained application protocol-based IoT systems in terms of events, a novel event calculus for formally describing IoT system constraints specified by means of MSCs, and an event processing algebra that uses complex-event processing techniques for detecting failures in the system by monitoring the runtime event occurrences with respect to the system constraints defined by event calculus. We further demonstrate the viability of proposed solution with case studies.
Keyword:
Internet of Things
runtime verification
event calculus
complex-event processing
message sequence charts
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
Influence of fallow type and land-use intensity on weed seed rain in a forest/savanna transition zone.png)
Weed Science
Weed ScienceIF0
PREAI
分享收藏
A SMART method for isolating monoclonal antibodies from individual rhesus macaque memory B cellsOAAI
OAAI分享收藏
查看更多内容