A safety case is a structured argument, supported by a body of evidence, which provides a convincing and valid justification that a system is acceptably safe for a given application in a given operating environment. This report describes the development of a fragment of a preliminary safety case for the Swift Unmanned Aircraft System. The construction of the safety case fragment consists of two parts: a manually constructed system-level case, and an automatically constructed lower-level case, generated from formal proof of safety-relevant correctness properties. We provide a detailed discussion of the safety considerations for the target system, emphasizing the heterogeneity of sources of safety-relevant information, and use a hazard analysis to derive safety requirements, including formal requirements. We evaluate the safety case using three classes of metrics for measuring degrees of coverage, automation, and understandability. We then present our preliminary conclusions and make suggestions for future work.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automating the Generation of Heterogeneous Aviation Safety Cases


    Contributors:
    E. W. Denney (author) / G. J. Pai (author) / J. M. Pohl (author)

    Publication date :

    2012


    Size :

    102 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Automating the Generation of Heterogeneous Aviation Safety Cases

    Denney, Ewen W. / Pai, Ganesh J. / Pohl, Josef M. | NTRS | 2012



    Automating Aviation Training Records

    K. B. Reinholt | NTIS | 2000



    Aviation safety

    Lutz, Michael C. | TIBKAT | 2011