A run-time verification framework for smart grid applications implemented on simulation frameworks
Author
Çıracı, Selim
Sözer, Hasan
Tekinerdoğan, Bedir
Date
2013-05Source Title
2nd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2013 - Proceedings
Publisher
IEEE
Pages
1 - 8
Language
English
Type
Conference PaperItem Usage Stats
137
views
views
111
downloads
downloads
Abstract
Smart 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.
Keywords
Architectural levelsAutomated verification
Key feature
Run-time verification
Runtime observers
Simulation framework
Smart grid applications
Toolsets
Architecture
Equipment testing
Sensor networks
Software engineering
Smart power grids