Observing interoperability of IoT systems through model-based testing
dc.contributor.author | İnçki, Koray | |
dc.contributor.author | Arı, İsmail | |
dc.contributor.editor | Fortino, G. | |
dc.contributor.editor | Palau, C. E. | |
dc.contributor.editor | Guerrieri, A. | |
dc.contributor.editor | Cuppens, N. | |
dc.contributor.editor | Cuppens, F. | |
dc.contributor.editor | Cuppens, H. | |
dc.contributor.editor | Gabillon, A. | |
dc.date.accessioned | 2020-05-14T15:24:05Z | |
dc.date.available | 2020-05-14T15:24:05Z | |
dc.date.issued | 2018 | |
dc.identifier.isbn | 978-331993796-0 | |
dc.identifier.issn | 1867-8211 | en_US |
dc.identifier.uri | http://hdl.handle.net/10679/6569 | |
dc.identifier.uri | https://www.springerprofessional.de/en/observing-interoperability-of-iot-systems-through-model-based-te/15968324 | |
dc.description.abstract | 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. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Springer Nature | en_US |
dc.relation.ispartof | Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST | |
dc.rights | restrictedAccess | |
dc.title | Observing interoperability of IoT systems through model-based testing | en_US |
dc.type | Conference paper | en_US |
dc.publicationstatus | Published | en_US |
dc.contributor.department | Özyeğin University | |
dc.contributor.authorID | (ORCID 0000-0002-6159-0484 & YÖK ID 43541) Arı, İsmail | |
dc.contributor.ozuauthor | Arı, İsmail | |
dc.identifier.volume | 242 | en_US |
dc.identifier.startpage | 60 | en_US |
dc.identifier.endpage | 66 | en_US |
dc.identifier.doi | 10.1007/978-3-319-93797-7_8 | en_US |
dc.subject.keywords | Internet of things | en_US |
dc.subject.keywords | Model-based testing | en_US |
dc.subject.keywords | Constrained-application protocol | en_US |
dc.subject.keywords | Runtime verification | en_US |
dc.subject.keywords | Complex-event processing | en_US |
dc.identifier.scopus | SCOPUS:2-s2.0-85051081121 | |
dc.contributor.ozugradstudent | İnçki, Koray | |
dc.contributor.authorMale | 2 | |
dc.relation.publicationcategory | Conference Paper - International - Institutional Academic Staff and Graduate Student |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
This item appears in the following Collection(s)
Share this page