Runtime verification of Iot systems using complex event processing
dc.contributor.author | İnçki, Koray | |
dc.contributor.author | Arı, İsmail | |
dc.contributor.author | Sözer, Hasan | |
dc.date.accessioned | 2017-10-19T12:23:25Z | |
dc.date.available | 2017-10-19T12:23:25Z | |
dc.date.issued | 2017 | |
dc.identifier.isbn | 978-1- 5090-4429- 0 | |
dc.identifier.uri | http://hdl.handle.net/10679/5684 | |
dc.identifier.uri | http://ieeexplore.ieee.org/document/8000163/ | |
dc.description | Due to copyright restrictions, the access to the full text of this article is only available via subscription. | |
dc.description.abstract | Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. Even though there is a considerable effort in the literature for verification of such complex and distributed systems, a practical solution for IoT systems that supports runtime system verification is still missing. In this paper, we present a runtime monitoring approach for IoT systems that exploits event relations expressed in terms of sequential interaction messaging model of Constrained Application Protocol (CoAP). We propose the use of Complex-Event Processing (CEP) to detect failures at runtime by exploiting complex event patterns defined via predetermined event algebra. We further present a simple case scenario to demonstrate the applicability of the approach on Wireless Token Ring Protocol execution. | en_US |
dc.description.sponsorship | TÜBiTAK BiDEB | |
dc.language.iso | eng | en_US |
dc.publisher | IEEE | en_US |
dc.relation.ispartof | Networking, Sensing and Control (ICNSC), 2017 IEEE 14th International Conference on | |
dc.rights | restrictedAccess | |
dc.title | Runtime verification of Iot systems using complex event processing | en_US |
dc.type | Conference paper | en_US |
dc.peerreviewed | yes | 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.authorID | (ORCID 0000-0002-2968-4763 & YÖK ID 23178) Sözer, Hasan | |
dc.contributor.ozuauthor | Arı, İsmail | |
dc.contributor.ozuauthor | Sözer, Hasan | |
dc.identifier.doi | 10.1109/ICNSC.2017.8000163 | en_US |
dc.subject.keywords | Internet of things | en_US |
dc.subject.keywords | Runtime monitoring | en_US |
dc.subject.keywords | Verification | en_US |
dc.subject.keywords | CoAP | en_US |
dc.subject.keywords | Complex-event processing | en_US |
dc.subject.keywords | Event algebra | en_US |
dc.identifier.scopus | SCOPUS:2-s2.0-85028504210 | |
dc.contributor.ozugradstudent | İnçki, Koray | |
dc.contributor.authorMale | 3 | |
dc.relation.publicationcategory | Conference Paper - International - Institutional Academic Staff and PhD 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