• About
  • Policies
  • What is openaccess
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

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

      Thumbnail
      View / Download
      1.1 Mb
      Author
      Çıracı, Selim
      Sözer, Hasan
      Tekinerdoğan, Bedir
      Date
      2013-05
      Source Title
      2nd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2013 - Proceedings
      Publisher
      IEEE
      Pages
      1 - 8
      Language
      English
      Type
      Conference Paper
      Item Usage Stats
      137
      views
      111
      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 levels
      Automated verification
      Key feature
      Run-time verification
      Runtime observers
      Simulation framework
      Smart grid applications
      Toolsets
      Architecture
      Equipment testing
      Sensor networks
      Software engineering
      Smart power grids
      Permalink
      http://hdl.handle.net/11693/27964
      Published Version (Please cite this version)
      https://doi.org/10.1109/SE4SG.2013.6596105
      Collections
      • Department of Computer Engineering 1368
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 1771
      Copyright © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy