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, Turkey, 26 - 28 September 2011, pp.46-52

  • Publication Type: Conference Paper / Full Text
  • City: Ankara
  • Country: Turkey
  • Page Numbers: pp.46-52

Abstract

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