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

Name: A run-time verification framework for smart grid applications implemented on simulation frameworks
Author: Ciraci, S., Sözer, Hasan, Tekinerdogan, B.

İsim	A run-time verification framework for smart grid applications implemented on simulation frameworks
Yazar	Ciraci, S., Sözer, Hasan, Tekinerdogan, B.
Basım Tarihi:	2013
Basım Yeri	- IEEE
Konu	Power system simulation, Smart power grids
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	978-146736280-1
Kayıt Numarası	010ac1ed-9160-457d-9b80-92d923b3622d
Lokasyon	Computer Science
Tarih	2013
Notlar	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	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.
DOI	10.1109/SE4SG.2013.6596105

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

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

Yazar Ciraci, S., Sözer, Hasan, Tekinerdogan, B.

Basım Tarihi 2013

Basım Yeri - IEEE

Konu Power system simulation, Smart power grids

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 978-146736280-1

Kayıt Numarası 010ac1ed-9160-457d-9b80-92d923b3622d

Lokasyon Computer Science

Tarih 2013

Notlar Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Örnek Metin 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.

DOI 10.1109/SE4SG.2013.6596105