Democratization of runtime verification for internet of things

Name: Democratization of runtime verification for internet of things
Author: İnçki, Koray, Arı, İsmail

İsim	Democratization of runtime verification for internet of things
Yazar	İnçki, Koray, Arı, İsmail
Basım Tarihi:	2018-05
Basım Yeri	- Elsevier
Konu	Internet of things, Model-based testing, Runtime verification, Complex-event processing, Model-to-text transformation, Edge computing
Tür	Süreli Yayın
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	0045-7906
Kayıt Numarası	779d58d2-854f-4bc7-858a-5810795d8bc0
Lokasyon	Computer Science
Tarih	2018-05
Örnek Metin	Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime verification (RV) is described as checking whether the observed behavior of a system conforms to its expected behavior. RV techniques generally involve heavy formal methods; thus, it is poorly utilized in the industry. Therefore, we propose a democratization of RV for IoT systems by presenting a model-based testing (MBT) approach. To enable modeling expected behaviors of an IoT system, we first describe an extension to a UML profile. Then, we capture the expected behavior of an interaction that is modeled on a Sequence Diagram (SD). Later, the expected behaviors are translated into runtime monitor statements expressed in Event-Processing Language (EPL), which are executed at the edge of the IoT network. We further demonstrate our contributions on a sample AAL system.
DOI	10.1016/j.compeleceng.2018.05.007
Cilt	68

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Democratization of runtime verification for internet of things

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

Basım Tarihi 2018-05

Basım Yeri - Elsevier

Konu Internet of things, Model-based testing, Runtime verification, Complex-event processing, Model-to-text transformation, Edge computing

Tür Süreli Yayın

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 0045-7906

Kayıt Numarası 779d58d2-854f-4bc7-858a-5810795d8bc0

Lokasyon Computer Science

Tarih 2018-05

Örnek Metin Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime verification (RV) is described as checking whether the observed behavior of a system conforms to its expected behavior. RV techniques generally involve heavy formal methods; thus, it is poorly utilized in the industry. Therefore, we propose a democratization of RV for IoT systems by presenting a model-based testing (MBT) approach. To enable modeling expected behaviors of an IoT system, we first describe an extension to a UML profile. Then, we capture the expected behavior of an interaction that is modeled on a Sequence Diagram (SD). Later, the expected behaviors are translated into runtime monitor statements expressed in Event-Processing Language (EPL), which are executed at the edge of the IoT network. We further demonstrate our contributions on a sample AAL system.

DOI 10.1016/j.compeleceng.2018.05.007

Cilt 68