Universal verification methodology case study on field programmable gate array for hardware certification in aviation
Havacılıkta donanım sertifikasyonu için universal verification methodology kullanımı ile field programmable gate array üzerinde vaka çalışması
- Tez No: 724800
- Danışmanlar: DOÇ. DR. UFUK SAKARYA, DR. İBRAHİM HÖKELEK
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Havacılık Mühendisliği, Electrical and Electronics Engineering, Aeronautical Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2022
- Dil: İngilizce
- Üniversite: Yıldız Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Aviyonik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Aviyonik Mühendisliği Bilim Dalı
- Sayfa Sayısı: 60
Özet
Günümüz aviyonik sistemlerinin gün geçtikçe karmaşıklaşması ile askeri ve sivil havacılık uygulamalarında emniyet konusu en önemli konu haline gelmiştir. Bu nedenle, herhangi bir hava aracı için geliştirilecek olan tüm donanımlar DO-254 süreçlerine uyumlu bir şekilde tasarlanmalıdır. DO-254 süreçleri anlattıkları aktiviteler ve görevler ile emniyeti sağlamaktadır. DO-254'e göre, özel mikro kodlu bileşen tasarımlarında emniyetin sağlanabilmesi için bazı ek doğrulama faaliyetleri yapılmalıdır. Gereksinimler havacılığın temel unsurlarıdır. Bir tasarımın tamamlanmış sayılabilmesi için bir tüm gereksinimleri karşılanmalıdır. Bu nedenle, özel mikro kodlu bileşenlerin gereksinimlere göre doğrulanmasına kapsamlı bir şekilde özen gösterilmelidir. PLD tasarım süreçleri arasında en çok zaman alıcı olan süreç verifikasyon sürecidir. Zaman ve bütçe anlamında doğru verifikasyon metodunun seçilmesi çok kritiktir. İnsan dahili verifikasyon havacılıkta daha az tercih edilen bir yöntemdir çünkü insanlar hata yapabilir. Bu nedenle günümüzde en çok kullanılan doğrulama yöntemi otomatik simülasyondur. Endüstri, farklı tipteki otomatik testbench'lerin aynı yol ile oluşturulabilmesini sağlayan ortak bir metodoloji geliştirmiştir. Bu sayede doğrulama ortamlarının tekrar kullanılabilirliği maksimuma çıkarılmıştır. Bu metodolojinin ismi UVM'dir. Bu tez çalışması kapsamında DO-254 süreçlerine ilişkin teorik bilgiler anlatılmaktadır. ARINC – 429 veri yolunu dijital bir alt sistem olarak doğrulamak için Evrensel Doğrulama Metodolojisi (UVM) kullanıldı. Bu verifikasyon aktivitesi, DO-254'de aktarılan verifikasyon sürecine uygun gereksinimler yazılması ve bu gereksinimlerin doğrulanması ile gerçekleştirildi.
Özet (Çeviri)
As the complexity of modern avionics system increases, the safety becomes the most critical aspect for both the military and civil aviation applications. Therefore, every hardware which will be developed for any aircraft must be designed with the compliance of DO-254 processes. These processes include activities and objectives that necessary to ensure the safety. According to DO-254, there should be some extra verification activities made to cover safety needs for DAL A and B custom micro coded component designs. Requirements are the key elements of the aviation. All the requirements must be covered to a design to count as completed. Therefore, verification of the custom micro coded components against requirements should be taken care comprehensively. The most time-consuming process among Programmable Logic Device (PLD) design processes is the verification. Therefore, choosing the right verification method is a highly critical decision for making sure that the safety requirements are met while the project budget is not exceeded. Human made verification is less preferable method as humans can make mistakes. Therefore, the most used verification method today is the automated simulation. The industry has developed a common methodology that everyone can create different automated testbenches with the same way. In this way reusability of the verification environments are maxed. This methodology's name is the Universal Verification Methodology (UVM). In this thesis, theoretical information of the DO-254 processes are explained. Universal Verification Methodology (UVM) is used to verify ARINC – 429 data bus as a digital subsystem. This verification activity is presented by complying DO-254 verification process as requirements are written and verified.
Benzer Tezler
- İnşaat projelerinde uyuşmazlık çözüm yöntemi seçimi için çok kriterli karar verme modeli
A multi-criteria decision making model for dispute resolution method selection in construction projects
DENİZ İLTER
- Yalın yönetim öğeleri ve tekstil sektörüne uygulanabilirliği
Lean management concepts and their applicability to the textile industry
İSMAİL CİHAN PEKER
Yüksek Lisans
Türkçe
1997
Mühendislik Bilimleriİstanbul Teknik Üniversitesiİşletme Ana Bilim Dalı
DOÇ. DR. SEMRA DURMUŞOĞLU
- Politics of urban planning in Ankara betwen 1985 and 2005
Ankara'da 1985 ve 2005 arasında kent planlamanın siyaseti
SAVAŞ ZAFER ŞAHİN
Doktora
İngilizce
2007
Kamu YönetimiOrta Doğu Teknik ÜniversitesiSiyaset Bilimi ve Kamu Yönetimi Ana Bilim Dalı
DOÇ.DR. H. TARIK ŞENGÜL
- Biyometrik e-kimlik ile güvenli alışveriş sistemi
Secure e-commerce with biometric e-ID
MUHAMMET YILDIZ
Yüksek Lisans
Türkçe
2010
BankacılıkGebze Yüksek Teknoloji EnstitüsüBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. MEHMET GÖKTÜRK
- حاشية حفيد السعد أحمد بن يحيى التفتازاني على شرح الوقاية دراسة وتحقيق (قسم المعاملات المالية)
Ahmed B. Yahyâ El-Herevî Et-Teftaâzânî، Haşiyetu Şerhü'l-Vikaye (muâmelât bölümü) tahkik çalışması / The marginal notes of Al-Hafidh Ahmed ibn Yahya Al-Tafatazani on Al-Waqayah: A study and verification، financial transactions section
AHMED KHALEEFAH MUTAR MUTAR
Yüksek Lisans
Arapça
2024
DinKarabük ÜniversitesiTemel İslam Bilimleri Ana Bilim Dalı
DR. ÖĞR. ÜYESİ NAİM HANK