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.
CLARISSA: Foundations, Tools & Automation for Assurance Cases
2023-10-01
2032766 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Die Geschichte de Clarissa S. : Historischer Roman
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1980
|Towards Developing Formalized Assurance Cases
IEEE | 2020
|