CLARISSA: Foundations, Tools & Automation for Assurance Cases
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal
Gupta, Anitha Murugesan, Robert Stroud, Kateryna Netkachova, and Isaac
Hong Wong
42nd Digital Avionics Systems Conference (DASC), Barcelona, Spain,
October 2023
Abstract
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 ad-hoc 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.
PDF
BibTeX Entry
TBD.
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page