Model tabanlı geliştirme teknolojisinin hava aracı yazılımlarında kullanımı ve sertifikasyonu
Certification aspects of model based development for airborne software
- Tez No: 562870
- Danışmanlar: PROF. DR. MEHMET REŞİT TOLUN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2019
- Dil: Türkçe
- Üniversite: Başkent Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 120
Özet
Teknolojik gelişmelerin hızla ilerlemesi pek çok sektörde olduğu gibi havacılık sektöründe de ihtiyaç duyulan ürün ve hizmetler ile ilgili alternatiflerin artmasına imkân vermiştir. Bu durum üreticiler arasında sıkı bir rekabet ortamının oluşmasına neden olmuştur. Artan rekabet koşullarında hava aracı üreticileri, müşteri isteklerine daha kısa zamanda ve daha az maliyetle cevap vermek için yeni teknoloji arayışlarına girmişlerdir. Bu teknolojilerden birisi de, üreticilere sağladığı takvim ve maliyet avantajı nedeni ile son yıllarda havacılık sektöründe oldukça popüler hale gelen Model Tabanlı Geliştirme (MTG) teknolojisidir. MTG teknolojisi, geleneksel yazılım geliştirme yaklaşımına alternatif olarak geliştirilmiş, sistem ve yazılım seviyesindeki faaliyetlerin iç içe geçtiği yeni bir yazılım geliştirme yaklaşımıdır. Bu çalışmada, MTG teknolojisi ile geliştirilen hava aracı yazılımlarının yaşam döngüsü boyunca tamamlanması gereken faaliyetler, üretilmesi gereken veriler, hava aracı sertifikasyon süreci ve uçuş emniyeti kapsamında dikkat edilmesi gereken konular, bu konulara yönelik öneriler ve MTG teknoloji ile ilgili önemli noktaların sorgulanmasında havacılık sektörüne fayda sağlayabilecek soru listeleri sunulmuştur. Uygulama bölümünde ise, MTG teknolojisinde yapılması gereken model kapsama analizi ile yapısal kapsama analizi karşılaştırması yapılmış ve çalışmada anlatılan diğer önemli konulardan örnekler verilmiştir.
Özet (Çeviri)
The rapid improvements of technological developments have led to increase alternatives and to enable customers to access these alternatives more easily and quickly. This has led to an increase in competition among companies. Increasing competition conditions have led companies to look for alternative technologies to produce products in less time and less cost. One of these technologies is the model based development technology, which is very popular due to the time and cost advantages it provides to companies. Model based development technology is a new development technology used as an alternative approach to the traditional software development approach. Although the use of this technology in the development of non-safety critical software is older, the use of this technology in the development of safety critical software such as aircraft software is relatively new. In this study, the use of this technology in the aviation, the advantages it provides, the effects on the certification and flight safety, the issues that need to be considered in the product development processes, recommendations for these issues and a useful checklist are presented. In addition, information about model coverage analysis that should be done in model based development technology is given and compared with structural coverage analysis on an example.
Benzer Tezler
- Design, modelling and control of a nano quadrotor withmicrocontroller based vision system for object tracking
Nesne takibi için bir nano dört rotorlu helikopterin tasarımı, modellenmesi ve mikrodenetleyici tabanlı görüntü sistemi ile kontrolü
MUSTAFA ENES KIRMACI
Yüksek Lisans
İngilizce
2023
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ HÜLYA YALÇIN
PROF. DR. ERDİNÇ ALTUĞ
- Adaptive control of a novel tilt-roll rotor quadrotor UAV
Adaptif dört rotorlu bir insansız hava aracının modellenmesi ve kontrolü
ABDULKERİM FATİH ŞENKUL
Yüksek Lisans
İngilizce
2015
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DOÇ. DR. ERDİNÇ ALTUĞ
- A software defined network framework in 5G wireless systems
5G kablosuz sistemlerde yazılım temelli ağ iskeleti
GÖKHAN SEÇİNTİ
Doktora
İngilizce
2017
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. BERK CANBERK
- Development of operation and maintenance strategies for offshore wind industry based on big data management
Büyük veri yönetimi ile açık deniz rüzgar endüstrisinde işletme ve bakım stratejilerinin geliştirilmesi
UWE LUETZEN
Doktora
İngilizce
2024
Enerjiİstanbul Teknik ÜniversitesiGemi ve Deniz Teknoloji Mühendisliği Ana Bilim Dalı
PROF. DR. SERDAR BEJİ
- Jig shape optimization for desired shape of a high-altitudelong-endurance class unmanned aerial vehicle underaeroelastic effects
Hale sınıfı bir ınsansız hava aracının aeroelastik etkileraltında hedeflenen şekle ulaşmak için jig şeklioptimizasyonu
AKIN ATEŞ
Yüksek Lisans
İngilizce
2024
Havacılık ve Uzay Mühendisliğiİstanbul Teknik ÜniversitesiHesaplamalı Bilimler ve Mühendislik Ana Bilim Dalı
PROF. DR. MELİKE NİKBAY