ARINC 653 uyumluluğuna yönelik tasarım: güvenlik açısından kritik bir RTOS'un bağımsız doğrulamasının mimarisi

İsim ARINC 653 uyumluluğuna yönelik tasarım: güvenlik açısından kritik bir RTOS'un bağımsız doğrulamasının mimarisi
Yazar Alptekin, A., Yılmazer, Y., Usug, U., Koca, F., İnçki, Koray
Basım Tarihi: 2014
Basım Yeri - IEEE
Konu info:eu-repo/semantics/restrictedAccess, Uygulama programı arayüzleri, Otomatik test, Aviyonik, Uygunluk testi
Tür Süreli Yayın
Dil İngilizce
Dijital Evet
Yazma Hayır
Kütüphane: Özyeğin Üniversitesi
Demirbaş Numarası 2155-7195
Kayıt Numarası 911f35a5-9f16-4f88-bc81-2e1657fa0fc8
Tarih 2014
Notlar Telif hakkı kısıtlamaları nedeniyle bu makalenin tam metnine erişim yalnızca abonelik yoluyla mümkündür.
Örnek Metin ARINC 653 spesifikasyonu yalnızca bir RTOS için standart bir uygulama programlama arayüzü sağlamakla kalmaz, aynı zamanda ARINC 653 tabanlı bir RTOS'un nasıl doğrulanacağını da belirtir. ARINC 653 Kısım 3 Uygunluk Testi Şartnamesi, ARINC 653 Kısım 1'in (Gerekli Hizmetler Şartnamesi) doğrulanmasına yönelik test prosedürlerini belirtir. Mevcut ARINC 653 doğrulama paketleri ve paketleri, platform bağımsızlığını, açık kaynak çerçevesiyle elde edilen sürdürülebilirliği, güvenilir bir iletişim protokolünü ve otomatik test ilkelerini aynı anda sağlamaz. Bu belge, platformdan bağımsız olan ve ARINC 653 spesifikasyonuna uygunluğu garanti eden yepyeni bir doğrulama paketi olan GVT-A653'ü tanıtmaktadır. Paket, TETware'i (OpenGroup'un ticari markası) temel alır ve Sürekli Entegrasyon (CI) ilkelerini temel alır. Ayrıca, aviyonik uygulamalarda gerekli olan deterministik iletişimi sağlayan Aviyonik Tam Çift Yönlü Anahtarlamalı Ethernet (AFDX) Ağı dahil olmak üzere çeşitli protokoller sağlayarak esneklik sağlar.
DOI 10.1109/DASC.2014.6979534
Kaynağa git Özyeğin Üniversitesi Özyeğin Üniversitesi - Tarihî eser, arşiv ve süreli yayın arama motoru
Özyeğin Üniversitesi - Tarihî eser, arşiv ve süreli yayın arama motoru Özyeğin Üniversitesi

ARINC 653 uyumluluğuna yönelik tasarım: güvenlik açısından kritik bir RTOS'un bağımsız doğrulamasının mimarisi

Yazar Alptekin, A., Yılmazer, Y., Usug, U., Koca, F., İnçki, Koray
Basım Tarihi 2014
Basım Yeri - IEEE
Konu info:eu-repo/semantics/restrictedAccess, Uygulama programı arayüzleri, Otomatik test, Aviyonik, Uygunluk testi
Tür Süreli Yayın
Dil İngilizce
Dijital Evet
Yazma Hayır
Kütüphane Özyeğin Üniversitesi
Demirbaş Numarası 2155-7195
Kayıt Numarası 911f35a5-9f16-4f88-bc81-2e1657fa0fc8
Tarih 2014
Notlar Telif hakkı kısıtlamaları nedeniyle bu makalenin tam metnine erişim yalnızca abonelik yoluyla mümkündür.
Örnek Metin ARINC 653 spesifikasyonu yalnızca bir RTOS için standart bir uygulama programlama arayüzü sağlamakla kalmaz, aynı zamanda ARINC 653 tabanlı bir RTOS'un nasıl doğrulanacağını da belirtir. ARINC 653 Kısım 3 Uygunluk Testi Şartnamesi, ARINC 653 Kısım 1'in (Gerekli Hizmetler Şartnamesi) doğrulanmasına yönelik test prosedürlerini belirtir. Mevcut ARINC 653 doğrulama paketleri ve paketleri, platform bağımsızlığını, açık kaynak çerçevesiyle elde edilen sürdürülebilirliği, güvenilir bir iletişim protokolünü ve otomatik test ilkelerini aynı anda sağlamaz. Bu belge, platformdan bağımsız olan ve ARINC 653 spesifikasyonuna uygunluğu garanti eden yepyeni bir doğrulama paketi olan GVT-A653'ü tanıtmaktadır. Paket, TETware'i (OpenGroup'un ticari markası) temel alır ve Sürekli Entegrasyon (CI) ilkelerini temel alır. Ayrıca, aviyonik uygulamalarda gerekli olan deterministik iletişimi sağlayan Aviyonik Tam Çift Yönlü Anahtarlamalı Ethernet (AFDX) Ağı dahil olmak üzere çeşitli protokoller sağlayarak esneklik sağlar.
DOI 10.1109/DASC.2014.6979534
Özyeğin Üniversitesi - Tarihî eser, arşiv ve süreli yayın arama motoru
Özyeğin Üniversitesi yönlendiriliyorsunuz...

Lütfen bekleyiniz.