Littlewood, B. & Povyakalo, A. A. (2013). Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1outof2 softwarebased system in which one channel is “possibly perfect”. IEEE Transactions on Software Engineering, 39(11), pp. 15211530. doi: 10.1109/TSE.2013.35
This is the latest version of this item.

PDF
 Accepted Version
Download (3MB)  Preview 
Abstract
In earlier work, (Littlewood and Rushby 2012) (henceforth LR), an analysis was presented of a 1outof2 softwarebased system in which one channel was “possibly perfect”. It was shown that, at the aleatory level, the system pfd (probability of failure on demand) could be bounded above by the product of the pfd of channel A and the pnp (probability of nonperfection) of channel B. This result was presented as a way of avoiding the wellknown difficulty that for two certainlyfallible channels, failures of the two will be dependent, i.e. the system pfd cannot be expressed simply as a product of the channel pfds. A price paid in this new approach for avoiding the issue of failure dependence is that the result is conservative. Furthermore, a complete analysis requires that account be taken of epistemic uncertainty – here concerning the numeric values of the two parameters pfdA and pnpB. Unfortunately this introduces a different difficult problem of dependence: estimating the dependence between an assessor’s beliefs about the parameters. The work reported here avoids this problem 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. The price paid is further conservatism in the results.
Item Type:  Article 

Additional Information:  © 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. 
Uncontrolled Keywords:  Software reliability; fault tolerance; software perfection; probability of failure; epistemic uncertainty; software diversity; multiversion software 
Subjects:  Q Science > QA Mathematics > QA76 Computer software 
Divisions:  School of Informatics > Centre for Software Reliability 
URI:  http://openaccess.city.ac.uk/id/eprint/2515 
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)
 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 29 Jul 2013 14:27) [Currently Displayed]
Actions (login required)
View Item 
Downloads
Downloads per month over past year