.png){kind=icon}
Return
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}
Share.png){kind=icon}
Save
Abstract
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.
Keywords:
Internet of Things
runtime verification
event calculus
complex-event processing
message sequence charts
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
3.6
Papers:
9.8W
Citations:
29.4W
Organization
Cited Papers
ShareSaveShareSaveInfluence of fallow type and land-use intensity on weed seed rain in a forest/savanna transition zone.png)
Weed Science
Weed ScienceIF0
PREAI
ShareSave
ShareSaveA SMART method for isolating monoclonal antibodies from individual rhesus macaque memory B cellsOAAI
OAAIShareSaveShareSaveShareSaveShareSave
View more