Safety cases are typically used to certify systems at design time as being approved for operation. However, systems typically undergo changes in operation. We present ongoing work extending the safety case concept to account for operational updates.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Dynamic Assurance Cases: Closing the Loop Between Design and Operational Assurance


    Beteiligte:
    Ewen Denney (Autor:in) / Jonathan Menzies (Autor:in) / Ganesh Pai (Autor:in)

    Kongress:

    Software Certification Consortium Meeting #21 ; 2023 ; Virtual, US


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Towards Developing Formalized Assurance Cases

    Meng, Baoluo / Moitra, Abha / Crapo, Andrew W. et al. | IEEE | 2020



    Flight Operational Quality Assurance in Corporate Aviation

    Mendenhall, E. D. / Flight Safety Foundation / National Business Aviation Association | British Library Conference Proceedings | 2002


    Space product assurance - quality assurance

    European Cooperation for Space Standardization | SLUB | 1996


    CLARISSA: Foundations, Tools & Automation for Assurance Cases

    Varadarajan, Srivatsan / Bloomfield, Robin / Rushby, John et al. | IEEE | 2023