Bir hava-yer veri bağlantısı protokolünün doğrulanması

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Fen Bilimleri Enstitüsü, BİLGİSAYAR MÜHENDİSLİĞİ ANABİLİM DALI, Türkiye

Tezin Onay Tarihi: 2000

Tezin Dili: İngilizce

Öğrenci: AHMET SERKAN KARATAŞ

Danışman: MEHMET HALİT S. OĞUZTÜZÜN

Özet:

oz BİR HAVA-YER VERİ BAĞLANTISI PROTOKOLÜNÜN DOĞRULANMASI Karataş, Ahmet Serkan Yüksek Lisans, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi: Y.Doç. Dr. Halit Oğuztüzün Eylül 2000, 79 sayfa Hava-yer veri bağlantısı için öne sürülmüş PETAL-II (Preliminary Eurocontrol Test of Air / ground data Link) protokolünü CCS 'in (Calculus of Communicat ing Systems) gerçek zamanlı bir uzantısı olan Timed CCS süreç kalkülüsünde formalizasyonu yapılmıştır. Protokoldeki her bir servis açısından hava ve yer bir imlerinin öngörülen davranışları Timed CCS ifadeleri olarak formüle edilmiştir. Her bir servis için hava ve yer birimlerinin biraradaki davranışlarının servisin hatasız işleyişine gözlemsel olarak denk olduğu gösterilmiştir. Sonuç olarak PETAL-II'de öne sürülen hata giderme mekanizmalarının güvenli bir işleyiş için yeterli olduğu doğrulanmıştır. Anahtar Kelimeler: formel doğrulama, Timed CCS, PETAL-II, hava trafiği kon trolü iv