Littlewood, B. & Povyakalo, A. A. (2012). Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1outof2 softwarebased system in which one channel is "possibly perfect" (Report No. CSR Technical Report 20 March 2012). London: Centre for Software Reliability, City University London.
There is a more recent version of this item available. 

PDF
Download (2MB)  Preview 
Abstract
In earlier work, (Littlewood and Rushby 2011) (henceforth LR), an analysis was presented of a 1outof2 system in which one channel was “possibly perfect”. It was shown that, at the aleatory level, the system pfd could be bounded above by the product of the pfd of channel A and the pnp (probability of nonperfection)of channel B. This was presented as a way of avoiding the wellknown difficulty that for two certainlyfallible channels, system pfd cannot be expressed simply as a function of the channel pfds, and in particular not as a product of these. One price paid in this new approach is that the result is conservative – perhaps greatly so. Furthermore, a complete analysis requires that account be taken of epistemic uncertainty – here concerning the numeric values of the two parameters pfdA and pnpB. This introduces some difficulties, particularly concerning the estimation of dependence between an assessor’s beliefs about the parameters. The work reported here avoids these difficulties by obtaining results that require only an assessor’s marginal beliefs about the individual channels, i.e. they do not require knowledge of the dependence between these beliefs
Item Type:  Report 

Subjects:  Q Science > QA Mathematics > QA76 Computer software 
Divisions:  School of Informatics > Centre for Software Reliability 
URI:  http://openaccess.city.ac.uk/id/eprint/1611 
Available Versions of this Item
 Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1outof2 softwarebased system in which one channel is "possibly perfect". (deposited 25 Sep 2012 14:17) [Currently Displayed]
Actions (login required)
View Item 
Downloads
Downloads per month over past year