Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”

详细信息    查看全文

• 作者：Xingyu Zhao ; ^{Xingyu.Zhao.1@city.ac.uk} ; Bev Littlewood ^{Bev.Littlewood.1@city.ac.uk} ; Andrey Povyakalo ^{A.A.Povyakalo@city.ac.uk} ; Lorenzo Strigini ^{Lorenzo.Strigini.1@city.ac.uk} ; David Wright ^{D.R.Wright@city.ac.uk}
• 关键词：Fault-free software ; Program perfection ; Quasi-perfection ; Probability of perfection ; 1-out-of-2 system reliability ; Software diversity
• 刊名：Reliability Engineering & System Safety
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：158
• 期：Complete
• 页码：230-245
• 全文大小：697 K
• 卷排序：158

文摘

Provides a rigorous formalism for 1oo2 system pfd claims. Novel Bayesian approach requires minimal prior information from assessors. System reliability claims are guaranteed to be conservative. Quasi-perfection idea improves on previous perfection models. Avoids pitfalls of naïve and informal approaches.