Show simple item record

dc.contributor.authorCiraci, S.
dc.contributor.authorSözer, Hasan
dc.contributor.authorTekinerdogan, B.
dc.date.accessioned2016-02-15T07:33:18Z
dc.date.available2016-02-15T07:33:18Z
dc.date.issued2013
dc.identifier.isbn978-146736280-1
dc.identifier.urihttp://hdl.handle.net/10679/2183
dc.identifier.urihttp://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6596105
dc.descriptionDue to copyright restrictions, the access to the full text of this article is only available via subscription.
dc.description.abstractSmart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation onto these frameworks which results in a deviation between the architecture and the code. On its turn this deviation makes it hard to verify behavioral constraints that are described at the architectural level. We have developed the ConArch toolset to support the automated verification of architecture-level behavioral constraints. A key feature of ConArch is programmable mapping for architecture to the implementation. Here, developers implement queries to identify the points in the target program that correspond to architectural interactions. ConArch generates runtime observers that monitor the flow of execution between these points and verifies whether this flow conforms to the behavioral constraints. We illustrate how the programmable mappings can be exploited for verifying behavioral constraints of a smart grid application that is implemented with two simulation frameworks.
dc.language.isoengen_US
dc.publisherIEEE
dc.relation.ispartofSoftware Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd International Workshop on
dc.rightsrestrictedAccess
dc.titleA run-time verification framework for smart grid applications implemented on simulation frameworksen_US
dc.typeConference paperen_US
dc.peerreviewedyes
dc.publicationstatuspublisheden_US
dc.contributor.departmentÖzyeğin University
dc.contributor.authorID(ORCID 0000-0002-2968-4763 & YÖK ID 23178) Sözer, Hasan
dc.contributor.ozuauthorSözer, Hasan
dc.identifier.startpage1
dc.identifier.endpage8
dc.identifier.wosWOS:000327944900001
dc.identifier.doi10.1109/SE4SG.2013.6596105
dc.subject.keywordsPower system simulation
dc.subject.keywordsSmart power grids
dc.identifier.scopusSCOPUS:2-s2.0-84885619786
dc.contributor.authorMale1
dc.relation.publicationcategoryConference Paper - International - Institutional Academic Staff


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