Show simple item record

dc.contributor.authorİnçki, Koray
dc.contributor.authorArı, İsmail
dc.contributor.authorSözer, Hasan
dc.date.accessioned2017-10-19T12:23:25Z
dc.date.available2017-10-19T12:23:25Z
dc.date.issued2017
dc.identifier.isbn978-1- 5090-4429- 0
dc.identifier.urihttp://hdl.handle.net/10679/5684
dc.identifier.urihttp://ieeexplore.ieee.org/document/8000163/
dc.descriptionDue to copyright restrictions, the access to the full text of this article is only available via subscription.
dc.description.abstractInternet 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.sponsorshipTÜBiTAK BiDEB
dc.language.isoengen_US
dc.publisherIEEEen_US
dc.relation.ispartofNetworking, Sensing and Control (ICNSC), 2017 IEEE 14th International Conference on
dc.rightsrestrictedAccess
dc.titleRuntime verification of Iot systems using complex event processingen_US
dc.typeConference paperen_US
dc.peerreviewedyesen_US
dc.publicationstatusPublisheden_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.ozuauthorArı, İsmail
dc.contributor.ozuauthorSözer, Hasan
dc.identifier.doi10.1109/ICNSC.2017.8000163en_US
dc.subject.keywordsInternet of thingsen_US
dc.subject.keywordsRuntime monitoringen_US
dc.subject.keywordsVerificationen_US
dc.subject.keywordsCoAPen_US
dc.subject.keywordsComplex-event processingen_US
dc.subject.keywordsEvent algebraen_US
dc.identifier.scopusSCOPUS:2-s2.0-85028504210
dc.contributor.ozugradstudentİnçki, Koray
dc.contributor.authorMale3
dc.relation.publicationcategoryConference Paper - International - Institutional Academic Staff and PhD Student


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record


Share this page