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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automating the Generation of Heterogeneous Aviation Safety Cases


    Beteiligte:
    E. W. Denney (Autor:in) / G. J. Pai (Autor:in) / J. M. Pohl (Autor:in)

    Erscheinungsdatum :

    2012


    Format / Umfang :

    102 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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 Management, The Safety Culture in Aviation

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