Continuous Safety & Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus

“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.

Abstract

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.