A run-time verification framework for smart grid applications implemented on simulation frameworks

Simple item page
dc.citation.epage8en_US
dc.citation.spage1en_US
dc.contributor.authorÇıracı, Selimen_US
dc.contributor.authorSözer, Hasanen_US
dc.contributor.authorTekinerdoğan, Bediren_US
dc.coverage.spatialSan Francisco, CA, USA
dc.date.accessioned2016-02-08T12:06:51Z
dc.date.available2016-02-08T12:06:51Z
dc.date.issued2013-05en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.descriptionDate of Conference: 18-26 May 2013
dc.descriptionConference name: 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG), 2013
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. © 2013 IEEE.en_US
dc.identifier.doi10.1109/SE4SG.2013.6596105en_US
dc.identifier.urihttp://hdl.handle.net/11693/27964
dc.language.isoEnglishen_US
dc.publisherIEEE
dc.relation.isversionofhttps://doi.org/10.1109/SE4SG.2013.6596105en_US
dc.source.title2nd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2013 - Proceedingsen_US
dc.subjectArchitectural levelsen_US
dc.subjectAutomated verificationen_US
dc.subjectKey featureen_US
dc.subjectRun-time verificationen_US
dc.subjectRuntime observersen_US
dc.subjectSimulation frameworken_US
dc.subjectSmart grid applicationsen_US
dc.subjectToolsetsen_US
dc.subjectArchitectureen_US
dc.subjectEquipment testingen_US
dc.subjectSensor networksen_US
dc.subjectSoftware engineeringen_US
dc.subjectSmart power gridsen_US
dc.titleA run-time verification framework for smart grid applications implemented on simulation frameworksen_US
dc.typeConference Paperen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
A run-time verification framework for smart grid applications implemented on simulation frameworks.pdf
Size:
1.1 MB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download
Collections
Department of Computer Engineering