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
DOI:
10.1109/DASC58513.2023.10311213
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.
Information about
Assurance 2.0 and Clarissa
Paper
PDF
BibTeX Entry
@string{dasc = { AIAA/IEEE Digital Avionics Systems Conference}}
@inproceedings{Varadarajan-all:DASC24,
TITLE = {{\sc Clarissa}: Foundations, Tools and Automation for
Assurance Cases},
AUTHOR = {Srivatsan Varadarajan and Robin Bloomfield and John
Rushby and Gopal Gupta and Anitha Murugesan and Robert
Stroud and Kateryna Netkachova and Isaac Hong Wong},
BOOKTITLE = {42nd} # dasc,
DOI = {10.1109/DASC58513.2023.10311213},
YEAR = 2023,
ADDRESS = {Barcelona, Spain},
MONTH = oct
}
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