John Rushby

Invited paper. Appears in Computer Safety, Reliability, and Security: Proceedings of SafeComp 32, Toulouse, France, September 2013, Springer LNCS 8153, pp. 1-7.

An overview of my papers on assurance cases

Abstract

The first of these is a form of epistemology and requires human experience and insight, but the second can, in principle, be reduced to logic and then checked and automated using the technology of formal methods.

We propose that reducing epistemic doubt is the main challenge in safety cases, and discuss ways in which this might be achieved.

PDF

Slides

PDF

BibTeX Entry

@INPROCEEDINGS{Rushby13:safecomp,
	AUTHOR = {John Rushby},
	TITLE = {Logic and Epistemology in Safety Cases},
	BOOKTITLE = {{{\sc SafeComp}} 2013: Proceedings of the 32nd International
		Conference on Computer Safety, Reliability, and Security},
	MONTH = sep,
	YEAR = 2013,
	pages = {1--7},
	ADDRESS = {Toulouse, France},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Lecture Notes in Computer Science},
	NUMBER = 8153
}