In this paper we address the process of incremental certification/qualification of Integrated Modular Avionic (IMA) systems. The work aims to show that given a scalable avionics architecture we can apply a component-based development process and save some safety analysis effort by reusing design models for components. This creates a formal framework for IMA system safety assessment.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Demonstration of a formal method for incremental qualification of IMA systems


    Contributors:


    Publication date :

    2008-10-01


    Size :

    489191 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Demonstration of a Formal Method for Incremental Qualification of IMA Systems

    Elmqvist, Jonas / Nadjm-Tehrani, Simin / Forsberg, Kristina et al. | BASE | 2008

    Free access

    MAPS Hybrid Formal Qualification Performance Test Results

    Slama, M. / Fly, B. E. / Institute of Navigation | British Library Conference Proceedings | 1997



    Inspection Qualification and Performance Demonstration of NDT Methods at EDF

    Champigny, F. / Pons / Comby et al. | British Library Conference Proceedings | 1994


    Formal Methods Demonstration Project for Space Applications

    Kelly, J. / DiVito, B. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995