A novel runtime verification solution for LoT systems

Name: A novel runtime verification solution for LoT systems
Author: İnçki, Koray, Arı, İsmail

İsim	A novel runtime verification solution for LoT systems
Yazar	İnçki, Koray, Arı, İsmail
Basım Tarihi:	2018
Basım Yeri	- IEEE
Konu	Internet of things, Runtime verification, Event calculus, Complex-event processing, Message sequence charts
Tür	Süreli Yayın
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	2169-3536
Kayıt Numarası	f87e1d31-0ceb-47c0-bd53-17d2de686148
Lokasyon	Computer Science
Tarih	2018
Örnek Metin	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.
DOI	10.1109/ACCESS.2018.2813887
Cilt	6

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

A novel runtime verification solution for LoT systems

Yazar İnçki, Koray, Arı, İsmail

Basım Tarihi 2018

Basım Yeri - IEEE

Konu Internet of things, Runtime verification, Event calculus, Complex-event processing, Message sequence charts

Tür Süreli Yayın

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 2169-3536

Kayıt Numarası f87e1d31-0ceb-47c0-bd53-17d2de686148

Lokasyon Computer Science

Tarih 2018

Örnek Metin 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.

DOI 10.1109/ACCESS.2018.2813887

Cilt 6