Bir Aviyonik Sistemin Yazılım ve Sistem Gereksinimlerinin Uyumluluğunun Model Denetleyici ile Değerlendirilmesi

Betin Can A., Parlak M. A.

5. Ulusal Yazılım Mühendisliği Sempozyumu, Ankara, Türkiye, 26 - 28 Eylül 2011, ss.46-52

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: Ankara
  • Basıldığı Ülke: Türkiye
  • Sayfa Sayıları: ss.46-52
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

Bu bildiride emniyet kritik bir gömülü aviyonik sisteminin içinde bulunan kritik bir yazılım bileşeninin gereksinimlerinin sistem güvenlik gereksinimleri ile uyumluluğu incelenmiştir. Bu inceleme sırasında otomatik bir doğrulama yöntemi olan model denetleme teknikleri ile yapılabilirliği sınanmıştır. Bu çalışmada sistem gereksinimleri zamansal mantık ile, yazılım bileşeninin gereksinimleri ise NuSMV aracı ile modellenmiştir. Modelleme adımları ve sonuçları aktarıldıktan sonra sonuçlar hakkında değerlendirmelerimiz bildirilmişti