In this paper we address the process ofincremental certification/qualification of IntegratedModular Avionic (IMA) systems. The work aims toshow that given a scalable avionics architecture wecan apply a component-based development processand save some safety analysis effort by reusingdesign models for components. This creates aformal framework for IMA system safetyassessment.


    Access

    Download


    Export, share and cite



    Title :

    Demonstration of a Formal Method for Incremental Qualification of IMA Systems


    Contributors:

    Publication date :

    2008-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    000



    Demonstration of a formal method for incremental qualification of IMA systems

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


    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