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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:
    Ewen Denney (author) / Jonathan Menzies (author) / Ganesh Pai (author)

    Conference:

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


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    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