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.
Abstract
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.
PDF
Slides
PDF
Citations
from Google scholar
BibTeX Entry
@INPROCEEDINGS{Rushby-etal:AESSCS14,
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