Evaluating the Assessment of Software Fault-Freeness

John Rushby with Bev Littlewood and Lorenzo Strigini of the Centre for Software Reliability, City University London, UK

Presented at workshop on Assessing the Efficacy of Standards for Safety Critical Software (AESSCS 2014), Newcastle upon Tyne UK, 13 May 2014

Proceedings published on arxiv but, for some reason, our paper is mangled; please use the PDF link below.


We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.

Note that the workshop was concerned with assessment of standards for critical software, and the paper is presented to address that question. Nonetheless, it provides a very succinct account of the best explanation we have for how assurance for critical software actually works.




Citations from Google scholar

BibTeX Entry

	AUTHOR = {John Rushby and Bev Littlewood and Lorenzo Strigini},
	TITLE = {Evaluating the Assessment of Software Fault-Freeness},
	BOOKTITLE = {Workshop on Assessing the Efficacy of Standards for Safety Critical Software ({AESSCS} 2014)},
	YEAR = 2014,
	ADDRESS = {Newcastle upon Tyne, UK},
	MONTH = may,
	NOTE = {Available at \url{http://www.csl.sri.com/users/rushby/abstracts/aesscs14}}

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