The ARINC 653 specification defines standardized interfaces between a partitioning Real-Time Operating System (RTOS) and application programs that implement the safety-critical and avionics systems. ARINC 653 requires spatial and temporal isolation between independent executing avionics applications, a.k.a. partitions. Temporal partitioning ensures that each partition is executed by the processor only within its predefined execution interval. ARINC 653 Part 3 Conformity Test Specification specifies test procedures for validation of ARINC 653 Part 1 (Required Services Specification). However, this specification does not define any procedure on how to verify the temporal partitioning. This paper describes a validation framework to measure partition jitter at runtime and verify whether a partition ever exceeds its predefined execution time. We define test cases that can quite likely cause temporal violation and by using this framework with the test cases, we experimentally verify temporal partitioning on an ARINC 653 compliant COTS RTOS.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    An approach for verification of ARINC 653 time partitioning concept


    Contributors:


    Publication date :

    2015-09-01


    Size :

    2158654 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    An approach for verification of ARINC 653 time partitioning concept

    Usug, Ugur / Yilmazer, Yunus / Alptekin, Ahmet et al. | IEEE | 2015


    Full virtualization based ARINC 653 partitioning

    Sanghyun Han, / HyunWook Jin, | IEEE | 2011


    BIT TRANSMISSION VERIFICATION IN AN ARINC-BASED SYSTEM

    CRANE BRUCE J | European Patent Office | 2015

    Free access

    Universal verification methodology-based airborne electronic hardware certification approach for ARINC-429

    Ayaz, Ibrahim / Sakarya, Ufuk / Hokelek, Ibrahim | Emerald Group Publishing | 2023


    Auto-Coded Digital Flight Control Laws Using ARINC-653 Partitioning

    Rudley, F. M. / American Helicopter Society | British Library Conference Proceedings | 2005