Integrated Modular Avionics (IMA) present many benefits in power and weight savings for an aircraft, but also create new challenges for verification due to the increased complexity in interactions between the highly integrated network of avionics systems. For a large set of hosted avionics functions, it is impractical to exhaustively test an entire set of functions while they are fully integrated. There can be a combinatorial explosion of test cases for an integrated IMA system since the performance and function of a hosted system can be impacted by other hosted systems. This traditional test approach would be characterized by a high cost of change since any single system change could require the full integrated set of systems to be retested. This paper introduces a Modular Verification strategy for IMA systems, which provides a practical approach to verifying these architectures. Within the Modular Verification strategy, systems are verified in isolation from the fully integrated set of avionics systems. This can be done without requiring re-test within the fully integrated environment. In order to accomplish this, terms of equivalency must be established for an avionics system's test environment with respect to the integrated system environment. This equivalency relies on reasoning in the logical system domain rather than the physical system domain. This is a fundamental change in reasoning from traditional verification concepts employed within federated architectures. The cost of change is minimized since each hosted system can be tested and retested without impacting the test results for other hosted systems.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modular Verification: Testing a Subset of Integrated Modular Avionics in Isolation


    Contributors:


    Publication date :

    2006-10-01


    Size :

    324704 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Cost Effective Integrated Modular Avionics

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


    Testing Method of Integrated Modular Avionics Health Monitoring

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

    Free access

    Modular Integrated Avionics Group (MIAG)

    Dialameh, O. / Association for Unmanned Vehicle Systems | British Library Conference Proceedings | 1994


    SEcuring Integrated Modular Avionics Computers

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


    Securing Integrated Modular Avionics computers

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

    Free access