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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    CLARISSA: Foundations, Tools & Automation for Assurance Cases


    Beteiligte:


    Erscheinungsdatum :

    01.10.2023


    Format / Umfang :

    2032766 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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