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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An approach for verification of ARINC 653 time partitioning concept


    Beteiligte:
    Usug, Ugur (Autor:in) / Yilmazer, Yunus (Autor:in) / Alptekin, Ahmet (Autor:in) / Yilmaz, Hakan (Autor:in)


    Erscheinungsdatum :

    2015-09-01


    Format / Umfang :

    2158654 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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 | Europäisches Patentamt | 2015

    Freier Zugriff

    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