DEVELOPMENT OF A UVM-BASED VERIFICATION IP FOR DO-254 COMPLIANT ARINC429 HDL MODULES
DO-254 UYUMLU ARINC429 HDL MODÜLLERİ İÇİN UVM TABANLI BİR DOĞRULAMA IP'SİNİN GELİŞTİRİLMESİ
- Tez No: 952135
- Danışmanlar: DR. ÖĞR. ÜYESİ İHSAN ÇİÇEK
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2025
- Dil: İngilizce
- Üniversite: Gebze Teknik Üniversitesi
- Enstitü: Lisansüstü Eğitim Enstitüsü
- Ana Bilim Dalı: Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
ARINC429, havacılıkta kritik yerleşik sistemler arasında güvenilir veri iletişimini sağlayan yaygın olarak benimsenmiş bir veri aktarım standardıdır. Uçak sistemlerinin giderek daha karmaşık hale gelmesiyle birlikte, DO-254 gibi güvenlik standartlarına uyum, havadaki donanımların sertifikalandırılmasında hayati bir gereklilik haline gelmiştir. Bu tez, geleneksel doğrulama tekniklerinin özellikle güvenlik ve izlenebilirlik gerektiren ortamlarda yetersiz kaldığı ARINC429 IP çekirdeklerinin doğrulanması sürecinde karşılaşılan pratik zorluklardan ilham alınarak ortaya çıkmıştır. Bu çalışmanın amacı, DO-254 uyumlu ARINC429 donanım tanımlama dili modüllerinin doğrulanmasına yönelik, yeniden kullanılabilir, sağlam ve sertifikalandırılabilir bir UVM tabanlı Doğrulama IP'si (VIP) geliştirmektir. Geliştirilen Doğrulama IP'si, geleneksel döngüsel doğrulama yöntemlerinin eksikliklerini gidererek daha kapsamlı ve otomatikleştirilmiş bir doğrulama çözümü sunmaktadır. Literatürde bilindiği kadarıyla, bu çalışma, bir ARINC429 IP çekirdeğinin çoklu senaryolar altında test edilmesinde yeniden kullanılabilir bir Doğrulama IP mimarisi kullanan ilk doğrulama çerçevesini ortaya koymaktadır. Siemens QuestaSim 10.7a simülatörü, ASELSAN tarafından geliştirilen DO-254 uyumlu bir ARINC429 IP çekirdeği üzerinde yoğun simülasyonlar gerçekleştirmek için kullanılmıştır. Elde edilen sonuçlar; %91,74 dal (branch) kapsamı, %98,34 ifade (statement) kapsamı ve %96,76 ifade mantığı (expression – FEC) kapsamı ile ortalama %95,61 doğrulama kapsamı başarısı göstermektedir. Bu tez kapsamında geliştirilen yöntem, havacılık doğrulama çalışmalarına yeniden kullanılabilir, ölçeklenebilir ve sertifikasyon odaklı bir yaklaşım kazandırarak kapsam kalitesini ve geliştirme verimliliğini önemli ölçüde artırmaktadır.
Özet (Çeviri)
ARINC429 is a widely adopted data transfer standard in avionics, ensuring reliable communication between critical onboard systems. As aircraft systems grow increasingly complex, compliance with safety standards such as DO-254 has become a vital part of airborne hardware certification. This thesis was motivated by the practical challenges encountered while attempting to verify ARINC429 IP cores using traditional techniques, especially in environments where safety and traceability are critical. The purpose of this work is to develop a reusable, robust, and certifiable UVM-based Verification IP (VIP) for DO-254 compliant ARINC429 HDL modules. This VIP offers an automated and comprehensive verification solution, addressing the shortcomings of loopback-based methods. To the best of our knowledge, this study presents the first verification framework in literature that applies a reusable VIP to extensively test an ARINC429 IP core across multiple scenarios. The Siemens QuestaSim 10.7a simulator was employed to conduct rigorous simulation runs on a DO-254 compliant ARINC429 IP developed by ASELSAN. The results indicate a branch coverage of 91.74%, a statement coverage of 98.34%, and an expression coverage of 96.76%, achieving an overall verification coverage average of 95.61%. The outcomes of this thesis contribute to ongoing efforts in avionics verification by proposing a scalable and certifiable methodology that improves both coverage quality and development efficiency.
Benzer Tezler
- Development of a coverage-driven cocotb-based functional verification framework for the RISC-V load-store and r-type instructions
Rısc-v yükleme-saklama ve r-tipi buyrukları için kapsam odaklı cocotb tabanlı bir fonksiyonel doğrulama ortamının geliştirilmesi
ŞENNUR GÜNEY
Yüksek Lisans
İngilizce
2024
Elektrik ve Elektronik MühendisliğiGebze Teknik ÜniversitesiElektronik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ İHSAN ÇİÇEK
- Cıva(II) iyonuna karşı seçici ve hassas kromenilyum-siyanin tabanlı yeni bir kemodozimetrenin geliştirilmesi
Development of a new chromenylium-cyanine based chemodosimeter selective and sensitive for mercury(II) ion
MUHAMMED İKBAL GÜNDÜZ
- Cıva (II) iyonuna seçici, merkaptopropiyonik asit ile türevlendirilmiş kromenilyum-siyanin tabanlı yeni bir turn-on floresan sensörün geliştirilmesi
Development of a new – mercury (II) ion selective, chromenyllium-cyanine based turn-on fluorescent sensor derivatived wi̇th mercapto propionic acid
VUSLAT BASAN
- Tiyazol-ferrosen ile modifiye edilmiş kromenilyum-siyanin tabanlı ve çok kanallı yeni bir cıva (II) sensörün geliştirilmesi
Development of a novel multi-channel mercury (II) sensor based on chromenylium-cyanine modified with thiazole-ferrocene
ELİF YILMAZ
- A highly selective and reusable colorimetric and turn-on fluorescent chemosensor based on rhodamine tethered aldehyde functional microspheres for the detection of Cu2+ and Hg2+ ions
Cu2+ ve Hg2+ 'nın deteksiyonu için yüksek seçicilik gösteren rodamin tutturulmuş aldehit fonksiyonlu mikroküre esaslı kolorimetrik ve floresans“turn on”tekrar kullanılabilir kemosensörlerin hazırlanması
PINAR ÖZMEN
Yüksek Lisans
İngilizce
2019
Kimyaİstanbul Teknik ÜniversitesiKimya Ana Bilim Dalı
DOÇ. DR. BÜNYAMİN KARAGÖZ
