BE- Uydu Haberleşmesi ve Uzaktan Algılama Lisansüstü Programı - Yüksek Lisans
Bu koleksiyon için kalıcı URI
Gözat
Yazar "Buzluca, Feza" ile BE- Uydu Haberleşmesi ve Uzaktan Algılama Lisansüstü Programı - Yüksek Lisans'a göz atma
Sayfa başına sonuç
Sıralama Seçenekleri
-
ÖgeÇalışma Zamanı Altyapısı (rtı) Servislerinin Ön Ve Son Koşullarını Kullanarak Federe Arayüz Uyumluluğunun Geçerlenmesi(Bilişim Ensititüsü, ) Kızılay, Vijdan ; Buzluca, Feza ; Uydu Haberleşmesi Ve Uzaktan Algılama ; Satellite Communication and Remote SensingBu tez federasyon mimari modelini (FAM) olusturan federelerin Canlı Sıralama Çizelgelerinden (LSCs) PROMELA modellerini üreterek federelerin arayüz davranıslarının HLA Arayüz Spesifikasyonuna uyumluluğu üzerine bir model denetleme yaklasımı sunmaktadır. Federasyon Mimari Metamodeli (FAMM), Alan Özel Metamodelleme yaklasımının HLA uyumlu federasyonlarına uyarlanmasıyla federasyon için biçimsel bir gösterim ve uygulama alanına yönelik bir dil sağlamaktadır. FAMM federasyon mimari modelini olusturan nesne modellerinin ve federasyonu olusturan federelerin davranıs modellerinin modellenmesini sağlayan bir metamodeldir. FAMM'ın kullanıldığı modelleme ortamında standart uyumlu kod üretimini kolaylastırmak amacıyla her bir federenin davranıs modelinin programlama seviyesi detayında modellenmesi gerekmektedir. Ancak bu seviyede detay modelcilerin standarda göre hata yapma olasılığını arttırmaktadır. Bu nedenle iyi bir biçimin yanında, federelerin davranıs modellerinin anlamsal kavramının statik olarak denetlemesi istenir. Eğer bir davranıs modelinde kullanılan HLA RTI servislerinin tüm ön kosullarının karsılanabildiği gösterilebilirse, arayüz davranısının HLA Federe Arayüz Spesifikasyonuna uyumluluğu konusunda biraz güvenceye sahip olabiliriz. FAMM ile modellenmis bir HLA federesinin arayüz davranısının geçerlenmesi için sunulan model denetleme tabanlı prosedür birkaç adımdan olusmaktadır. Geçerleme islemi otomatik olarak su islemler yardımıyla gerçeklestirilmektedir: (1) Federasyon mimari modelini girdi olarak alan bir yorumlayıcı modelin davranıs kısmının PROMELA modelini çıktı olarak üretmektedir, (2) SPIN model denetleyicisi girdi olarak aldığı PROMELA modeli üzerinde model denetleme islemini gerçeklestirir ve geçerleme sonuçlarını çalısma zamanında karsılanamayacak ön kosullar açısından sunar.