Yazar
Ciraci, S., Sözer, Hasan, Tekinerdogan, B.
Basım Tarihi
2013
Basım Yeri
-
IEEE
Konu
Güç sistemi simülasyonu, Akıllı güç şebekeleri
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
Bilgisayar Bilimi
Tarih
2013
Notlar
Telif hakkı kısıtlamaları nedeniyle bu makalenin tam metnine erişim yalnızca abonelik yoluyla mümkündür.
Örnek Metin
Geliştiricilerin genellikle test ortamı olarak kullanılacak büyük sensör ağlarına erişimi olmadığından, akıllı şebeke uygulamaları simülasyon çerçeveleri ile uygulanmakta ve test edilmektedir. Geliştiriciler, uygulamayı bu çerçevelere eşlemek zorunda kalıyor ve bu da mimari ile kod arasında bir sapmaya neden oluyor. Bu sapma ise mimari düzeyde tanımlanan davranışsal kısıtlamaların doğrulanmasını zorlaştırmaktadır. Mimari düzeyindeki davranışsal kısıtlamaların otomatik olarak doğrulanmasını desteklemek için ConArch araç setini geliştirdik. ConArch'ın önemli bir özelliği mimariden uygulamaya programlanabilir eşlemedir. Burada geliştiriciler, hedef programdaki mimari etkileşimlere karşılık gelen noktaları belirlemek için sorgular uygular. ConArch, bu noktalar arasındaki yürütme akışını izleyen çalışma zamanı gözlemcileri oluşturur ve bu akışın davranışsal kısıtlamalara uygun olup olmadığını doğrular. İki simülasyon çerçevesiyle uygulanan bir akıllı şebeke uygulamasının davranışsal kısıtlamalarını doğrulamak için programlanabilir haritalamalardan nasıl yararlanılabileceğini gösteriyoruz.
DOI
10.1109/SE4SG.2013.6596105
