DESIGN FOR ARINC 653 CONFORMANCE: ARCHITECTING INDEPENDENT VALIDATION OF A SAFETY-CRITICAL RTOS

被引：0
|
作者：
Alptekin, Ahmet [1 ]
Yilmazer, Yunus [1 ]
Usug, Ugur [1 ]
Koca, Feyzullah [1 ]
Incki, Koray [2 ]
机构：
[1] Sci & Technol Res Council Turkey TUBITAK, Kocaeli, Turkey
[2] Ozyegin Univ, Istanbul, Turkey
来源：
2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2014年
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
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.
引用
收藏
页数：8
相关论文
共 50 条
  • [1] Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker
    Singh, Abhishek
    D'Souza, Meenakshi
    Ebrahim, Arshad
    [J]. 36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 1807 - 1814
  • [2] Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS
    Singh, Abhishek
    DSouza, Meenakshi
    Ebrahim, Arshad
    [J]. 2018 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2018, : 1273 - 1279
  • [3] A Framework for Model and Verification of Safety-Critical Operating System Based on ARINC653
    Xu, Wenjing
    Ma, Dianfu
    [J]. ELECTRONICS, 2021, 10 (16)
  • [4] Security and Reliability of Safety-Critical RTOS
    Luna R.
    Islam S.A.
    [J]. SN Computer Science, 2021, 2 (5)
  • [5] Wind River Platform for Safety Critical ARINC 653
    不详
    [J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2005, 77 (01): : 90 - 91
  • [6] RTOS Eyes Fault Tolerance and Safety-Critical Applications
    Wong, William
    [J]. Electronic Design, 2003, 51 (24)
  • [7] Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B
    Zhao, Yongwang
    Yang, Zhibin
    Sanan, David
    Liu, Yang
    [J]. 2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 281 - 292
  • [8] Model-Based Design and Automated Validation of ARINC653 Architectures
    Hugues, Jerome
    Delange, Julien
    [J]. 2015 INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2015, : 3 - 9
  • [9] Formalization and Validation of Safety-Critical Requirements
    Cimatti, Alessandro
    Roveri, Marco
    Susi, Angelo
    Tonetta, Stefano
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (20): : 68 - 75
  • [10] Safety-critical systems design
    Douglass, BP
    [J]. ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
12345