On the Interpretation of Assurance Case Arguments

John Rushby

Presented at the Second International JSAI-isAI Workshop on Argument for Agreement and Assurance (AAA 2015), Keio University, Kanagawa, Japan, November 2015; proceedings published as Springer LNAI vol. 10091, M. Otake, S. Kurahashi, Y. Ota, K. Satoh, and D. Bekki (Eds), pp. 331-347.

*NEW* An overview of my papers on assurance cases

Abstract

An assurance case provides a structured argument to establish a claim for a system based on evidence about the system and its environment. I propose a simple interpretation for the overall argument that uses epistemic methods for its evidential or leaf steps and logic for its reasoning or interior steps: evidential steps that cross some threshold of credibility are accepted as premises in a classical deductive interpretation of the reasoning steps. Thus, all uncertainty is located in the assessment of evidence. I argue for the utility of this interpretation.

PDF

Slides

PDF

BibTeX Entry

@inproceedings{Rushby:AAA15,
	AUTHOR = {John Rushby},
	TITLE = {On the Interpretation of Assurance Case Arguments},
	BOOKTITLE = {New Frontiers in Artificial Intelligence: {JSAI-isAI 2015
Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL},
Revised Selected Papers},
	YEAR = 2015,
	MONTH = nov,
	EDITORS= {Mihoko Otake and Setsuya Kurahashi and Yuiko Ota
		 and Ken Satoh and Daisuke Bekki},
	ADDRESS = {Kanagawa, Japan},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Lecture Notes in Artificial Intelligence},
	VOLUME = 10091,
	PAGES = {331--347}
}
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