As the Integrated Modular Avionics solutions take place of Federated Systems, in other words as an LRU starts to perform the function of severeal modules, the safety aspects of multi partition Operating Systems became of great importance. The Safety Critical Avionics Software to be developed under ARINC 653 Multi-Task/Multi-Partition architecture, the isolation is the one important aspect of the infrastructure, while the active control of all partitions for healthy behavior and taking necessary corrective actions is another must aspect. In this study, the development of Safety Critical Software infrastuctures, and various dimensions of “Health Monitoring” is discussed.

Turkish Summary(Türkçe Özeti)
IMA (Entegre Modüler Aviyonik - Integrated Modular Avionics) çözümleri Federe Sistemler’in yerini aldıkça, bir diğer deyişle her bir yeni kuşak aviyonik ünitesi farklı modüllerin işini görecek teknolojik gelişmelere uğradıkça , çok bölüntülü işletim sistemlerindeki güvenlik altyapıları önem kazanmıştır. ARINC-653 Çoklu-Görevli/Çoklu-Bölüntülü mimaride geliştirilecek Güvenlik Öncelikli Aviyonik Yazılımlarda altyapının önemli yapı taşlarından biri “Yalıtım” iken, tüm bölüntülerin sağlıklı davranışta bulunduğunun aktif denetlenmesi ve gereken durumlarda düzeltici eylemlerin alınabilmesi de vazgeçilmez bir unsurdur. Bu çalışmada güvenlik öncelikli yazılım altyapısının gelişimi ve ARINC-653 sistemleri altındaki “Sağlıklılık Denetimi” değişik boyutları ile tartışılacaktır.
Download