A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
A run-time verification framework for smart grid applications implemented on simulation frameworks
2013
2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG)
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
doi:10.1109/se4sg.2013.6596105
dblp:conf/icse/CiraciST13
fatcat:n3n4sz6g5zalhb72t5tnk7fzxy