Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS
dc.contributor.author | Alptekin, A. | |
dc.contributor.author | Yilmazer, Y. | |
dc.contributor.author | Usug, U. | |
dc.contributor.author | Koca, F. | |
dc.contributor.author | İnçki, Koray | |
dc.date.accessioned | 2016-06-30T12:33:33Z | |
dc.date.available | 2016-06-30T12:33:33Z | |
dc.date.issued | 2014 | |
dc.identifier.issn | 2155-7195 | |
dc.identifier.uri | http://hdl.handle.net/10679/4211 | |
dc.identifier.uri | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6979534 | |
dc.description | Due to copyright restrictions, the access to the full text of this article is only available via subscription. | |
dc.description.abstract | 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. | |
dc.description.sponsorship | TÜBİTAK | |
dc.language.iso | eng | en_US |
dc.publisher | IEEE | |
dc.relation | info:turkey/grantAgreement/TUBITAK | |
dc.relation.ispartof | Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd | |
dc.rights | restrictedAccess | |
dc.title | Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS | en_US |
dc.type | Article | en_US |
dc.peerreviewed | yes | |
dc.publicationstatus | published | en_US |
dc.contributor.department | Özyeğin University | |
dc.identifier.startpage | 8A6-1 | |
dc.identifier.endpage | 8A6-8 | |
dc.identifier.wos | WOS:000366983005002 | |
dc.identifier.doi | 10.1109/DASC.2014.6979534 | |
dc.subject.keywords | restrictedAccess | |
dc.subject.keywords | Application program interfaces | |
dc.subject.keywords | Automatic testing | |
dc.subject.keywords | Avionics | |
dc.subject.keywords | Conformance testing | |
dc.identifier.scopus | SCOPUS:2-s2.0-84919797511 | |
dc.contributor.ozugradstudent | İnçki, Koray | |
dc.contributor.authorMale | 1 | |
dc.relation.publicationcategory | Article - International Refereed Journal - Institutional PhD Student |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
This item appears in the following Collection(s)
Share this page