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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A methodology for analyzing avionics software safety


    Additional title:

    Eine Methode zur Analyse der Sicherheit von Avionik-Software


    Contributors:

    Published in:

    Publication date :

    1988


    Size :

    6 Seiten, 4 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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

    Free access