Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS

Name: Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS
Author: Alptekin, A., Yilmazer, Y., Usug, U., Koca, F., İnçki, Koray

İsim	Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS
Yazar	Alptekin, A., Yilmazer, Y., Usug, U., Koca, F., İnçki, Koray
Basım Tarihi:	2014
Basım Yeri	- IEEE
Konu	info:eu-repo/semantics/restrictedAccess, Application program interfaces, Automatic testing, Avionics, Conformance testing
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	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	The ARINC 653 specification not only provides a standard application programming interface for an RTOS, but also specifies how to validate an ARINC 653 based RTOS. ARINC 653 Part 3 Conformity Test Specification specifies test procedures for validation of ARINC 653 Part 1 (Required Services Specification). Existing ARINC 653 verification suites and packs do not provide platform-independency, maintainability gained by an open source framework, a reliable communication protocol, and automated testing principles at the same time. This paper introduces a brand new validation suite, GVT-A653 which is platform-independent and ensures conformance to ARINC 653 specification. The suite is based on TETware (trademark of OpenGroup) and builds upon Continuous Integration (CI) principles. It also brings flexibility by providing various protocols including Avionics Full-Duplex Switched Ethernet (AFDX) Network that provides deterministic communication required in avionics applications.
DOI	10.1109/DASC.2014.6979534

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS

Yazar Alptekin, A., Yilmazer, Y., Usug, U., Koca, F., İnçki, Koray

Basım Tarihi 2014

Basım Yeri - IEEE

Konu info:eu-repo/semantics/restrictedAccess, Application program interfaces, Automatic testing, Avionics, Conformance testing

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 Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Örnek Metin The ARINC 653 specification not only provides a standard application programming interface for an RTOS, but also specifies how to validate an ARINC 653 based RTOS. ARINC 653 Part 3 Conformity Test Specification specifies test procedures for validation of ARINC 653 Part 1 (Required Services Specification). Existing ARINC 653 verification suites and packs do not provide platform-independency, maintainability gained by an open source framework, a reliable communication protocol, and automated testing principles at the same time. This paper introduces a brand new validation suite, GVT-A653 which is platform-independent and ensures conformance to ARINC 653 specification. The suite is based on TETware (trademark of OpenGroup) and builds upon Continuous Integration (CI) principles. It also brings flexibility by providing various protocols including Avionics Full-Duplex Switched Ethernet (AFDX) Network that provides deterministic communication required in avionics applications.

DOI 10.1109/DASC.2014.6979534