Runtime verification of Iot systems using complex event processing

Name: Runtime verification of Iot systems using complex event processing
Author: İnçki, Koray, Arı, İsmail, Sözer, Hasan

İsim	Runtime verification of Iot systems using complex event processing
Yazar	İnçki, Koray, Arı, İsmail, Sözer, Hasan
Basım Tarihi:	2017
Basım Yeri	- IEEE
Konu	Internet of things, Runtime monitoring, Verification, CoAP, Complex-event processing, Event algebra
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	978-1- 5090-4429- 0
Kayıt Numarası	6c0c73a7-0c33-483b-b19f-bf4b823f9c2e
Lokasyon	Computer Science
Tarih	2017
Notlar	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. Even though there is a considerable effort in the literature for verification of such complex and distributed systems, a practical solution for IoT systems that supports runtime system verification is still missing. In this paper, we present a runtime monitoring approach for IoT systems that exploits event relations expressed in terms of sequential interaction messaging model of Constrained Application Protocol (CoAP). We propose the use of Complex-Event Processing (CEP) to detect failures at runtime by exploiting complex event patterns defined via predetermined event algebra. We further present a simple case scenario to demonstrate the applicability of the approach on Wireless Token Ring Protocol execution.
DOI	10.1109/ICNSC.2017.8000163

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Runtime verification of Iot systems using complex event processing

Yazar İnçki, Koray, Arı, İsmail, Sözer, Hasan

Basım Tarihi 2017

Basım Yeri - IEEE

Konu Internet of things, Runtime monitoring, Verification, CoAP, Complex-event processing, Event algebra

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 978-1- 5090-4429- 0

Kayıt Numarası 6c0c73a7-0c33-483b-b19f-bf4b823f9c2e

Lokasyon Computer Science

Tarih 2017

Notlar Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Örnek Metin Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. Even though there is a considerable effort in the literature for verification of such complex and distributed systems, a practical solution for IoT systems that supports runtime system verification is still missing. In this paper, we present a runtime monitoring approach for IoT systems that exploits event relations expressed in terms of sequential interaction messaging model of Constrained Application Protocol (CoAP). We propose the use of Complex-Event Processing (CEP) to detect failures at runtime by exploiting complex event patterns defined via predetermined event algebra. We further present a simple case scenario to demonstrate the applicability of the approach on Wireless Token Ring Protocol execution.

DOI 10.1109/ICNSC.2017.8000163