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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Anforderungsbasierte Conformance-Tests des ARINC 653-Echtzeitbetriebssystems


    Beteiligte:


    Erscheinungsdatum :

    2010


    Format / Umfang :

    8 Seiten, 3 Bilder, 15 Quellen


    Anmerkungen:

    (nicht paginiert)




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Datenträger


    Sprache :

    Englisch




    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