A software safety analysis methodology for a fighter aircraft weapons employment system is described. The methodology is used to identify safety critical software functions and to isolate safety critical software paths, i.e. identifiable, operational functions or data and/or control paths with process sequences that are individually analyzed and tested by static or dynamic methods. Relationships to functional software test specifications, and procedures related to safety of flight and other safety related requirements for an aircraft weapons system are also discussed. Conclusions address methodology usefulness, cost benefits, and lessons learned. The method will be applied to other systems in the aircraft, as well as to other complex computer systems, especially those that interface via multiple buses and processors where critical signals and data/control information exist and safety is a concern.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A methodology for analyzing avionics software safety


    Weitere Titelangaben:

    Eine Methode zur Analyse der Sicherheit von Avionik-Software


    Beteiligte:
    De Santo, B. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1988


    Format / Umfang :

    6 Seiten, 4 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Reusing Safety-Critical Avionics Software

    King, Tim | SAE Technical Papers | 2012


    Reusing Safety-Critical Avionics Software

    King, T. | British Library Conference Proceedings | 2012


    Research on Integrated Avionics System Safety Methodology

    Wang, Guoqing / Gu, Qingfan / Wang, Miao et al. | AIAA | 2014



    Reusing certified, safety-critical avionics software

    King, Tim | IEEE | 2012

    Freier Zugriff