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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Test Case Generating for Integrated Modular Avionics Software Health Monitoring



    Published in:

    Publication date :

    2014-02-06


    Size :

    8 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Testing Method of Integrated Modular Avionics Health Monitoring

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

    Free access

    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


    Safety-Critical Software in Modern Integrated Modular Avionics Systems

    Klicker, M. / Ruess, H. / Pape, W. et al. | British Library Conference Proceedings | 2009