Title
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems.
Abstract
•New, rigorous formalism for perfection claims using evidence from similar products.•Novel Bayesian approach requires minimal prior information from assessors.•Conservative but useful results, based on very restricted prior beliefs.•Results are as conservative as necessary, but not more than that.•Results are superior to – and a warning against – informal engineering judgment.
Year
DOI
Venue
2018
10.1016/j.ress.2018.03.032
Reliability Engineering & System Safety
Keywords
Field
DocType
Fault-free software,Probability of perfection,1-out-of-2 system reliability,Software diversity,Operational experience,Bayesian modeling,Limited prior belief,Guaranteed-conservative reliability claims
Bayesian inference,Safety Integrity Level,Communication channel,Software,Fault tolerance,Engineering,Perfection,Reliability engineering,Software development,Software diversity
Journal
Volume
ISSN
Citations 
175
0951-8320
1
PageRank 
References 
Authors
0.36
17
5
Name
Order
Citations
PageRank
x y zhao1467.78
Bev Littlewood2741105.77
Andrey Povyakalo3577.53
Lorenzo Strigini475768.26
David Wright519625.73