Avionics software is safe-critical embedded system and its architecture is evolving from traditional federated architecture to Integrated Modular Avionics (IMA) to improve resource usability. As an architecture widely employed in the avionics industry, supports partitioning concepts. To insure the development of the avionics software constructed on IMA operating system with high reliability and efficiency Health Monitoring (HM) has been shown to be a key step in reducing the life cycle costs for structural maintenance and inspection. In this paper , we propose a model-driven test methodology using Architecture Analysis &Design Language (AADL). It proposes modeling patterns of IMA errors to support the test case generating mechanisms of the HM module, proposing 3 kinds of test cases that can be injected in the HM to stimulate these kinds of errors, and we present the preliminary results that can meet the satisfactory from a ongoing project based on IMA system.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Test Case Generating for Integrated Modular Avionics Software Health Monitoring



    Erschienen in:

    Erscheinungsdatum :

    06.02.2014


    Format / Umfang :

    8 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Testing Method of Integrated Modular Avionics Health Monitoring

    H. Zhang / S. Wang / B. Liu et al. | DOAJ | 2013

    Freier Zugriff

    Modular Avionics Test Bench

    Sridharan, Saish / Qedar, Ran | IEEE | 2023


    Cost Effective Integrated Modular Avionics

    Grove, J. R. / Coker, R. J. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1996



    SEcuring Integrated Modular Avionics Computers

    Dessiatnikoff, Anthony / Nicomette, Vincent / Alata, Eric et al. | IEEE | 2013