Enabling Theory-based Continuous Assurance: A Coherent Approach with
Semantics and Automated Synthesis
Srivatsan Varadarajan, Robin Bloomfield, John
Rushby, Gopal Gupta, Anitha Murugesan, Robert Stroud,
Kateryna Netkachova, Isaac Hong Wong and Joaquin Arias
Presented at SASSUR Workshop, Naples Italy, September 2024.
Published in SafeComp Workshops,
Springer LNCS 14989. pp 173--187
DOI: doi.org/10.1007/978-3-031-68738-9_13
Abstract
Assurance cases are gaining traction as a viable means of
certification in various safety/security critical industries. In this
paper, we introduce a theory-based, property-driven continuous
assurance framework that eliminates ad-hoc case constructions through
emphasis on validity and soundness of the arguments, confidence of the
claims/arguments/evidences and the systematized specification of
defeaters. We then describe tools and automation support for semantic
analysis of assurance cases and their synthesis. Finally, we showcase
a continuous assurance tools infrastructure through an example.
Information about
Assurance 2.0 and Clarissa
Paper
PDF
BibTeX Entry
@string{lncs = {Lecture Notes in Computer Science}}
@string{sv = {Springer}}
@inproceedings{Clarissa24:Sassur,
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 and Joaqu\'{\i}n Arias},
TITLE = {Enabling Theory-based Continuous Assurance: A Coherent
Approach with Semantics and Automated Synthesis},
BOOKTITLE = {Computer Safety, Reliability, and Security, {{\sc
SafeComp}} 2024 Workshops: {DECSoS, SASSUR, TOASTS, and
WAISE}},
YEAR = 2024,
ADDRESS = {Florence, Italy},
PAGES = {173-187},
MONTH = sep,
SERIES = lncs,
VOLUME = 14989,
PUBLISHER = sv
}
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