Yer Kontrol İstasyonu Yazılım Tasarımı ve Süreç Yaklaşımı

5. ULUSAL YAZILIM MÜHENDİSLİĞİ SEMPOZYUMU - UYMS'11
ANKA Programı – Yer Kontrol İstasyonu
Yazılım Tasarımı ve Süreç Yaklaşımı
Barış Kayayurt1
Celal Küçükoğuz2
İhsan Yayla3
Ahmet Yapıcı4
1,2,3,4
Aviyonik Yazılım Mühendisliği Müdürlüğü, TAI, Ankara
1
e-posta: [email protected]
3
e-posta: [email protected]
2
e-posta: [email protected]
4
e-posta: [email protected]
gösterirken, doğal olarak ülkemizde de İHA sistemlerine artan
bir ilgi söz konusu oluşmuştur. Bu yönüyle bakıldığında İHA
sistemleri için aviyonik yazılım geliştirme, en önemli faaliyet
alanlarından biri olarak görünmektedir.
Özetçe
İnsansız Hava Araçları (İHA), bilhassa insan veriminin
düşeceği uzun süreli görevlerde veya riskli ortamlarda; insan
faktörünü
tehdit
ortamından
yalıtmak
üzere
kullanılagelmektedir. Dünyada gelişen İHA sistemleri ve bu
sistemlerin üstlendiği görevler her geçen gün gelişim ve farklı
alanlara dağılım gösterirken, doğal olarak ülkemizde de İHA
sistemlerine artan bir ilgi söz konusu oluşmuştur.
Bu bildiride, genelde İHA yer kontrol istasyonlarında yazılım
geliştirme, özelde ise ANKA Geliştirme Programı’ndaki Yer
Kontrol İstasyonu Yazılım geliştirme yaklaşımı anlatılacaktır.
Bildirinin 2. Bölümünde İnsansız Hava Araçlarında yer
kontrol istasyonu yazılım geliştirme tanıtılırken,
3.
Bölümünde ANKA Geliştirme Programındaki YKİ yazılım
geliştirme mimari, süreç ve araçları tanıtılacaktır. Bildirinin
Sonuç bölümünde ise ANKA geliştirme deneyiminden elde
edilen sonuçlar özetlenecektir.
İnsansız hava araçlarının gerek sayı gerekse çeşitlerindeki
artış, insansız hava aracı platform ve kontrol yazılımlarının
büyüklüklerinin ve karmaşıklık seviyelerinin artmasını
beraberinde getirmiştir. Bu bildiride tanıtılmakta olan ANKA
Yer Kontrol İstasyonu (YKİ) Yazılımları, entegre olarak
çalışan gerçek zamanlı ve gerçek zamanlı olmayan
yazılımları içermekte ve Integrated Modular Avionics (IMA)
mimarisi ve model tabanlı tasarım ve geliştirme gibi günümüz
aviyonik yazılım geliştirme standartlarına uymaktadır.
2. İnsansız Hava Araçlarında Yer Kontrol
İstasyonu Yazılımları
İnsansız hava araçları son yıllarda ülkemizde de artan bir
önem göstermekte ve yaygınlaşmaktadır. Yer kontrol
istasyonu insansız hava aracının yerden yönetiminin
sağlandığı, pilotun uçağı göstergelerden yönettiği, operatörün
görevle ilgili fonksiyonları yerine getirdiği sistemin önemli
bir parçasıdır. Bu yönüyle bakıldığı zaman yer kontrol
istasyonunda koşan yazılım en az hava aracındaki yazılım
kadar kritik ve önemli olarak görülmektedir. Farklı üreticiler
tarafından yapılan yer kontrol istasyonlarında uçaktaki ile
benzer özellikler taşıyan gerçek zamanlı gömülü
yazılımlardan Windows masa üstü uygulamalarına kadar
farklı mimari ve teknolojilere sahip yazılımlar koşmaktadır.
ANKA YKİ yazılımının hava aracı yönetiminden sorumlu
olan gerçek zamanlı kısımları, Integrated Modular Avionics
(IMA) mimarisinde tasarlanmıştır. Gerçek zamanlı işletim
sistemi üzerinde koşmakta olan bu yazılım çoğunlukla model
tabanlı (SCADE [1], VAPS[2]), ve bununla birlikte daha az
miktarda da elle geliştirilmiş kod içermektedir. YKİ
Yazılımının gerçek zamanlı olmayan kısımları için ise
nesneye yönelik tasarım ve kodlama yöntemleri
kullanılmıştır. Gerçek zamanlı yazılımlarla gerçek zamanlı
olmayan yazılımların aralarındaki veri değişimi UDP
(Universal Datagram Protocol)) protokolü üzerinden
gerçekleştirilmektedir.
Farklı üreticilerin ürettiği Yer Kontrol istasyonları ve uçak
sistemleri arasında birlikte çalışılabilirliği (interoperability)
sağlamak için bir takım uluslararası standartlar geliştirilmiştir.
Bunların en önemlisi NATO STANAG 4586 standardıdır. Bu
standart Yer kontrol istasyonları için üst seviye bir mimari ve
yer kontrol istasyonunun dış arayüzleri için mesaj
standartlarını tanımlar [3].
Bu bildiride YKİ genel mimarisi, ANKA YKİ yazılım
geliştirme ortamı, kullanılan araçlar, süreçler ve standartlar
konularında bilgilendirme yapılacaktır.
1. Giriş
Yazılım her geçen gün daha da karmaşıklaşan örnekleriyle
gündelik hayatımızın vazgeçilmezleri arasında yerini almıştır.
Yazılımlar gündelik hayatımızda sıkça kullandığımız
masaüstü uygulamalardan sınırlı kaynaklara sahip uç
cihazlarda koşan gömülü yazılımlara kadar çok çeşitli bir
yelpazede bulunmaktadır. Temelde uçuşla ilgili tüm
yazılımları bünyesinde barındıran aviyonik yazılım da bu
alanda güvenlik-kritiklik, süreç ve standartlarıyla ön plana
çıkan bir alandır.
Dünyada gelişen İHA sistemleri ve bu sistemlerin üstlendiği
görevler her geçen gün gelişim ve farklı alanlara dağılım
Bunun yanında yerde kokpit görevi görmesi ve uçağı
yönetmesi bakımından uçuş kritik kategorisine giren YKİ
yazılımları gittikçe artan bir şekilde RTCA-DO-178B rehber
dokümanına uygun olarak geliştirilmeye başlanmıştır. RTCADO-178B IEEE-12207, Mil-Std-498 gibi yazılım süreç
standartlarına emniyet boyutunu ekleyen bir rehber
dokümandır. DO-178B dokümanı yazılımlar için emniyet
kritiklik seviyesini [4] ve her bir yazılım emniyet kritiklik
seviyesi için uyulması gereken hedefler ve gerçekleştirilmesi
gereken aktiviteleri tanımlar.
284
5. ULUSAL YAZILIM MÜHENDİSLİĞİ SEMPOZYUMU - UYMS'11
telemetri/telekomut sorgulama, pilot kamerası video geri
oynatım, YKİ bilgisayarları açma/kapama alt işlev ve
ekranlarına sahiptir. Yine SYY konfigürasyon biriminin
altında yer alan Test Bakım yazılımından Yer Kontrol
İstasyonu ve hava aracında yer alan ekipmanların uçuş öncesi
kontrolleri yapılabilmektedir.
Aviyonik endüstrisindeki gelişmelere paralel olarak Yer
Kontrol istasyonu yazılımlarında Integrated Modular
Avionics (IMA) yazılım tasarımı ve model tabanlı tasarım da
sıklıkla kullanılmaya başlanan tasarım metodları olarak göze
çarpmaktadır. Model tabanlı yazılım geliştirme yaklaşımının
başlıca avantajları [5]’de verilmektedir.
Test Dump Yazılımı (TDY): Uçak ve yer sistemlerinden
alınan test verilerinin izlenebildiği ve grafiklerinin
görüntülenebildiği gerçek zamanlı olmayan yazılımdır. Bu
yazılım Yer Kontrol İstasyonu istemci bilgisayarları ve
Mühendislik Test İstasyonu bilgisayarlarında koşmakta, ve
ağırlıklı olarak uçuş test mühendisleri tarafından uçağa ait
verileri izlemekte kullanılmaktadır.
3. ANKA YKİ Yazılımları
3.1. ANKA Sistemi
ANKA Geliştirme Programı, Medium Altitude Long
Endurance (MALE) sınıfı bir İnsansız Hava Aracı (İHA)
sisteminin milli olanaklarla geliştirilmesini hedefleyen bir
programdır.
Veri Yönetim Sistemi Yazılımı (VYS): Veri kayıt işlevleri
içeren gerçek zamanlı olmayan yazılımdır. Bu yazılım Yer
Kontrol İstasyonu’ndaki sunucu bilgisayarlarda koşmaktadır.
Sunucu üzerindeki cluster yapısı sayesinde iki sunucuda
yedekli olarak çalışmaktadır. Uçuş sırasındaki tüm telemetri,
telekomut ve içsel dahili test verileri bu yazılım tarafından
veritabanı ve dosya sistemine kaydedilmektedir.
Şekil 1’de yer alan ANKA sistemi; 30.000 ft maksimum
irtifada 24 saat süre ile keşif gözetleme görevi yapmak üzere
tasarlanmış bir Hava Aracı ve 200 km yarıçap içerisinde Hava
Aracının takip ve kontrolünün yapılabildiği Yer Kontrol
İstasyonu temel bileşenlerinden oluşmaktadır.
Görev Planlama Yazılımı (GPY): Görev planlama ve takip
işlevleri içeren ve harita fonksiyonları barındıran gerçek
zamanlı olmayan yazılımdır.
3.3. Gerçek Zamanlı Hava Aracı Kontrol Yazılımı
Tasarımı
Gerçek zamanlı HAKY yazılımının üzerinde koştuğu Hava
Aracı Kontrol Bilgisayarı (HAKB) sistemde yedekli olacak
şekilde iki adet bulunmaktadır. HAKB yedekliliği hot backup
adı verilen yedekleme yöntemi ile iki bilgisayarda aynı
yazılım bileşenlerinin simetrik olarak koşturulması şeklinde
gerçekleştirilmektedir.
Gerçek zamanlı yazılım bileşenleri ile gerçek zamanlı
olmayan yazılım bileşenleri arasındaki iletişim UDP
protokolü ile sağlanmakta; uygulama seviyesinde ise
mesajlaşma abone ol-yayınla tasarım örüntüsüne uygun
olacak şekilde yazılım bileşeninin almak istediği mesajlara
abone olması ve yayınlanan mesajların bu bileşenlere
iletilmesi şeklinde yapılmaktadır.
Şekil 1 : ANKA Sistemi
3.2. YKİ Yazılımlarına Genel Bakış
ANKA sistemi Yer Kontrol İstasyonu yazılımları hava
aracının yerden kontrolü ve takibini sağlayan gerçek zamanlı
yazılımlar ile görev planlama, veri kayıt ve sorgulama, test
verisi izleme gibi gerçek zamanlı olmayan işlevleri içeren
yazılım konfigürasyon birimlerinden oluşmaktadır. YKİ
yazılımlarını oluşturan yazılım konfigürasyon birimleri
şunlardır:
Hava Aracı Kontrol Yazılımı (HAKY): Uçağı yerden kontrol
eden ve takibini sağlayan gerçek zamanlı gömülü yazılımdır.
HAKY yazılımı ile ilgili detaylı bilgi 3.3. başlığı altında
verilmektedir.
Şekil 2 : HAKY Bölüntü Mimarisi
Gerçek zamanlı yazılım olan HAKY yazılımında yazılım
bölüntüler (partition) halinde IMA mimarisine uygun olacak
şekilde tasarlanmıştır. HAKY bölüntü mimarisi Şekil-2’de
verilmektedir. Bölüntü mimarisi uygulama üzerinde zaman
Sistem Yönetimi Yazılımı (SYY): Yazılım durum izleme,
veri sorgulama ve yönetim işlevlerini içeren gerçek zamanlı
olmayan yazılımdır. SYY yazılımı kendi içinde kullanıcı
yönetimi,
içsel
dahili
test
sonucu
sorgulama,
285
5. ULUSAL YAZILIM MÜHENDİSLİĞİ SEMPOZYUMU - UYMS'11
Tablo 1 : Yazılım Geliştirme Araçları
determinizmi sağlamakta ve bellek koruması ile farklı
bölüntülerde çalışan uygulamaların birbirine olumsuz etkisi
olmamasını garanti etmektedir.
HAKY yazılımında bölüntüler arasında veri iletişimi
amacıyla UDP, Shared Memory, Integrity Connection ve
VME veri iletim yöntem ve protokolleri kullanılmaktadır.
Yazılım mimarisinde veri iletim fonksiyonları ayrı
kütüphaneler olarak geliştirilmiş olup iş fonksiyonlarını
içeren yazılım parçalarından izole edilmiştir. Aynı zamanda
işletim sistemine özgü fonksiyonlar da ayrı bir kütüphane
olarak tasarlanmış ve uygulanmıştır. Bu yöntem sayesinde
veri iletişim ya da işletim sistemi seviyesindeki değişiklikler
sadece ilgili katmanı etkileyecek, diğer uygulama parçaları
bundan etkilenmeyecektir.
Yazılım Adı
Esterel SCADE
Fonksiyonu
Model tabanlı tasarım
Presagis VAPS
Model tabanlı grafik tasarım
IBM Rational Doors
Gereksinim Yönetim
Enterprise Architect
Tasarım
GreenHills Multi
Kod Geliştirme
Microsoft Visual Studio
Kod Geliştirme
Eclipse
Kod Geliştirme
Tortoise SVN
3.4. YKİ Yazılım Geliştirme Metodolojisi
YKİ gerçek zamanlı yazılımları elle (manuel kodlama) ve
model tabanlı tasarım ve otomatik kod üretme yöntemlerinin
bir arada kullanılmasıyla geliştirilmiştir. Manuel kodlama için
C programlama dili kullanılmış olup model tabanlı tasarım
aşağıda detayları verilen
SCADE Suite ve Virtual
Applications Prototyping System (VAPS) araçları ile
gerçekleştirilmiştir. C dili donanıma yakınlığı, yüksek
performansı ve yaygın kullanımı ile gerçek zamanlı güvenlikkritik yazılımlar için halen endüstri standardı olma özelliğini
korumaktadır. Yazılım içinde genel entegrasyon, alt seviye
girdi-çıktı (I/O) yönetimi, çizelgeleme (scheduling) ve mesaj
iletişim gibi fonksiyonlar bu dil kullanılarak manuel olarak
kodlanmıştır. Diğer taraftan, [5]’da belirtilen avantajlarının da
değerlendirilmesiyle yazılımda mümkün olan bölümlerde
model tabanlı tasarım ve geliştirme kullanılmıştır. HAKY
yazılımının kullanıcı arayüz bileşenlerinin yaklaşık %90’lık
bölümü VAPS geliştirme aracı kullanılarak ve kullanıcı
arayüz harici bileşenlerin de yaklaşık %70’lik bölümü
SCADE geliştirme aracı kullanılarak geliştirilmiştir.
Geliştirilen modellerden üretilen kaynak kodlar herhangi bir
değişiklik yapılmadan derlenerek hedef ortamda çalışan
uygulamalar üretilmektedir. Model tabanlı geliştirilen yazılım
bileşenlerinde ortaya çıkan düzeltme/güncelleme ihtiyaçları
doğrudan ilgili modeller üzerinde yapılmakta ve kod üretimi
tekrarlanarak
yapılan
değişiklikler
uygulamalara
yansıtılmaktadır.
Konfigürasyon Yönetimi
Aşağıda sertifiye edilebilir kod üreten model tabanlı yazılım
geliştirme araçlarından kısaca bahsedilmiştir.
SCADE Suite
Esterel Technologies firmasının bir ürünü olan SCADE Suite;
aviyonik, ulaşım, enerji gibi sektörler için güvenlik-kritik
gömülü yazılımların geliştirilmesinde yaygın şekilde
kullanılan model tabanlı bir yazılım geliştirme aracıdır.
SCADE aracı kullanılarak geliştirilen yazılım bileşenleri için
yazılımın sağlaması gereken durumlar ve durumlar arası geçiş
koşulları Durum Makineleri (State Machine) aracılığıyla
modellenmekte ve her bir durum içerinde yapılması gereken
işlemler için Blok Diyagramlar geliştirilmektedir. HAKY
yazılımı içinde geliştirilmiş örnek bir Durum Makinesi Şekil3’de, örnek bir Blok Diyagram ise Şekil-4’de verilmiştir.
YKİ gerçek zamanlı olmayan yazılımları nesneye yönelik
tasarım
ve
programlama
yöntemi
kullanılarak
gerçekleştirilmiştir. Bu yöntemde öncelikle yazılım
gereksinimlerinden türeyen tasarım modelleri (sınıf, aktivite,
sıralama diyagramları) Geliştirme Ortamı ve Araçları başlığı
altında verilen tasarım araçları ile modellenmiş; daha sonra
bu tasarım modelleri kodlanarak hedef ortama taşınmıştır.
Gerçek zamanlı olmayan YKİ yazılımları C# programlama
dili ile Microsoft .NET platformunda geliştirilmiştir.
Şekil 3 : Örnek Durum Diyagramı
3.5. YKİ Yazılım Geliştirme Araçları
YKİ yazılım geliştirme ortamında kullanılan araçlar Tablo1’de verilmektedir.
286
5. ULUSAL YAZILIM MÜHENDİSLİĞİ SEMPOZYUMU - UYMS'11
3.6. YKİ Yazılım Süreçleri
YKİ yazılımları RTCA DO-178B rehber dokümanı baz
alınarak oluşturulan TAI yazılım süreçlerine uygun olarak
geliştirilmiştir. Yazılım üç artırım halinde geliştirilmiş ve her
bir artırımda aşağıda belirtilen süreç adımları tekrarlanmıştır.
Yazılım geliştirmede aşağıdaki alt süreçler uygulanmıştır :
Planlama : Yazılımla ilgili planlama faaliyetleri bu alt süreçte
gerçekleştirilmiş, Yazılım Geliştirme Planı, Yazılım
Doğrulama Planı, Yazılım Konfigürasyon Yönetim Planı,
Yazılım Kalite Güvence Planı hazırlanmış, gözden geçirilmiş
ve yayımlanmıştır.
Şekil 4 : Örnek Blok Diyagram
Gereksinim : Yazılıma ait üst seviye gereksinimler bu alt
süreçte gerçekleştirilmiştir. Bu süreç sonunda Doors
ortamında yazılım gereksinimleri oluşturulmuş, gözden
geçirilmiş ve yayımlanmıştır. Sistem gereksinimleri ile
yazılım gereksinimleri arasındaki izlenebilirlik Doors
ortamında kurulmuştur.
Araç tarafından üretilen kodun güvenilirliği sayesinde
geliştirme ekibi geleneksel geliştirme yöntemlerinde önemli
zaman alan programlama hatalarının düzeltilmesi,
programlama dilinin etkin kullanımı gibi konular için enerji
harcamak zorunda kalmamakta ve tüm dikkatini yazılımın
işlevselliğine ve performans özelliklerine yöneltebilmektedir.
Tasarım : Yazılıma ait tasarım bu alt süreçte
gerçekleştirilmiştir. Yazılım tasarımında öncelikle yazılım
konfigürasyon birimleri belirlenmiş, daha sonra bunlar
arasındaki arayüzler belirlenerek akışlar ortaya çıkarılmıştır.
Her bir yazılım konfigürasyon biriminin detay tasarımları
yapılmış; gerçek zamanlı yazılımlar için bölüntü çizelgeleme
süreleri (milisaniye olarak), tüm yazılımlar için mesaj ara
bellek büyüklükleri hesaplanmıştır.
Bu süreç sonunda
Yazılım Tasarım Tanımları dokümanı oluşturulmuş, gözden
geçirilmiş ve yayımlanmıştır. Yazılım tasarımı ile
gereksinimler arasındaki izlenebilirlikler kurulmuştur.
VAPS
Presagis firmasının bir ürünü olan VAPS, gömülü sistemlerde
ve özellikle aviyonik projelerinde grafik tabanlı insan makine
arayüz uygulaması üretmek için yaygın olarak kullanılmakta
olan bir geliştirme aracıdır.
Temel grafik bileşenler hiyerarşik yapıda gruplanarak Şekil
5’te bir örneği verilen, HAKY insan makine arayüzünden
alınmış, karmaşık grafik nesneler üretilmekte ve bu sayede
kullanıcı arayüz ekranlarında yer alan Attitude Direction
Indicator, Kadran, Metin Kutusu gibi göstergeler
yaratılmaktadır.
Gerçekleştirim/Kodlama : Yazılıma ait model tabanlı
tasarım/kodlama faaliyetleri bu alt süreçte gerçekleştirilmiştir.
Tasarım sürecinde detay tasarımları yapılan yazılım birimleri
elle kodlama/model tabanlı tasarım yöntemleri ile
gerçekleştirilmiştir. Bu süreç sonunda yazılıma ait elle
oluşturulan
kaynak
kodu
gözden
geçirilmiş
ve
yayımlanmıştır. Model tabanlı tasarım bileşenlerine ait kod
otomatik olarak üretilmiştir. Bu kod kalifiye olduğu için buna
ait ayrıca bir gözden geçirme yapılmamıştır.
Entegrasyon : Yazılım geliştirmede sürekli entegrasyon
ilkesine bağlı kalınarak yazılımlar arasında ve yazılımlarla
donanım arasında geliştirme evresi boyunca entegrasyon
sağlanmıştır. Bu yöntem sayesinde yazılımın sonunda ayrıca
bir entegrasyon süresi ihtiyacı oluşmamış, geliştirme boyunca
entegre olarak test edilmiş olan yazılım parçaları
doğrulamaya daha az hatayla teslim edilmiştir.
Doğrulama : Yazılım konfigürasyon parçaları bu süreçte
doğrulanmış, bu amaçla test durumları yazılarak gözden
geçirilmiş ve yayınlanmıştır. Doğrulamada DO-178B’nin
vurguladığı bağımsız doğrulama ilkesine bağlı kalınmıştır.
Şekil 5 : Örnek Gösterge
VAPS tasarım aracı ile görsel bir ortamda tasarlanan Düğme,
Anahtar, Potansiyometre gibi girdi nesneleri Metin Alanı,
Yükseklik Göstergesi, Etiket, Kadran, ADI gibi çıktı
nesnelerine veri besleyecek şekilde kurgulanmaktadır.
Konfigürasyon Yönetimi : Tüm yazılım alt süreçleri boyunca
gerçekleştirilen konfigürasyon işlevleri bu süreç bünyesinde
ele alınmıştır. Bu kapsamda bütün yazılım ürünlerinin (kod,
modeller, dokümanlar) versiyon kontrolde tutulması
sağlanmış; projede yapılan bütün gözden geçirmeler kayıt
altına alınmış ve versiyon kontrolde saklanmış; yazılımlara
ait resmi sürümler konfigürasyon yöneticisi tarafından,
hazırlanan dokümana uygun olarak yapılmıştır.
Tasarlanan modellerin çalışma-zamanı davranışları aracın
benzetim özelliği kullanılarak girdi nesneleri aracılığıyla
geliştirme ortamında gözlenmekte, beklenmeyen davranış ve
hatalar hedef ortam için kod üretmeye ihtiyaç kalmadan
belirlenmektedir. Hedef ortamda hata ayıklamak ile
kıyaslandığında bu yaklaşım geliştirme ve hata düzeltme
zamanından önemli ölçüde tasarruf edilmesini sağlamaktadır.
287
5. ULUSAL YAZILIM MÜHENDİSLİĞİ SEMPOZYUMU - UYMS'11
Kalite Güvence : Tüm yazılım alt süreçleri boyunca
gerçekleştirilen yazılım kalite güvence işlevleri bu süreç
bünyesinde ele alınmıştır. Yazılımın tüm evrelerinde sürece
uygunluk ve yazılımın kalite nitelikleri kalite güvence
temsilcisi tarafından yapılan denetimlerce denetlenmiş,
bulunan bulgular kayıt altına alınarak gerekli düzeltmeler
yapılmıştır.
4. Sonuçlar
İnsansız Hava Aracı kullanım alanlarının giderek arttığı
günümüzde bu sistemlere ait yazılımların zaman ve maliyet
gibi ölçütlerinin yanında güvenlik kritik olma ihtiyaçları ön
plana çıkmaktadır.
Bu bildiride ANKA Geliştirme Programı kapsamında
geliştirilen Yer Kontrol İstasyonu yazılım yaklaşımları ve
kullanılan araçları tanıtılmıştır. Yer Kontrol İstasyonu yazılım
geliştirme deneyiminden elde edilen sonuçlar şu şekilde
sıralanabilir :
•
Yazılımın, DO-178B rehber dokümanı baz alınarak
oluşturulan yazılım süreçlerine uygun olarak
geliştirilmesi başlangıçta zaman ve maliyeti artırsa
da yazılımın daha planlı ve daha az hatayla ortaya
çıkmasına yardımcı olmaktadır.
•
ANKA
Programındaki
kullanım
tecrübesi,
geleneksel yöntemler ile kıyaslandığında model
tabanlı geliştirme yaklaşımının üretilen yazılımların
güvenilirliğine
ve
geliştirme
ekiplerinin
üretkenliğine önemli katkı yaptığını göstermektedir.
•
IMA (Integrated Modular Avionics) mimarisinde
öngörülen bölüntü yapısının kullanılması yazılım
parçalarının bağımsız olarak geliştirilebilmesi ve
doğrulanabilmesini
sağlamakta;
yazılımın
modülerliği ve genişlemesine imkan vermektedir.
5. Teşekkür
Yazılım geliştirme çalışmalarını birlikte yürüttüğümüz değerli
grup arkadaşlarımıza, ve yazılımın geliştirilmesinde bizden
desteklerini esirgemeyen tüm yöneticilerimize katkıları için
teşekkür ederiz.
6. Kaynakça
[1] Esterel Technologies , SCADE Suite,
http://www.esterel-technologies.com/products/scadesuite/
[2] Presagis, VAPS,
http://www.presagis.com/products_services/products/emb
edded/hmi_modeling_and_display_graphics/
[3] Nato, “Nato Stanag 4586”
http://www.cdlsystems.com/index.php/stanag4586
[4] Panicker, S., “Applying DO-178B For IV & V of Safety
Critical Software
http://www.scribd.com/doc/46780104/Applying-DO178B
[5] Krasner, J., “Model Driven Development of Certifiable
Software: A Best Practice for Safety-Critical
Applications”, http://embeddedforecast.com/
288