Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software.

摘要

This paper affirms that the quantification of life-critical software reliability is infeasible using statistical methods whether applied to standard software or fault-tolerant software. The classical methods of estimating reliability are shown to lead to ...