Model-based runtime monitoring of smart city systems

Name: Model-based runtime monitoring of smart city systems
Author: İnçki, Koray, Arı, İsmail

İsim	Model-based runtime monitoring of smart city systems
Yazar	İnçki, Koray, Arı, İsmail
Basım Tarihi:	2018
Basım Yeri	- Elsevier
Konu	Runtime monitoring, Component-based iot, Model-based testing, Internet of things, Complex-event processing, Intelligent transportation, Smart city
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	1877-0509
Kayıt Numarası	f3126028-822b-4f78-825b-a5778bc3554a
Lokasyon	Computer Science
Tarih	2018
Örnek Metin	The pace of proliferation for smart systems in city wide applications is unmatched. The introduction of Internet of Things (IoT), an enabler of smart city phenomenon, has incubated a productive environment for such innovations. Smart things equipped with IoT capabilities, allow for developing smart city applications at such large scale that each application can be represented as a system of systems (SoS). Nevertheless, the complexity of engineering such SoS has been a major challenge in developing and maintaining smart city applications. One of the engineering challenges that industry face today is the verification of a SoS smart city application at runtime. We introduce utilization of a model-based runtime monitoring approach for providing reliable service. We propose to use message sequence charts for representing a smart city application, later allow the practitioners to express expected behavior of an application in terms of complex-event processing patterns. We demonstrate the fidelity of our approach on a sample smart parking system. Our approach is one of its kind in enabling a non-intrusive monitoring of IoT behavior at runtime (online).
DOI	10.1016/j.procs.2018.07.146
Cilt	134

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Model-based runtime monitoring of smart city systems

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

Basım Tarihi 2018

Basım Yeri - Elsevier

Konu Runtime monitoring, Component-based iot, Model-based testing, Internet of things, Complex-event processing, Intelligent transportation, Smart city

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 1877-0509

Kayıt Numarası f3126028-822b-4f78-825b-a5778bc3554a

Lokasyon Computer Science

Tarih 2018

Örnek Metin The pace of proliferation for smart systems in city wide applications is unmatched. The introduction of Internet of Things (IoT), an enabler of smart city phenomenon, has incubated a productive environment for such innovations. Smart things equipped with IoT capabilities, allow for developing smart city applications at such large scale that each application can be represented as a system of systems (SoS). Nevertheless, the complexity of engineering such SoS has been a major challenge in developing and maintaining smart city applications. One of the engineering challenges that industry face today is the verification of a SoS smart city application at runtime. We introduce utilization of a model-based runtime monitoring approach for providing reliable service. We propose to use message sequence charts for representing a smart city application, later allow the practitioners to express expected behavior of an application in terms of complex-event processing patterns. We demonstrate the fidelity of our approach on a sample smart parking system. Our approach is one of its kind in enabling a non-intrusive monitoring of IoT behavior at runtime (online).

DOI 10.1016/j.procs.2018.07.146

Cilt 134