Assurance cases are gaining traction as a means of certification in Aerospace and other safety and security critical industries. In this paper, we first introduce a rigorous Assurance 2.0 framework that eliminates adhoc construction of assurance cases with emphasis on the validity and soundness of the argumentation process, confidence of the claims/arguments/evidences and the systematic exploration of defeaters. We next describe the tools and automation support for Assurance 2.0 that was developed in the Clarissa project and finally highlight the key capabilities in the context of an illustrative example.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    CLARISSA: Foundations, Tools & Automation for Assurance Cases




    Publication date :

    2023-10-01


    Size :

    2032766 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Towards Developing Formalized Assurance Cases

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


    Clarissa Spoken Dialogue System for Procedure Reading and Navigation

    Hieronymus, James / Dowding, John | NTRS | 2004




    Construction robotics and automation, and foundations engineering

    National Research Council, Transportation Research Board, USA | TIBKAT | 1993