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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Demonstration of a formal method for incremental qualification of IMA systems


    Beteiligte:


    Erscheinungsdatum :

    01.10.2008


    Format / Umfang :

    489191 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Demonstration of a Formal Method for Incremental Qualification of IMA Systems

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

    Freier Zugriff

    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