Requirements-based testing is emphasized in avionics certification documents because this strategy has been found to be the most effective at revealing errors. This paper describes the unified requirements-based approach to the creation of conformance test suites for mission-critical systems. The approach uses formal machine-readable specifications of requirements and finite state machine model for test sequences generation on-the-fly. The paper also presents the test system for automated test generation for ARINC 653 services built on this approach. Possible application of the presented approach to various areas of avionics embedded systems testing is discussed.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Requirements-based conformance testing of ARINC 653 real-time operating systems


    Additional title:

    Anforderungsbasierte Conformance-Tests des ARINC 653-Echtzeitbetriebssystems


    Contributors:


    Publication date :

    2010


    Size :

    8 Seiten, 3 Bilder, 15 Quellen


    Remarks:

    (nicht paginiert)




    Type of media :

    Conference paper


    Type of material :

    Storage medium


    Language :

    English




    Requirements-Based Conformance Testing of ARINC 653 Real-Time Operating Systems

    Maksimov, A. / European Space Agency | British Library Conference Proceedings | 2010


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

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


    Design for ARINC 653 Conformance: Architecting independent validation of a safety-critical RTOS

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


    The Requirements - From DATAC to ARINC 629

    Herzog, H. / Royal Aeronautical Society | British Library Conference Proceedings | 1991


    Visualizing concurrency faults in ARINC-653 real-time applications

    Tchamgoue, Guy Martin / Gan, Lin / Ha, Ok-Kyoon et al. | IEEE | 2012