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 :

    2023-10-01


    Format / Umfang :

    2032766 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Die Geschichte de Clarissa S. : Historischer Roman

    Selber, Martin | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1980


    Towards Developing Formalized Assurance Cases

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



    Construction robotics and automation, and foundations engineering

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