Verification of an air-ground data link protokol
Bir hava-yer veri bağlantısı protokolünün doğrulanması
- Tez No: 93337
- Danışmanlar: YRD. DOÇ. DR. HALİT OĞUZTÜZÜN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: formel doğrulama, Timed CCS, PETAL-II, hava trafiği kon trolü iv, Bilgisayar protokolleri, formal verification, Timed CCS, PETAL-II, air traffic control m, Computer protocols
- Yıl: 2000
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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.
Özet (Çeviri)
ABSTRACT VERIFICATION OF AN AIR-GROUND DATA LINK PROTOCOL Karataş, Ahmet Serkan M.Sc, Department of Computer Engineering Supervisor: Assist. Prof. Dr. Halit Oğuztüzün August 2000, 79 pages A proposed protocol for air-ground data link, called PETAL-II (Preliminary Eu- rocontrol Test of Air / ground data Link), has been formalized in the process calculus Timed CCS, a real-time extension of CCS (Calculus of Communicat ing Systems). The prescribed behaviours of the ground unit and the airborne unit with respect to each service of the protocol are formulated as Timed CCS expressions. For each service the composite behaviour of the ground unit and the airborne unit is, then, shown to be observation equivalent to the error-free operation of the service. It is thus verified that the fault recovery mechanisms proposed in PETAL-II are adequate for reliable operation.
Benzer Tezler
- Large scale wireless propagation channel characterization of air-to-air and air-to-ground drone communications
Hava-hava ve hava-yer drone haberleşmesi için büyük ölçekli kablosuz yayılım kanalı karakterizasyonu
UBEYDULLAH ERDEMİR
Yüksek Lisans
İngilizce
2024
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
PROF. DR. HAKAN ALİ ÇIRPAN
- Ağır ticari araçların havalı fren sisteminde kullanılan körük bağlantı braketi tasarımı
Design of brake actuator attachment bracket for heavy duty vehicle air brake systems
ÖNDER İNCE
Yüksek Lisans
Türkçe
2016
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DOÇ. DR. EMİN SÜNBÜLOĞLU
- Electrified powertrain simulation and validation of a fuel cell electric vehicle
Yakıt pilli bir elektrikli aracın elektrik güç akış simülasyonu ve doğrulanması
BURAK AKAR
Yüksek Lisans
İngilizce
2023
Mekatronik Mühendisliğiİstanbul Teknik ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ HÜLYA YALÇIN
- Development and analysis of grasshopper-like jumping mechanism in biomimetic approach
Çekirge benzeri sıçrama mekanizmasının biyobenzetim yaklaşımla geliştirilmesi ve analizi
AYLİN KONEZ EROĞLU
Yüksek Lisans
İngilizce
2007
Makine MühendisliğiOrta Doğu Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. METİN AKKÖK
- Investigation of impact behavior of polycarbonate panels under projectile impact loading
Polikarbonat panellerin parçacık çarpması etkisi altında davranışının araştırılması
FEHMİ MULLAOĞLU
Doktora
İngilizce
2024
Uçak Mühendisliğiİstanbul Teknik ÜniversitesiUçak ve Uzay Mühendisliği Ana Bilim Dalı
PROF. DR. HALİT SÜLEYMAN TÜRKMEN