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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Demonstration of a Formal Method for Incremental Qualification of IMA Systems


    Beteiligte:

    Erscheinungsdatum :

    01.01.2008



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    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