Author
İnçki, Koray, Arı, İsmail
Publication Date
2018
Publication Place
-
Springer Nature
Subject
Internet of things, Model-based testing, Constrained-application protocol, Runtime verification, Complex-event processing
Type
Document
Language
English
Digital
Yes
Manuscript
No
Library
Özyeğin University
Library Asset ID
978-331993796-0
Record ID
05db9e22-cb94-4103-9f7f-7aa0f17e4c14
Library Location
Computer Science
Date
2018
Sample Text
Internet of Things (IoT) has drastically modified the industrial services provided through autonomous machine-to-machine interactions. Such systems comprise of devices manufactured by various suppliers. Verification is a challenge due to high heterogeneity of composing devices. In this paper, we present initial results of model-based interoperability testing for IoT systems to facilitate automatic test case generation. We utilize messaging model of Constrained Application Protocol so as to deduce complex relations between participating devices. We use Complex-Event Processing (CEP) techniques in order to streamline the verification process after generating proper runtime monitors from sequence diagrams. We demonstrate our solution on a fictitious healthcare system.
Editör
Fortino, G., Palau, C. E., Guerrieri, A., Cuppens, N., Cuppens, F., Cuppens, H., Gabillon, A.
DOI
10.1007/978-3-319-93797-7_8
Cilt
242
