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:

    Publication date :

    2012-08-01


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Automating the Generation of Heterogeneous Aviation Safety Cases

    E. W. Denney / G. J. Pai / J. M. Pohl | NTIS | 2012



    Automating Aviation Training Records

    K. B. Reinholt | NTIS | 2000



    Aviation Safety Management, The Safety Culture in Aviation

    Suggs, C. / National Transportation Safety Board | British Library Conference Proceedings | 1997