“Continuous Safety & Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus” by Natarajan Shankar, Minyoung Kim, Huascar Sanchez, Harald Rueß, Tewodros Beyene, Radouane Bouchekir, Devesh Bhatt, Srivatsan Varadarajan, Anitha Murugesan, Hao Ren, Isaac Hong-Wong, Kit Siu, Sarat Chandra Varanasi, and Michael D. Ernst. In DASC 2024: AIAA DATC/IEEE 43rd Digital Avionics Systems Conference, (San Diego, CA, USA), Sep. 2024, pp. 1767-1776.
Establishing assurance of software is indispensable in safety-critical systems. Constructing an assurance case for safety & security of software subsumes the entire development and V&V workflow involving the use of multitude of (formal) analysis tools to develop claims supported by diverse sets of evidence. This evidence needs to be curated for certification and assurance case construction. Further, the complexity of information flows gets compounded due to changing needs & goals over the course of certification. We demonstrate the application of the Evidential Tool Bus (ETB2), on an industrial use case workflow involving several tools and methodologies, to support continuous Evidence Generation, their Curation & Assurance Case Construction, from major industrial collaborators in Aviation. Evidence Generation follows the Design for Certification (DesCert) methodology. Curation uses the Rapid Assurance Curation Kit (RACK) for semantic reification of evidential data. Assurance case tools using, then use the curated evidence from RACK for assurance case construction.
BibTeX entry:
@inproceedings{ShankarKSRBBBVMRHWSVE2024, author = {Natarajan Shankar and Minyoung Kim and Huascar Sanchez and Harald Rue{\ss} and Tewodros Beyene and Radouane Bouchekir and Devesh Bhatt and Srivatsan Varadarajan and Anitha Murugesan and Hao Ren and Isaac Hong-Wong and Kit Siu and Sarat Chandra Varanasi and Michael D. Ernst}, title = {Continuous Safety \& Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus}, booktitle = {DASC 2024: AIAA DATC/IEEE 43rd Digital Avionics Systems Conference}, pages = {1767-1776}, address = {San Diego, CA, USA}, month = sep, year = {2024} }
(This webpage was created with bibtex2web.)
Back to Michael Ernst's publications.