Yazılım Mühendisliği

Yazılım entegrasyonu süreçleri; Kalite Güvence (QA); Rafta Hazır Ticari (COTS) ürün entegrasyonu; algoritmaların, tekniklerin ve modellerin geliştirilmesi konularında tavsiyelerde bulunmak için yazılım alanlarının anlaşılmasıyla birleştirilen yazılım sistemleri mühendisliği ile ilgili araştırmaları içerir. Simülasyon dili gelişmelerini ve bunların askeri sistemlere getirdiği faydaları anlamak için yapılan araştırmaları da içerir. Ayrıca, ilgili gömülü yazılım türlerinin davranışı ve ara katmanların (middleware) zaman açısından kritik yönlerini anlama çalışmalarını da kapsar. Yazılım geliştirme sürecinin tasarlanması ve iyileştirilmesi konularının anlaşılmasına yönelik araştırmalar da kapsam dahilindedir. Ayrıca;
- Gerçek zamanlı gömülü yazılımın araştırılması,
- Yeni yazılım dilleri ve derleme teknolojilerinin araştırılması,
- Nesne teknolojilerinin, Model tabanlı geliştirme ve Öznitelik odaklı teknikler,
- Tekrar kullanılabilir tasarım modellerinin geliştirilmesine yönelik araştırmalar ile ilgili konuları kapsar. Savunma sistemlerinde doğrulama, değerlendirme ve karşılaştırma teknikleri, Rafta Hazır Ticari (COTS) tekrar kullanılabilen yazılımların Getiri-Götürü(Trade-offs) analizleri, kütüphane ve Uygulama Programları Arayüzü (API’)lerin kullanımı konularının anlaşılmasına yönelik araştırmaları kapsar. Yüksek doğruluklu (integrity) entegre donanım ve yazılım sistemlerinin ve bu sistemlerin savunma sistemlerindeki uygulamalarının anlaşılmasına yönelik araştırmaları içerir. Ayrıca; Yüksek doğruluklu (integrity) entegre donanım ve yazılım sistemlerinin ve bu sistemlerin savunma sistemlerindeki uygulamalarının anlaşılmasına yönelik araştırmaları içerir. Ayrıca;
- Emniyet kritik sistemlerde güvenilirlik konusunun araştırılması,
- Hatayı tolere edebilen hesaplama tekniklerinin ve hatayı tolere eden yazılım mimarilerinin (Ör: Arinc-653 Bölütleme) araştırılması konularını kapsar.
- Hatayı tolere edebilen hesaplama tekniklerinin ve hatayı tolere eden yazılım mimarilerinin (Ör: Arinc-653 Bölütleme) araştırılması konularını kapsar. Hava platformlarının uçuşa elverişliliği ile ilgili yazılımların sertifikasyonu, doğrulanması ve akreditasyonu konularındaki araştırmaları da içerir.